Principles of cyber-physical systems

Preface; 1 Introduction; 2 Synchronous Model; 3 Safety Requirements; 4 Asynchronous Model; 5 Liveness Requirements; 6 Dynamical Systems; 7 Timed Model; 8 Real-Time Scheduling; 9 Hybrid Systems; Bibliography; Index.