Invariant verification of nonlinear hybrid automata networks of cardiac cells

Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Kwiatkowska

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint Dive into the research topics of 'Invariant verification of nonlinear hybrid automata networks of cardiac cells'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science