Main menu
Huang, Zhenqi
-
2014
Invariant verification of nonlinear hybrid automata networks of cardiac cells
Computer Aided Verification – 26th International Conference, (CAV) -
2017
Bounded invariant verification for time-delayed nonlinear networked dynamical systems
Nonlinear Analysis: Hybrid Systems