UTOPIC: Under-Approximation Through Optimal Control

Josu Doncel; Nicolas Gast; Mirco Tribastone; Max Tschaikowski; Andrea Vandin

doi:10.1007/978-3-030-30281-8_16

UTOPIC: Under-Approximation Through Optimal Control

Josu Doncel, Nicolas Gast, Mirco Tribastone, Max Tschaikowski^*, Andrea Vandin

^*Corresponding author for this work

Department of Applied Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

127 Downloads (Orbit)

Abstract

We consider a class of nonlinear systems of differential equations with uncertainties, i.e., with lack of knowledge in some of the parameters that is represented by a time-varying unknown bounded functions. An under-approximation of such systems consists of a subset of its reachable set, for any value of the unknown parameters. By relying on optimal control theory through Pontryagin’s principle, we provide an algorithm for the under-approximation of a linear combination of the state variables in terms of a fully automated tool-chain named UTOPIC. This allows to establish tight under-approximations of common benchmarks models with dimensions as large as sixty-five.

Original language	English
Title of host publication	Quantitative Evaluation of Systems : 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings
Editors	David Parker , Verena Wolf
Number of pages	15
Publisher	Springer
Publication date	2019
Pages	277-291
ISBN (Print)	978-3-030-30280-1
ISBN (Electronic)	978-3-030-30281-8
DOIs	https://doi.org/10.1007/978-3-030-30281-8_16
Publication status	Published - 2019
Event	16th International Conference on Quantitative Evaluation of Systems - University of Glasgow, Glasgow, United Kingdom Duration: 10 Sept 2019 → 12 Sept 2019 Conference number: 16

Conference

Conference	16th International Conference on Quantitative Evaluation of Systems
Number	16
Location	University of Glasgow
Country/Territory	United Kingdom
City	Glasgow
Period	10/09/2019 → 12/09/2019

Series	Lecture Notes in Computer Science
Volume	11785
ISSN	0302-9743

Keywords

Under-approximation
Uncertain nonlinear dynamics
Modeling

Access to Document

10.1007/978-3-030-30281-8_16

fulltextSubmitted manuscript, 973 KB

OpenUrl availability

Full text

Cite this

@inproceedings{aad1727958d942ac935a96391246f6b5,

title = "UTOPIC: Under-Approximation Through Optimal Control",

abstract = "We consider a class of nonlinear systems of differential equations with uncertainties, i.e., with lack of knowledge in some of the parameters that is represented by a time-varying unknown bounded functions. An under-approximation of such systems consists of a subset of its reachable set, for any value of the unknown parameters. By relying on optimal control theory through Pontryagin{\textquoteright}s principle, we provide an algorithm for the under-approximation of a linear combination of the state variables in terms of a fully automated tool-chain named UTOPIC. This allows to establish tight under-approximations of common benchmarks models with dimensions as large as sixty-five.",

keywords = "Under-approximation, Uncertain nonlinear dynamics, Modeling",

author = "Josu Doncel and Nicolas Gast and Mirco Tribastone and Max Tschaikowski and Andrea Vandin",

year = "2019",

doi = "10.1007/978-3-030-30281-8\_16",

language = "English",

isbn = "978-3-030-30280-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "277--291",

editor = "\{David Parker\} and \{Verena Wolf\}",

booktitle = "Quantitative Evaluation of Systems",

note = "16th International Conference on Quantitative Evaluation of Systems, QEST 2019 ; Conference date: 10-09-2019 Through 12-09-2019",

}

Doncel, J, Gast, N, Tribastone, M, Tschaikowski, M & Vandin, A 2019, UTOPIC: Under-Approximation Through Optimal Control. in DP & VW (eds), Quantitative Evaluation of Systems: 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings. Springer, Lecture Notes in Computer Science, vol. 11785, pp. 277-291, 16th International Conference on Quantitative Evaluation of Systems, Glasgow, United Kingdom, 10/09/2019. https://doi.org/10.1007/978-3-030-30281-8_16

UTOPIC: Under-Approximation Through Optimal Control. / Doncel, Josu; Gast, Nicolas; Tribastone, Mirco et al.
Quantitative Evaluation of Systems: 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings. ed. / David Parker; Verena Wolf. Springer, 2019. p. 277-291 (Lecture Notes in Computer Science, Vol. 11785).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - UTOPIC: Under-Approximation Through Optimal Control

AU - Doncel, Josu

AU - Gast, Nicolas

AU - Tribastone, Mirco

AU - Tschaikowski, Max

AU - Vandin, Andrea

N1 - Conference code: 16

PY - 2019

Y1 - 2019

N2 - We consider a class of nonlinear systems of differential equations with uncertainties, i.e., with lack of knowledge in some of the parameters that is represented by a time-varying unknown bounded functions. An under-approximation of such systems consists of a subset of its reachable set, for any value of the unknown parameters. By relying on optimal control theory through Pontryagin’s principle, we provide an algorithm for the under-approximation of a linear combination of the state variables in terms of a fully automated tool-chain named UTOPIC. This allows to establish tight under-approximations of common benchmarks models with dimensions as large as sixty-five.

AB - We consider a class of nonlinear systems of differential equations with uncertainties, i.e., with lack of knowledge in some of the parameters that is represented by a time-varying unknown bounded functions. An under-approximation of such systems consists of a subset of its reachable set, for any value of the unknown parameters. By relying on optimal control theory through Pontryagin’s principle, we provide an algorithm for the under-approximation of a linear combination of the state variables in terms of a fully automated tool-chain named UTOPIC. This allows to establish tight under-approximations of common benchmarks models with dimensions as large as sixty-five.

KW - Under-approximation

KW - Uncertain nonlinear dynamics

KW - Modeling

U2 - 10.1007/978-3-030-30281-8_16

DO - 10.1007/978-3-030-30281-8_16

M3 - Article in proceedings

SN - 978-3-030-30280-1

T3 - Lecture Notes in Computer Science

SP - 277

EP - 291

BT - Quantitative Evaluation of Systems

A2 - , David Parker

A2 - , Verena Wolf

PB - Springer

T2 - 16th International Conference on Quantitative Evaluation of Systems

Y2 - 10 September 2019 through 12 September 2019

ER -

Doncel J, Gast N, Tribastone M, Tschaikowski M, Vandin A. UTOPIC: Under-Approximation Through Optimal Control. In DP, VW, editors, Quantitative Evaluation of Systems: 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings. Springer. 2019. p. 277-291. (Lecture Notes in Computer Science, Vol. 11785). doi: 10.1007/978-3-030-30281-8_16

UTOPIC: Under-Approximation Through Optimal Control

Abstract

Conference

Keywords

Access to Document

OpenUrl availability

Fingerprint

Cite this