EHA
Excitable Hybrid Automata
Introduction | Documentation | Download | People | Sponsors | Results | Links
R. Grosu, S. A. Smolka, F. Corradini, E. Entcheva, A. Wasilenska and E. Bartocci  Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes Communication of ACM Vol. 52(3), March 2009 pp. 97-104 (Supplement Material)

Talk: Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes Presentation by R. Grosu, HSCC'08, the 11th International Conference on Hybrid Systems: Computation and Control, St. Louis, USA, April, 2008. EMERALD: LSSL Model Checker CLHA: Single Cell Model Ventricular Fibrillation followed by Defibrillation (Tissue of 400x400 cells) Site maintained by Ezio Bartocci and Radu Grosu