Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells.

Zhenqi Huang Chuchu Fan Alexandru Mereacre Sayan Mitra Marta Z. Kwiatkowska

Published in: CAV (2014)

Keyphrases

hybrid automata
finite state automata
network structure
social networks
image analysis
signature verification
matching algorithm
model checking
invariant features
patient specific
training data
complex networks
affine transformation
tagged mri