Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series) ダウンロード

Isbn 10: 0262044803

Isbn 13: 978-0262044806

ダウンロード Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series) fb2 本

から

フォーマットを選択:

フォーマットを選択:

zip 9.9 Mb ダウンロード
rar 6.9 Mb ダウンロード
pdf 7.1 Mb ダウンロード
mobi 7.4 Mb ダウンロード
fb2 6.1 Mb ダウンロード
epub 6.9 Mb ダウンロード

本の説明

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.

著者 :Sayan Mitra
Isbn 10 :0262044803
Isbn 13 :978-0262044806
によって公開 :2021/2/16
出版社 Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series):The MIT Press
最新の本