Robustness of model-based simulations

Georgios E. Fainekos, Sriram Sankaranarayanan, Franjo Ivančić, Aarti Gupta

Research output: Chapter in Book/Report/Conference proceedingConference contribution

16 Scopus citations


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.

Original languageEnglish (US)
Title of host publicationProceedings - Real-Time Systems Symposium, RTSS 2009
Number of pages10
StatePublished - Dec 1 2009
Externally publishedYes
EventReal-Time Systems Symposium, RTSS 2009 - Washington, D.C., United States
Duration: Dec 1 2009Dec 4 2009

Publication series

NameProceedings - Real-Time Systems Symposium
ISSN (Print)1052-8725


OtherReal-Time Systems Symposium, RTSS 2009
CountryUnited States
CityWashington, D.C.


  • Floating-point arithmetic
  • Hybrid systems
  • Model validation and analysis
  • Robustness
  • Simulation

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture
  • Computer Networks and Communications

Fingerprint Dive into the research topics of 'Robustness of model-based simulations'. Together they form a unique fingerprint.

  • Cite this

    Fainekos, G. E., Sankaranarayanan, S., Ivančić, F., & Gupta, A. (2009). Robustness of model-based simulations. In Proceedings - Real-Time Systems Symposium, RTSS 2009 (pp. 345-354). [5368184] (Proceedings - Real-Time Systems Symposium).