1 citations · 1 across the 1 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…