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
Search Results
Formal Methods for Multi-Agent Feedback Control Systems
Pub Date: Apr 29, 2025
Information-Driven Planning and Control
Pub Date: Jul 06, 2021
Verifying Cyber-Physical Systems
Pub Date: Feb 16, 2021
Model Checking
Pub Date: Dec 04, 2018
Model Checking
Pub Date: Dec 20, 1999