Runtime Enforcement of CPS against Signal Temporal Logic

Han Su, Saumya Shankar, Srinivas Pinisetty +2

Cyber-Physical Systems (CPSs), especially those involving autonomy, need guarantees of their safety. Runtime Enforcement (RE) is a lightweight method to formally ensure that some s…