2 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
Guozheng Li, Zining Cao, Zheng Gao
A hybrid system is a dynamical system with both discrete and continuous components. In order to study the modeling and verification aspects of hybrid system, in this paper we first…