This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2009 30th IEEE Real-Time Systems Symposium
Robustness of Model-Based Simulations
Washington D.C., USA
December 01-December 04
ISBN: 978-0-7695-3875-4
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, pp.345-354, 2009 30th IEEE Real-Time Systems Symposium, 2009
Usage of this product signifies your acceptance of the Terms of Use.