Conference
Rigorous Simulation of Hybrid Dynamic Systems with Symbolic and Interval Methods11This work was supported in part by the Natural Sciences and Engineering Research Council of Canada (NSERC).
Abstract
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 …
Authors
Nedialkov NS; von Mohrenschildt M
Volume
1
Pagination
pp. 140-147
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Publication Date
January 1, 2002
DOI
10.1109/acc.2002.1024794
Name of conference
Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301)