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…