Runtime Enforcement of Hybrid System Properties

Mir Md Sajid Sarwar, Srinivas Pinisetty, Rajarshi Ray +1

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 tra…