Verifying Cyber-Physical Systems
By Sayan Mitra
By Sayan Mitra
By Sayan Mitra
By Sayan Mitra
Part of Cyber Physical Systems Series
Part of Cyber Physical Systems Series
Category: Science & Technology
Category: Science & Technology
-
$60.00
Feb 16, 2021 | ISBN 9780262044806
-
Jul 13, 2021 | ISBN 9780262370264
YOU MAY ALSO LIKE
The New York Times Book of Science Questions & Answers
Colossus
DragonArt Basics for Beginners
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
21 Books You’ve Been Meaning to Read
Just for joining you’ll get personalized recommendations on your dashboard daily and features only for members.
Find Out More Join Now Sign In