AINeutralarXiv – CS AI · 7h ago6/10
🧠
Runtime Enforcement of Hybrid System Properties
Researchers propose a runtime enforcement framework using Hybrid Automata to actively prevent safety violations in autonomous and cyber-physical systems by monitoring and modifying unsafe behaviors in real time. The approach combines discrete-event editing with continuous monitoring and is validated through an Adaptive Cruise Control case study, demonstrating effective safety compliance with minimal computational overhead.