Verwandte Artikel zu Verifying Cyber-Physical Systems: A Path to Safe Autonomy...
Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series) - Hardcover
Buch 3 von 3: Cyber Physical Systems Series
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Über die Autorin bzw. den Autor
Sayan Mitra is Professor in the Department of Electrical and Computer Engineering at the University of Illinois at Urbana-Champaign.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Verifying Cyber-Physical Systems: A Path to Safe Autonomy...
Beispielbild für diese ISBN
Verifying Cyber-Physical Systems: A Path to Safe Autonomy
Anbieter: World of Books (was SecondSale), Montgomery, IL, USA
Verkäuferbewertung 5 von 5 Sternen
Hardback. Zustand: 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. Bestandsnummer des Verkäufers 00109736654
Gebraucht kaufen
EUR 42,83
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Verifying Cyber-Physical Systems: A Path to Safe Autonomy
Anbieter: World of Books Inc, Montgomery, IL, USA
Verkäuferbewertung 4 von 5 Sternen
Hardback. Zustand: 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. Bestandsnummer des Verkäufers CIN0262044803G
Gebraucht kaufen
EUR 44,97
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)
Anbieter: HPB-Diamond, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
hardcover. Zustand: 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! Bestandsnummer des Verkäufers S_487523674
Gebraucht kaufen
EUR 43,13
EUR 3,34 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)
Anbieter: Bellwetherbooks, McKeesport, PA, USA
Verkäuferbewertung 4 von 5 Sternen
hardcover. Zustand: Fine. LIKE NEW!!! Has a red or black remainder mark on bottom/exterior edge of pages. Bestandsnummer des Verkäufers mon0000060493
Gebraucht kaufen
EUR 43,15
EUR 3,52 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Verifying Cyber-Physical Systems: A Path to Safe Autonomy
Anbieter: Books Puddle, Woodside, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 26381183415
Neu kaufen
EUR 50,35
EUR 3,56 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 3 verfügbar
Beispielbild für diese ISBN
VerifyingCyber-PhysicalSystems Format: Hardback
Anbieter: INDOO, Avenel, NJ, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread copy in mint condition. Bestandsnummer des Verkäufers RH9780262044806
Gebraucht kaufen
EUR 59,74
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
VerifyingCyber-PhysicalSystems Format: Hardback
Anbieter: INDOO, Avenel, NJ, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Brand New. Bestandsnummer des Verkäufers 9780262044806
Neu kaufen
EUR 59,83
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Verifying Cyber-Physical Systems (Hardcover)
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: 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. Bestandsnummer des Verkäufers 9780262044806
Foto des Verkäufers
Verifying Cyber-Physical Systems : A Path to Safe Autonomy
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 41445518-n
Neu kaufen
EUR 64,72
EUR 2,35 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 15 verfügbar
Foto des Verkäufers
Verifying Cyber-Physical Systems
Anbieter: Rarewaves USA, HEBRON, KY, USA
Verkäuferbewertung 5 von 5 Sternen
Hardback. Zustand: New. Bestandsnummer des Verkäufers LU-9780262044806
Neu kaufen
EUR 67,15
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar