Cyber-Physical Systems Series

Showing results 1-5 of 5

Filter Results OPEN +

Sort by: Per page: ‹1›

Information-Driven Planning and Control

by Silvia Ferrari and Thomas A. Wettergren

ISBN: 9780262045421

Publisher: The MIT Press

Pub Date: July 6, 2021

A unified framework for developing planning and control algorithms for active sensing, with examples of applications for modern sensor technologies.

Verifying Cyber-Physical Systems

A Path to Safe Autonomy

by Sayan Mitra

ISBN: 9780262044806

Publisher: The MIT Press

Pub Date: February 16, 2021

A graduate-level textbook that presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification.

Model Checking, second edition

Model Checking

by Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled and Helmut Veith

ISBN: 9780262038836

Publisher: The MIT Press

Pub Date: December 4, 2018

An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.

Model Checking

by Edmund M. Clarke Jr., Orna Grumberg and Doron Peleg

ISBN: 9780262032704

Publisher: The MIT Press

Pub Date: December 20, 1999

Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional approaches...