Similar Items: Real-Time Verification for Distributed Cyber-Physical Systems
- Safety Verification of Networked Control Systems by Complex Zonotopes
- A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems
- Controllability and Observability of Real-Time Implementation of Smart Grid Cyber-Physical Systems Under Adversarial Attacks
- A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems
- Optimal Stealthy Estimator Attacks Against Interconnected Cyber-Physical Systems
- Introduction to the Special Issue on Distributed Hybrid Systems