1 citations · 1 across the 2 of their papers we have counts for
2 papers
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…
cs.LO2017★ 1 cited
Synthesizing SystemC Code from Delay Hybrid CSP
Gaogao Yan, Li Jiao, Shuling Wang +1
Delay is omnipresent in modern control systems, which can prompt oscillations and may cause deterioration of control performance, invalidate both stability and safety properties. T…