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
- Introduction to the Special Issue on Distributed Hybrid Systems
- Higher-Dimensional Timed and Hybrid Automata
- Hybrid Optimization for Secure and Timely Medical Logistics: A Case Study in Burkina Faso
- Physics-Informed Data-Driven Determination of Printability Maps of Industrial Alloys for Laser Powder Bed Fusion Process with Understandings from Numerical Modeling