2011 IEEE 34th Software Engineering Workshop (2011)
June 20, 2011 to June 21, 2011
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEW.2011.16
In this paper we argue that a judicious use of models in science and engineering can considerably simplify the design and analysis of complex dynamic systems. To substantiate this claim, we first review the mathematical form and the role played by models in science and engineering, respectively. We then show that a change in perspective on the purpose of models in the analysis of cardiac tissue, allowed us to derive for the first time, in an automatic fashion, the parameter-ranges distinguishing between normal and abnormal behavior in cardiac cells.
Modeling, Analysis, Control, Parameter-Range Identification, Hybrid Automata, Cardiac Cells
F. Fenton, R. Grosu, E. Bartocci and S. Smolka, "A Change of Perspective Yields Formal Analysis," 2011 IEEE 34th Software Engineering Workshop(SEW), Limerick, Ireland, 2011, pp. 69-76.