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 »
Formal Methods for Autonomous Systems, Paperback / softback Book

Formal Methods for Autonomous Systems Paperback / softback

Part of the Foundations and Trends® in Systems and Control series

Paperback / softback

Out of stock

Description

Formal methods refer to rigorous, mathematical approaches to system development and have played a key role in establishing the correctness of safety-critical systems.

The main building blocks of formal methods are models and specifications, which are analogous to behaviours and requirements in system design and give us the means to verify and synthesise system behaviours with formal guarantees. In this monograph the authors review the current state of the art of applications of formal methods in the autonomous systems domain.

They first consider correct-by-construction synthesis under various formulations in known environments before addressing the concept of uncertainty with systems that employ learning using formal methods including overcoming some limitations of such systems.

Finally, they examine the synthesis of systems with monitoring to ensure a system can return to normalcy.

They conclude with future directions for formal methods in reinforcement learning, uncertainty, privacy, explainability of formal methods, and regulation and certification. Covering important topics such as synthesis and reinforcement learning it is a comprehensive resource for students, practitioners and researchers on the use of formal methods in modern systems.

Information

£80.00

Out of stock
Add to Basket
Sign in to add to wishlist
 
Free Home Delivery

on all orders

 
Pick up orders

from local bookshops

Information