Items related to Verifying Cyber-Physical Systems: A Path to Safe Autonomy...
Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series) - Hardcover
Synopsis
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."synopsis" may belong to another edition of this title.
About the Author
Sayan Mitra is Professor in the Department of Electrical and Computer Engineering at the University of Illinois at Urbana-Champaign.
"About this title" may belong to another edition of this title.
Buy New
View this item
£ 38.29
£ 6.70 shipping from U.S.A. to United Kingdom
Destination, rates & speedsSearch results for Verifying Cyber-Physical Systems: A Path to Safe Autonomy...
Stock Image
Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 26381183415
Quantity: 3 available
Stock Image
Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 18381183421
Quantity: 3 available
Stock Image
Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)
Published by
The MIT Press (edition ), 2021
ISBN 10: 0262044803
ISBN 13: 9780262044806
Used
Hardcover
Seller: BooksRun, Philadelphia, PA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. Seller Inventory # 0262044803-8-1
Quantity: 1 available
Stock Image
Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 382720616
Quantity: 4 available
Seller Image
Verifying Cyber-Physical Systems
Seller: Rarewaves.com UK, London, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. Seller Inventory # LU-9780262044806
Quantity: Over 20 available
Seller Image
Verifying Cyber-Physical Systems
Seller: Rarewaves USA United, OSWEGO, IL, U.S.A.
Seller rating 5 out of 5 stars
Hardback. Condition: New. Seller Inventory # LU-9780262044806
Quantity: Over 20 available
Seller Image
Verifying Cyber-Physical Systems : A Path to Safe Autonomy
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 41445518-n
Quantity: 15 available
Stock Image
Verifying Cyber-Physical Systems: A Path to Safe Autonomy
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. 2021. Hardcover. . . . . . Seller Inventory # V9780262044806
Quantity: 15 available
Seller Image
Verifying Cyber-Physical Systems : A Path to Safe Autonomy
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 41445518
Quantity: 15 available
Stock Image
Verifying Cyber-physical Systems: A Path to Safe Autonomy
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Brand New. 296 pages. 9.25x7.25x0.25 inches. In Stock. Seller Inventory # 0262044803
Quantity: 1 available