Rajeev Alur

Principles of Cyber-Physical Systems

• Broschiertes Buch

Produktbeschreibung

A foundational text that offers a rigorous introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems.

Produktdetails

• Verlag: MIT Press
• Seitenzahl: 460
• Erscheinungstermin: 15. August 2023
• Englisch
• Abmessung: 229mm x 178mm x 25mm
• Gewicht: 774g
• ISBN-13: 9780262548922
• ISBN-10: 0262548925
• Artikelnr.: 72623584

Autorenporträt

Rajeev Alur is Zisman Family Professor of Computer and Information Science and Director of the Embedded Systems Masters program at the University of Pennsylvania.

Inhaltsangabe

Preface xi
1 Introduction 1
2 Synchronous Model 13
3 Safety Requirements 65
4 Asynchronous Model 125
5 Liveness Requirements 181
6 Dynamical Systems 231
7 Timed Model 289
8 Real-Time Scheduling 339
9 Hybrid Systems 379
Bibliography 431
Index 439