A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf
.
Rigorous simulation of hybrid dynamic systems with symbolic and interval methods
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
doi:10.1109/acc.2002.1024794
fatcat:op34p4wu2rfzplmmmjzedtfp54