A foundational text that offers a rigorous introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems.
Inhaltsverzeichnis
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