Principles of Cyber-Physical Systems (MIT Press)

Rajeev Alur

  • 出版商: MIT
  • 出版日期: 2015-04-10
  • 售價: $2,450
  • 貴賓價: 9.8$2,401
  • 語言: 英文
  • 頁數: 464
  • 裝訂: Hardcover
  • ISBN: 0262029111
  • ISBN-13: 9780262029117
  • 立即出貨 (庫存=1)

買這商品的人也買了...

商品描述

A cyber-physical system consists of a collection of computing devices communicating with one another and interacting with the physical world via sensors and actuators in a feedback loop. Increasingly, such systems are everywhere, from smart buildings to medical devices to automobiles. This textbook offers a rigorous and comprehensive introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems. The book draws on a diverse set of subdisciplines, including model-based design, concurrency theory, distributed algorithms, formal methods of specification and verification, control theory, real-time systems, and hybrid systems, explaining the core ideas from each that are relevant to system design and analysis.

The book explains how formal models provide mathematical abstractions to manage the complexity of a system design. It covers both synchronous and asynchronous models for concurrent computation, continuous-time models for dynamical systems, and hybrid systems for integrating discrete and continuous evolution. The role of correctness requirements in the design of reliable systems is illustrated with a range of specification formalisms and the associated techniques for formal verification. The topics include safety and liveness requirements, temporal logic, model checking, deductive verification, stability analysis of linear systems, and real-time scheduling algorithms. Principles of modeling, specification, and analysis are illustrated by constructing solutions to representative design problems from distributed algorithms, network protocols, control design, and robotics.

This book provides the rapidly expanding field of cyber-physical systems with a long-needed foundational text by an established authority. It is suitable for classroom use or as a reference for professionals.

商品描述(中文翻譯)

一個「電腦物理系統」由一組彼此通信並透過感測器和執行器與物理世界互動的計算設備組成,形成一個反饋迴路。這樣的系統越來越普遍,從智慧建築到醫療設備再到汽車都有應用。本教科書提供了對「電腦物理系統」的設計、規範、建模和分析原則的嚴謹而全面的介紹。該書涵蓋了多個子學科,包括基於模型的設計、並發理論、分佈式算法、形式化規範和驗證方法、控制理論、實時系統和混合系統,解釋了每個子學科的核心思想對系統設計和分析的相關性。

本書解釋了正式模型如何提供數學抽象來管理系統設計的複雜性。它涵蓋了同步和異步模型的並發計算、連續時間模型的動態系統以及混合系統的離散和連續演化。書中還介紹了在可靠系統設計中的正確性要求,並使用一系列規範形式和相應的形式驗證技術進行說明。主題包括安全性和活性要求、時間邏輯、模型檢查、演繹驗證、線性系統的穩定性分析和實時排程算法。建模、規範和分析原則通過解決分佈式算法、網絡協議、控制設計和機器人學的代表性設計問題來進行說明。

這本書由一位權威專家撰寫,為快速發展的「電腦物理系統」領域提供了一本長期需要的基礎教材。適合作為課堂教學或專業人士的參考書。

類似商品