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
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