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…