Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper introduces a runtime enforcement framework for hybrid systems that actively modifies unsafe behaviors to ensure safety in autonomous and cyber-physical systems. By modeling safety requirements with Hybrid Automata and employing a combination of discrete-event editing and continuous-time monitoring, the framework can suppress, delay, or insert events dynamically. The case study on an Adaptive Cruise Control system illustrates the framework's effectiveness in maintaining safety properties with minimal computational overhead during real-time operation.
Runtime enforcement can actively correct unsafe behaviors in hybrid systems, ensuring real-time safety compliance with minimal overhead.
Runtime enforcement has emerged as a promising approach for ensuring the safety of autonomous and cyber-physical systems operating in uncertain and dynamic environments. Unlike traditional runtime verification, runtime enforcement actively intervenes during execution to prevent property violations by modifying unsafe system behaviors. Existing enforcement frameworks primarily focus on untimed or discrete-time specifications and are often limited to delaying or suppressing events, making them inadequate for reactive systems exhibiting complex continuous dynamics. In this paper, we propose a runtime enforcement framework where safety requirements are modeled using Hybrid Automata (HA). The framework combines discrete-event editing with continuous-time monitoring to support enforcement actions such as suppression, delay, and insertion of events at arbitrary time instants. Upon observing environmental inputs, the automaton is initialized, and runtime reachability analysis is used to synthesize safe corrective actions. We formally define the enforcement problem for safety hybrid automata, establish enforceability conditions, and present an online enforcement algorithm for reactive systems. A detailed case study on an Adaptive Cruise Control (ACC) system demonstrates the effectiveness of the proposed approach in maintaining safety properties under unsafe controller behaviors. Experimental results show that the framework introduces minimal computational overhead while ensuring continuous compliance with safety requirements in real time.