Hybrid Automata Model of the Heart for Formal Verification of Pacemakers.

Sidharta Andalam Avinash Malik Partha S. Roop Mark L. Trew

Published in: ARCH@CPSWeek (2016)

Keyphrases

formal verification
hybrid automata
probabilistic model
state space
theoretical analysis