Similar Items: A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems
- Real-Time Verification for Distributed Cyber-Physical Systems
- A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems
- Reasoning about effects: from lists to cyber-physical agents
- Online Monitoring of Metric Temporal Logic using Sequential Networks
- Controllability and Observability of Real-Time Implementation of Smart Grid Cyber-Physical Systems Under Adversarial Attacks
- Optimal Stealthy Estimator Attacks Against Interconnected Cyber-Physical Systems