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 - 2009
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
Country/TerritoryUnited States
CityWashington, D.C.

All Science Journal Classification (ASJC) codes

  • Software
  • Hardware and Architecture
  • Computer Networks and Communications


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


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

Cite this