Download Principles of Cyber-Physical Systems (The MIT Press) PDF EPUB
Author: Rajeev Alur
Pages: 464
Size: 3.505,27 Kb
Publication Date: April 10,2015
Category: Embedded Systems
A foundational text that provides a rigorous intro to the concepts of style, specification, modeling, and evaluation of cyber-physical systems. It really is suitable for classroom make use of or as a reference for specialists. Progressively, such systems are almost everywhere, from smart structures to medical products to automobiles. This textbook presents a rigorous and extensive introduction to the concepts of style, specification, modeling, and evaluation of cyber-physical systems. The topics consist of basic safety and liveness requirements, temporal logic, model looking at, deductive verification, stability evaluation of linear systems, and real-period scheduling algorithms.
The publication explains how formal versions offer mathematical abstractions to control the complexity of something design. It addresses both synchronous and asynchronous versions for concurrent computation, continuous-time versions for dynamical systems, and hybrid systems for integrating discrete and constant evolution.
The reserve draws on a varied set of subdisciplines, which includes model-based style, concurrency theory, distributed algorithms, formal ways of specification and verification, control theory, real-period systems, and hybrid systems, explaining the core concepts from each that are highly relevant to system style and analysis. Concepts of modeling, specification, and evaluation are illustrated by constructing answers to representative design complications from distributed algorithms, network protocols, control style, and robotics.This publication provides the quickly growing field of cyber-physical systems with a long-required foundational text by a recognised authority.
A cyber-physical system includes a collection of computing products communicating with each other and getting together with the physical globe via sensors and actuators in a opinions loop. The function of correctness requirements in the look of reliable systems is certainly illustrated with a variety of specification formalisms and the connected approaches for formal verification.