Skip to Main Content (Press Enter) Toggle side nav
Verifying Cyber-Physical Systems by Sayan Mitra
Add Verifying Cyber-Physical Systems to bookshelf
Add to Bookshelf

Verifying Cyber-Physical Systems

Best Seller
Verifying Cyber-Physical Systems by Sayan Mitra
Hardcover $60.00
Feb 16, 2021 | ISBN 9780262044806

Buy from Other Retailers:

See All Formats (1) +
  • Feb 16, 2021 | ISBN 9780262044806

    Buy from Other Retailers:

  • Jul 13, 2021 | ISBN 9780262370264

    Buy from Other Retailers:

Product Details

Table Of Contents

Preface xv
1 Introduction 1
2 Modeling Computation 17
3 Modeling Physics 31
4 Modeling Cyber-Physical Systems 55
5 Composing Models 79
6 Specifying Requirements 101
7 Verifying Invariants 123
8 Abstractions and Compositional Reasoning 145
9 Reachability Analysis 165
10 Progress Analysis 197
11 Data-Driven Verification 217
Appendix A: Linear Algebra and Real Analysis 247
Appendix B: Computability and Complexity 255
Appendix C: Specification Language Reference 263
References 271
Index 291

Looking for More Great Reads?
21 Books You’ve Been Meaning to Read
Get the latest updates from Sayan Mitra
And go from well-read to best read with book recs, deals and more in your inbox every week.
And go from well-read to best read with book recs, deals and more in your inbox every week.
By clicking SIGN UP, I acknowledge that I have read and agree to Penguin Random House’s Privacy Policy and Terms of Use.
Dismiss
Thanks!
Something awesome is on its way.
Back to Top