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

Verifying Cyber-Physical Systems

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

Also available from:

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

    Also available from:

  • Jul 13, 2021 | ISBN 9780262370264

    Available from:

*This title is not eligible for purchase to earn points nor for redemption with your code in the Reader Rewards program

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

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