We are open but due to high demand and courier delays, delivery times are expected to be longer.
0

Call Boomerang Books 1300 36 33 32

Description - Verifying Cyber-Physical Systems: A Path to Safe Autonomy by Sayan Mitra

A graduate-level textbook that presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification.

Verification 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.

Buy Verifying Cyber-Physical Systems: A Path to Safe Autonomy by Sayan Mitra from Australia's Online Independent Bookstore, Boomerang Books.

Book Details

ISBN: 9780262044806
Format: Hardback
(229mm x 178mm x mm)
Pages: 304
Imprint: MIT Press
Publisher: MIT Press Ltd
Publish Date: 16-Feb-2021
Country of Publication: United States

Book Reviews - Verifying Cyber-Physical Systems: A Path to Safe Autonomy by Sayan Mitra

» Have you read this book? We'd like to know what you think about it - write a review about Verifying Cyber-Physical Systems: A Path to Safe Autonomy book by Sayan Mitra and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a Boomerang Books Account Holder - it's free to sign up and there are great benefits!)


A Preview for this title is currently not available.