Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

Supporting your high street Find out how »
Verifying Cyber-Physical Systems : A Path to Safe Autonomy, Hardback Book

Verifying Cyber-Physical Systems : A Path to Safe Autonomy Hardback

Part of the Cyber Physical Systems Series series

Hardback

Only a few left - usually despatched within 24 hours

Description

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.

Information

Save 14%

£57.00

£48.75

Only a few left - usually despatched within 24 hours
Add to Basket
Sign in to add to wishlist
 
Free Home Delivery

on all orders

 
Pick up orders

from local bookshops

Information

Also in the Cyber Physical Systems Series series  |  View all

Model Checking

£72.00

£60.75

Add to Basket

Information-Driven Planning and Control

£72.00

£60.75

Add to Basket

Model Checking

£62.00

£48.99

Add to Basket

Model Checking

£150.00

£105.00

Add to Basket