Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells Download Tags: biological networks hybrid systems invariants verification UIUC License: Creative Commons 2.5 Submitted by Amy Clay on Tue, 11/17/2015 - 15:26