Articoli correlati a Verifying Cyber-Physical Systems: A Path to Safe Autonomy
Verifying Cyber-Physical Systems: A Path to Safe Autonomy - Rilegato
Libro 3 di 3: Cyber Physical Systems Series
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Informazioni sull'autore
Sayan Mitra is Professor in the Department of Electrical and Computer Engineering at the University of Illinois at Urbana-Champaign.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Verifying Cyber-Physical Systems: A Path to Safe Autonomy
Foto dell'editore
Verifying Cyber-Physical Systems: A Path to Safe Autonomy
Da: World of Books (was SecondSale), Montgomery, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardback. Condizione: 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. Codice articolo 00109736654
Compra usato
EUR 42,78
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Verifying Cyber-Physical Systems: A Path to Safe Autonomy
Da: World of Books Inc, Montgomery, IL, U.S.A.
Valutazione del venditore 4 su 5 stelle
Hardback. Condizione: 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. Codice articolo CIN0262044803G
Compra usato
EUR 44,92
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)
Da: HPB-Diamond, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: 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! Codice articolo S_487523674
Compra usato
EUR 43,09
Spedizione EUR 3,34
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)
Da: Bellwetherbooks, McKeesport, PA, U.S.A.
Valutazione del venditore 4 su 5 stelle
hardcover. Condizione: Fine. LIKE NEW!!! Has a red or black remainder mark on bottom/exterior edge of pages. Codice articolo mon0000060493
Compra usato
EUR 43,10
Spedizione EUR 3,52
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Verifying Cyber-Physical Systems: A Path to Safe Autonomy
Da: Books Puddle, Woodside, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. Codice articolo 26381183415
Compra nuovo
EUR 50,29
Spedizione EUR 3,55
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 3 disponibili
Foto dell'editore
VerifyingCyber-PhysicalSystems Format: Hardback
Da: INDOO, Avenel, NJ, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread copy in mint condition. Codice articolo RH9780262044806
Compra usato
EUR 59,67
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
VerifyingCyber-PhysicalSystems Format: Hardback
Da: INDOO, Avenel, NJ, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Brand New. Codice articolo 9780262044806
Compra nuovo
EUR 59,76
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Verifying Cyber-Physical Systems (Hardcover)
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: 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. Codice articolo 9780262044806
Compra nuovo
EUR 65,59
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Verifying Cyber-Physical Systems : A Path to Safe Autonomy
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 41445518-n
Compra nuovo
EUR 64,64
Spedizione EUR 2,35
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 15 disponibili
Immagini fornite dal venditore
Verifying Cyber-Physical Systems
Da: Rarewaves USA, HEBRON, KY, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardback. Condizione: New. Codice articolo LU-9780262044806
Compra nuovo
EUR 67,08
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili