Runtime Enforcement of Hybrid System Properties
Researchers have developed a new runtime enforcement framework designed to enhance the safety of autonomous and cyber-physical systems. This framework utilizes Hybrid Automata to model safety requirements, allowing for active intervention to prevent property violations. It combines discrete-event editing with continuous-time monitoring to handle complex dynamics, demonstrated effectively on an Adaptive Cruise Control system with minimal computational overhead. AI
IMPACT Enhances safety mechanisms for autonomous systems, potentially improving reliability in real-world applications.