A graduate-level textbook that presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification.Verification aims to establish whether a system meets a set of requirements. For such cyber-physical systems as driverless cars, autonomous spacecraft, and air-traffic management systems, verification is key to building safe systems with high levels of assurance. This graduate-level textbook presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification. It distills the ideas and algorithms that have emerged from more than three decades of research and have led to the creation of industrial-scale modeling and verification techniques for cyber-physical systems.
人気のある作家
J KING (12) JJ TAM (12) yang hu (11) Al Sweigart (8) Mojang AB (8) desti publishhings (7) Hidenori Kusaka (6) John Bach (6) JP TAM (6) Andrea Vedaldi (5) Halonjash Publications (5) Hiro Ainana (5) Horst Bischof (5) Intelligent Feather Publications (5) Jan-Michael Frahm (5) Michael W. Lucas (5) Andrew Park (4) Benjamin Smith (4) Engr. Michael David (4) Harvey Deitel (4)最適なファイルサイズ
10531 KB 1079 KB 1116 KB 1233 KB 2661 KB 370 KB 484 KB 536 KB 649 KB 738 KB 790 KB 10049 KB 1006 KB 10137 KB 1016 KB 102097 KB 1029 KB 10325 KB 1032 KB 1035 KB