Cyber Physical Systems Series

A cyber-physical system (CPS) is a mechanism controlled or monitored by computer-based algorithms, tightly integrated with the internet and its users, and the field represents a growing area of research within computer science and electrical engineering.The series will cover all the major subsets of CPS, from large-scale systems, such as the grid and traffic systems, down to the level of biomedical applications, and will include both theoretical and application-oriented topics.

Series editor: Calin Belta

Information-Driven Planning and Control

Silvia Ferrari, Thomas A. Wettergren

Jul 06, 2021

Verifying Cyber-Physical Systems

Sayan Mitra

Feb 16, 2021

Model Checking

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

Dec 04, 2018

Model Checking

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

Dec 20, 1999