3 citations · 4 across the 6 of their papers we have counts for
Showing eess.SYShow all
3 papers · 1 filter
eess.SY2025
Derivative-Agnostic Inference of Nonlinear Hybrid Systems
Hengzhi Yu, Bohan Ma, Mingshuai Chen +5
This paper addresses the problem of inferring a hybrid automaton from a set of input-output traces of a hybrid system exhibiting discrete mode switching between continuously evolvi…
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…
eess.SY2023★ 1 cited
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…