{"product_id":"verifying-cyberphysical-systems-a-path-to-safe-autonomy-cyber-physical-systems-series-9780262044806","title":"Verifying CyberPhysical Systems A Path to Safe","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e\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.","brand":"MIT Press Ltd","offers":[{"title":"Default Title","offer_id":48733454598487,"sku":"9780262044806","price":54.15,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0817\/1739\/5799\/files\/9780262044806.jpg?v=1720000139","url":"https:\/\/bookcurl.com\/products\/verifying-cyberphysical-systems-a-path-to-safe-autonomy-cyber-physical-systems-series-9780262044806","provider":"Book Curl","version":"1.0","type":"link"}