Robustness of model-based simulations

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

doi:10.1109/RTSS.2009.26

Robustness of model-based simulations

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

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English (US)
Title of host publication	Proceedings - Real-Time Systems Symposium, RTSS 2009
Pages	345-354
Number of pages	10
DOIs	https://doi.org/10.1109/RTSS.2009.26
State	Published - 2009
Externally published	Yes
Event	Real-Time Systems Symposium, RTSS 2009 - Washington, D.C., United States Duration: Dec 1 2009 → Dec 4 2009

Publication series

Name	Proceedings - Real-Time Systems Symposium
ISSN (Print)	1052-8725

Other

Other	Real-Time Systems Symposium, RTSS 2009
Country/Territory	United States
City	Washington, D.C.
Period	12/1/09 → 12/4/09

Keywords

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

ASJC Scopus subject areas

Software
Hardware and Architecture
Computer Networks and Communications

Access to Document

10.1109/RTSS.2009.26

Cite this

@inproceedings{a2f68f0dd508464dbc597e1820977b2f,

title = "Robustness of model-based simulations",

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.",

keywords = "Floating-point arithmetic, Hybrid systems, Model validation and analysis, Robustness, Simulation",

author = "Fainekos, {Georgios E.} and Sriram Sankaranarayanan and Franjo Ivan{\v c}i{\'c} and Aarti Gupta",

year = "2009",

doi = "10.1109/RTSS.2009.26",

language = "English (US)",

isbn = "9780769538754",

series = "Proceedings - Real-Time Systems Symposium",

pages = "345--354",

booktitle = "Proceedings - Real-Time Systems Symposium, RTSS 2009",

note = "Real-Time Systems Symposium, RTSS 2009 ; Conference date: 01-12-2009 Through 04-12-2009",

}

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 -

Robustness of model-based simulations

Abstract

Publication series

Other

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this