The Community for Technology Leaders
RSS Icon
Subscribe
Washington D.C., USA
Dec. 1, 2009 to Dec. 4, 2009
ISBN: 978-0-7695-3875-4
pp: 345-354
ABSTRACT
This paper proposes a framework for determining the correctness and robustness of simulations of hybrid systems. The focus is on simulations generated from model-based design environments and, in particular, Simulink. The correctness and robustness of the simulation is guaranteed against floating-point rounding errors and system modeling uncertainties. Toward that goal, self-validated arithmetics, such as interval and affine arithmetic, are employed for guaranteed simulation of discrete-time hybrid systems. In the case of continuous-time hybrid systems, self-validated arithmetics are utilized for over-approximations of reachability computations.
INDEX TERMS
Robustness, Simulation, Hybrid systems, Model Validation and Analysis, Floating-point arithmetic
CITATION
Georgios Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta, "Robustness of Model-Based Simulations", RTSS, 2009, 2013 IEEE 34th Real-Time Systems Symposium, 2013 IEEE 34th Real-Time Systems Symposium 2009, pp. 345-354, doi:10.1109/RTSS.2009.26
27 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool