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
Book 3 of 3: Cyber Physical Systems Series
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.
Search results for Verifying Cyber-Physical Systems: A Path to Safe Autonomy...
Stock Image
Verifying Cyber-Physical Systems: A Path to Safe Autonomy
Seller: World of Books (was SecondSale), Montgomery, IL, U.S.A.
Seller rating 5 out of 5 stars
Hardback. Condition: Good. 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. Seller Inventory # 00109736654
Stock Image
Verifying Cyber-Physical Systems: A Path to Safe Autonomy
Seller: World of Books Inc, Montgomery, IL, U.S.A.
Seller rating 4 out of 5 stars
Hardback. Condition: Good. 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. Seller Inventory # CIN0262044803G
Stock Image
Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)
Seller: HPB-Diamond, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_487523674
Stock Image
Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)
Seller: Bellwetherbooks, McKeesport, PA, U.S.A.
Seller rating 4 out of 5 stars
hardcover. Condition: Fine. LIKE NEW!!! Has a red or black remainder mark on bottom/exterior edge of pages. Seller Inventory # mon0000060493
Stock Image
Verifying Cyber-Physical Systems: A Path to Safe Autonomy
Seller: Books Puddle, Woodside, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 26381183415
Stock Image
VerifyingCyber-PhysicalSystems Format: Hardback
Seller: INDOO, Avenel, NJ, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread copy in mint condition. Seller Inventory # RH9780262044806
Stock Image
VerifyingCyber-PhysicalSystems Format: Hardback
Seller: INDOO, Avenel, NJ, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Brand New. Seller Inventory # 9780262044806
Stock Image
Verifying Cyber-Physical Systems (Hardcover)
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. A graduate-level textbook that presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification.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. "A unified mathematical framework for rigorously modeling and analyzing cyber-physical systems"-- Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9780262044806
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
Seller Image
Verifying Cyber-Physical Systems
Seller: Rarewaves USA, HEBRON, KY, U.S.A.
Seller rating 5 out of 5 stars
Hardback. Condition: New. Seller Inventory # LU-9780262044806