1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…