activity
20232026
most citedReset Controller Synthesis by Reach-avoid Analysis for Delay Hybrid Systems

1 citations · 1 across the 5 of their papers we have counts for

collaborators
Showing 2025Show all

1 paper · 1 filter

eess.SY2025

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…