TY - GEN
T1 - Robustness of model-based simulations
AU - Fainekos, Georgios E.
AU - Sankaranarayanan, Sriram
AU - Ivančić, Franjo
AU - Gupta, Aarti
PY - 2009
Y1 - 2009
N2 - 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 overapproximations of reachability computations.
AB - 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 overapproximations of reachability computations.
KW - Floating-point arithmetic
KW - Hybrid systems
KW - Model validation and analysis
KW - Robustness
KW - Simulation
UR - http://www.scopus.com/inward/record.url?scp=77649280980&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=77649280980&partnerID=8YFLogxK
U2 - 10.1109/RTSS.2009.26
DO - 10.1109/RTSS.2009.26
M3 - Conference contribution
AN - SCOPUS:77649280980
SN - 9780769538754
T3 - Proceedings - Real-Time Systems Symposium
SP - 345
EP - 354
BT - Proceedings - Real-Time Systems Symposium, RTSS 2009
T2 - Real-Time Systems Symposium, RTSS 2009
Y2 - 1 December 2009 through 4 December 2009
ER -