Name: Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)
SKU: 53167059
Price: 55.45 USD
Availability: InStock
Author: Sayan Mitra

portada Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)

Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)

Formato

Libro Físico

Autor

Sayan Mitra

Encuadernación

Tapa Dura

ISBN13

9780262044806

Categorías

Ciencias de la computación

Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)

Sayan Mitra (Autor) · · Tapa Dura

Libro Nuevo Importado

Envío: 17 a 27 días háb.

$ 100.82$ 55.45

-45%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 20 unidades

$ 55.45

Llega entre el 23 Sep y el 12 Oct a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)"

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.