Artículos relacionados a Verifying Cyber-Physical Systems: A Path to Safe Autonomy...
Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series) - Tapa dura
Libro 3 de 3: Cyber Physical Systems Series
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del autor
Sayan Mitra is Professor in the Department of Electrical and Computer Engineering at the University of Illinois at Urbana-Champaign.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Verifying Cyber-Physical Systems: A Path to Safe Autonomy...
Imagen de archivo
Verifying Cyber-Physical Systems: A Path to Safe Autonomy
Publicado por
MIT Press Ltd, 2021
ISBN 10: 0262044803
ISBN 13: 9780262044806
Antiguo o usado
Tapa dura
Librería: World of Books (was SecondSale), Montgomery, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardback. Condición: 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. Nº de ref. del artículo: 00109736654
Comprar usado
EUR 42,83
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Verifying Cyber-Physical Systems: A Path to Safe Autonomy
Publicado por
MIT Press Ltd, 2021
ISBN 10: 0262044803
ISBN 13: 9780262044806
Antiguo o usado
Tapa dura
Librería: World of Books Inc, Montgomery, IL, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Hardback. Condición: 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. Nº de ref. del artículo: CIN0262044803G
Comprar usado
EUR 44,97
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)
Publicado por
The MIT Press, 2021
ISBN 10: 0262044803
ISBN 13: 9780262044806
Antiguo o usado
Tapa dura
Librería: HPB-Diamond, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
hardcover. Condición: 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! Nº de ref. del artículo: S_487523674
Comprar usado
EUR 43,13
Envío por EUR 3,34
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)
Publicado por
The MIT Press, 2021
ISBN 10: 0262044803
ISBN 13: 9780262044806
Antiguo o usado
Tapa dura
Librería: Bellwetherbooks, McKeesport, PA, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
hardcover. Condición: Fine. LIKE NEW!!! Has a red or black remainder mark on bottom/exterior edge of pages. Nº de ref. del artículo: mon0000060493
Comprar usado
EUR 43,15
Envío por EUR 3,52
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Verifying Cyber-Physical Systems: A Path to Safe Autonomy
Librería: Books Puddle, Woodside, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Nº de ref. del artículo: 26381183415
Comprar nuevo
EUR 50,35
Envío por EUR 3,56
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 3 disponibles
Imagen de archivo
VerifyingCyber-PhysicalSystems Format: Hardback
Librería: INDOO, Avenel, NJ, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread copy in mint condition. Nº de ref. del artículo: RH9780262044806
Comprar usado
EUR 59,74
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
VerifyingCyber-PhysicalSystems Format: Hardback
Librería: INDOO, Avenel, NJ, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Brand New. Nº de ref. del artículo: 9780262044806
Comprar nuevo
EUR 59,83
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Verifying Cyber-Physical Systems (Hardcover)
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: 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. Nº de ref. del artículo: 9780262044806
Comprar nuevo
EUR 65,66
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Verifying Cyber-Physical Systems : A Path to Safe Autonomy
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 41445518-n
Comprar nuevo
EUR 64,72
Envío por EUR 2,35
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen del vendedor
Verifying Cyber-Physical Systems
Librería: Rarewaves USA, HEBRON, KY, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardback. Condición: New. Nº de ref. del artículo: LU-9780262044806
Comprar nuevo
EUR 67,15
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles