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

Computer Science

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
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	345-354
Number of pages	10
ISBN (Print)	9780769538754
DOIs	https://doi.org/10.1109/RTSS.2009.26
State	Published - 2009
Event	30th IEEE 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

Conference

Conference	30th IEEE Real-Time Systems Symposium, RTSS 2009
Country/Territory	United States
City	Washington, D.C.
Period	12/1/09 → 12/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

Access to Document

10.1109/RTSS.2009.26

Cite this

@inproceedings{dc26f17e2c1b48d68a22a920fa505347,

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

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "345--354",

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

address = "United States",

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

}

Fainekos, GE, Sankaranarayanan, S, Ivančić, F & Gupta, A 2009, Robustness of model-based simulations. in Proceedings - Real-Time Systems Symposium, RTSS 2009., 5368184, Proceedings - Real-Time Systems Symposium, Institute of Electrical and Electronics Engineers Inc., pp. 345-354, 30th IEEE Real-Time Systems Symposium, RTSS 2009, Washington, D.C., United States, 12/1/09. https://doi.org/10.1109/RTSS.2009.26

Robustness of model-based simulations. / Fainekos, Georgios E.; Sankaranarayanan, Sriram; Ivančić, Franjo et al.
Proceedings - Real-Time Systems Symposium, RTSS 2009. Institute of Electrical and Electronics Engineers Inc., 2009. p. 345-354 5368184 (Proceedings - Real-Time Systems Symposium).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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 - https://www.scopus.com/pages/publications/77649280980

UR - https://www.scopus.com/pages/publications/77649280980#tab=citedBy

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

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 30th IEEE Real-Time Systems Symposium, RTSS 2009

Y2 - 1 December 2009 through 4 December 2009

ER -

Robustness of model-based simulations

Abstract

Publication series

Conference

All Science Journal Classification (ASJC) codes

Keywords

Access to Document

Other files and links

Fingerprint

Cite this