Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series) 0262044803, 9780262044806

A graduate-level textbook that presents a unified mathematical framework for modeling and analyzing cyber-physical syste

344 73 14MB

English Pages 312 Year 2021

Report DMCA / Copyright

DOWNLOAD EPUB FILE

Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)
 0262044803, 9780262044806

  • 0 0 0
  • Like this paper and download? You can publish your own PDF file online for free in a few minutes! Sign Up
Recommend Papers