{"product_id":"verifying-cyberphysical-systems-isbn-9780262044806","title":"Verifying Cyber-Physical Systems","description":"\u003cb\u003eA graduate-level textbook that presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification.\u003c\/b\u003e\u003cbr\u003e\u003cbr\u003eVerification 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.Preface xv\u003cbr\u003e1 Introduction 1\u003cbr\u003e2 Modeling Computation 17\u003cbr\u003e3 Modeling Physics 31\u003cbr\u003e4 Modeling Cyber-Physical Systems 55\u003cbr\u003e5 Composing Models 79\u003cbr\u003e6 Specifying Requirements 101\u003cbr\u003e7 Verifying Invariants 123\u003cbr\u003e8 Abstractions and Compositional Reasoning 145\u003cbr\u003e9 Reachability Analysis 165\u003cbr\u003e10 Progress Analysis 197\u003cbr\u003e11 Data-Driven Verification 217\u003cbr\u003eAppendix A: Linear Algebra and Real Analysis 247\u003cbr\u003eAppendix B: Computability and Complexity 255\u003cbr\u003eAppendix C: Specification Language Reference 263\u003cbr\u003eReferences 271\u003cbr\u003eIndex 291“Mitra’s book provides a thoroughly modern view of the techniques for specification and verification of cyber-physical systems, expertly explaining how tools from control theory, dynamical systems, automata theory, and formal methods can be combined to analyze safety in autonomous systems. Using a combination of conceptual examples that can be used to understand basic concepts and modern applications that motivate the need for new approaches, this book provides the foundation for practitioners interested in understanding conceptual frameworks for verification of hybrid systems and researchers interested in establishing a rigorous basis for further advances.”\u003cbr\u003e—\u003cb\u003eRichard Murray, Thomas E. and Doris Everhart Professor of Control and Dynamical Systems and Bioengineering, Caltech\u003c\/b\u003e\u003cbr\u003e \u003cbr\u003e“This is an excellent textbook that gives a comprehensive introduction to state-of-the-art techniques in formal modeling and verification of cyber-physical systems. Its seamless integration of technical details and illustrative examples makes it ideally suited for graduate students hoping to understand this complex subject matter.”\u003cbr\u003e—\u003cb\u003eRajeev Alur, Zisman Family Professor in the Department of Computer and Information Science, University of Pennsylvania\u003c\/b\u003eSayan Mitra is Professor in the Department of Electrical and Computer Engineering at the University of Illinois at Urbana-Champaign.: A graduate-level textbook that presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verificati","brand":"The MIT Press","offers":[{"title":"Default Title","offer_id":46304901529829,"sku":"NP9780262044806","price":60.0,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/1842\/7735\/files\/9780262044806.jpg?v=1767743418","url":"https:\/\/k12savings.com\/es\/products\/verifying-cyberphysical-systems-isbn-9780262044806","provider":"K12savings","version":"1.0","type":"link"}