The Community for Technology Leaders
2011 IEEE 34th Software Engineering Workshop (2011)
Limerick, Ireland
June 20, 2011 to June 21, 2011
ISSN: 1550-6215
ISBN: 978-0-7695-4627-8
pp: 69-76
ABSTRACT
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.
INDEX TERMS
Modeling, Analysis, Control, Parameter-Range Identification, Hybrid Automata, Cardiac Cells
CITATION

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.
doi:10.1109/SEW.2011.16
182 ms
(Ver 3.3 (11022016))