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 2024Show all

1 paper · 1 filter

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…