MIT

Building Safe Autonomy

Main menu

Invariant verification of nonlinear hybrid automata networks of cardiac cells

Title

Invariant verification of nonlinear hybrid automata networks of cardiac cells

Publication Type

Conference Paper

Year of Publication

2014

Authors

Keywords Biological networks, hybrid systems, invariants, verification

Conference Name

Computer Aided Verification – 26th International Conference, (CAV)

Publisher

Springer, Cham

Conference Location

Vienna, Austria

ISBN Number

9783319088662

URL

http://link.springer.com/10.1007/978-3-319-08867-9%7B/_%7D25

DOI

http://dx.doi.org/10.1007/978-3-319-08867-9_25