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

Abstract

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
Pages345-354
Number of pages10
DOIs
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

Other

OtherReal-Time Systems Symposium, RTSS 2009
Country/TerritoryUnited States
CityWashington, D.C.
Period12/1/0912/4/09

All Science Journal Classification (ASJC) codes

  • Software
  • Hardware and Architecture
  • Computer Networks and Communications

Keywords

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

Fingerprint

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

Cite this