5 papers · 1 filter
STLts-Div: Diversified Trace Synthesis from STL Specifications Using MILP (Extended Version)
Martin Jouve-Genty, Han Su, Sota Sato +3
Modern cyber-physical systems are complex, and requirements are often written in Signal Temporal Logic (STL). Writing the right STL is difficult in practice; engineers benefit from…
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…
Switching Controller Synthesis for Hybrid Systems Against STL Formulas
Han Su, Shenghua Feng, Sinong Zhan +1
Switching controllers play a pivotal role in directing hybrid systems (HSs) towards the desired objective, embodying a ``correct-by-construction'' approach to HS design. Identifyin…
Correct-by-Construction for Hybrid Systems by Synthesizing Reset Controller
Jiang Liu, Han Su, Yunjun Bai +4
Controller synthesis, including reset controller, feedback controller, and switching logic controller, provides an essential mechanism to guarantee the correctness and reliability…
Reset Controller Synthesis by Reach-avoid Analysis for Delay Hybrid Systems
Han Su, Jiyu Zhu, Shenghua Feng +5
A reset controller plays a crucial role in designing hybrid systems. It restricts the initial set and redefines the reset map associated with discrete transitions, in order to guar…