2 papers
eess.SY2024
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…
eess.SY2023
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…