Rigorous simulation of hybrid dynamic systems with symbolic and interval methods

N.S. Nedialkov, M. von Mohrenschildt
Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301)  
Dynamic systems with a mix of continuous and discrete components, often called hybrid dynamic systems, frequently arise in engineering applications. Since many of these applications are safety critical, it is important to use reliable methods to simulate hybrid systems. This paper illustrates two approaches to rigorous simulation of hybrid dynamic systems. In the first approach, we use symbolic methods to compute closed-form solutions, thus avoiding round off and truncation errors. In the
more » ... approach, we use interval methods to compute rigorous bounds on the solution of a hybrid system. 140 0-7803-7298-0/02/$17.00
doi:10.1109/acc.2002.1024794 fatcat:op34p4wu2rfzplmmmjzedtfp54