Similar Items: Safety Verification of Networked Control Systems by Complex Zonotopes
- Real-Time Verification for Distributed Cyber-Physical Systems
- A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems
- Nearly-Tight Bounds for Zonotope Containment and Beyond
- Swarms of Mobile Robots: Towards Versatility with Safety
- Use of Safety Analysis in Industrial Maintenance Management
- Safety in the Values Hierarchy Related to Professional Work in the Opinion of Employees in the SME Sector