2013 IEEE 34th Real-Time Systems Symposium (2009)
Washington D.C., USA
Dec. 1, 2009 to Dec. 4, 2009
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/RTSS.2009.26
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.
Robustness, Simulation, Hybrid systems, Model Validation and Analysis, Floating-point arithmetic
Franjo Ivancic, Aarti Gupta, Georgios Fainekos, Sriram Sankaranarayanan, "Robustness of Model-Based Simulations", 2013 IEEE 34th Real-Time Systems Symposium, vol. 00, no. , pp. 345-354, 2009, doi:10.1109/RTSS.2009.26