Computing Non-Convex Inner-Approximations of Reachable Sets for Nonlinear Continuous Systems

Niklas Kochdumper; Matthias Althoff

doi:10.1109/CDC42340.2020.9304022

Computing Non-Convex Inner-Approximations of Reachable Sets for Nonlinear Continuous Systems

Niklas Kochdumper, Matthias Althoff

Informatics 6 - Associate Professorship of Cyber Physical Systems

Technical University of Munich

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

19 Scopus citations

Abstract

We present a novel approach to compute non-convex inner-approximations of reachable sets for nonlinear continuous systems. The concept of our approach is to extract inner-approximations of reachable sets from pre-computed outer-approximations, which makes our method computationally very efficient as we demonstrate with several numerical examples. Since our approach has polynomial complexity with respect to the system dimension, it is well-suited for high-dimensional systems.

Original language	English
Title of host publication	2020 59th IEEE Conference on Decision and Control, CDC 2020
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	2130-2137
Number of pages	8
ISBN (Electronic)	9781728174471
DOIs	https://doi.org/10.1109/CDC42340.2020.9304022
State	Published - 14 Dec 2020
Event	59th IEEE Conference on Decision and Control, CDC 2020 - Virtual, Jeju Island, Korea, Republic of Duration: 14 Dec 2020 → 18 Dec 2020

Publication series

Name	Proceedings of the IEEE Conference on Decision and Control
Volume	2020-December
ISSN (Print)	0743-1546
ISSN (Electronic)	2576-2370

Conference

Conference	59th IEEE Conference on Decision and Control, CDC 2020
Country/Territory	Korea, Republic of
City	Virtual, Jeju Island
Period	14/12/20 → 18/12/20

Access to Document

10.1109/CDC42340.2020.9304022

Cite this

Kochdumper, N., & Althoff, M. (2020). Computing Non-Convex Inner-Approximations of Reachable Sets for Nonlinear Continuous Systems. In 2020 59th IEEE Conference on Decision and Control, CDC 2020 (pp. 2130-2137). Article 9304022 (Proceedings of the IEEE Conference on Decision and Control; Vol. 2020-December). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/CDC42340.2020.9304022

@inproceedings{7e551b1f7e964a139448113da7dd3f0b,

title = "Computing Non-Convex Inner-Approximations of Reachable Sets for Nonlinear Continuous Systems",

abstract = "We present a novel approach to compute non-convex inner-approximations of reachable sets for nonlinear continuous systems. The concept of our approach is to extract inner-approximations of reachable sets from pre-computed outer-approximations, which makes our method computationally very efficient as we demonstrate with several numerical examples. Since our approach has polynomial complexity with respect to the system dimension, it is well-suited for high-dimensional systems.",

author = "Niklas Kochdumper and Matthias Althoff",

note = "Publisher Copyright: {\textcopyright} 2020 IEEE.; 59th IEEE Conference on Decision and Control, CDC 2020 ; Conference date: 14-12-2020 Through 18-12-2020",

year = "2020",

month = dec,

day = "14",

doi = "10.1109/CDC42340.2020.9304022",

language = "English",

series = "Proceedings of the IEEE Conference on Decision and Control",

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

pages = "2130--2137",

booktitle = "2020 59th IEEE Conference on Decision and Control, CDC 2020",

}

Kochdumper, N & Althoff, M 2020, Computing Non-Convex Inner-Approximations of Reachable Sets for Nonlinear Continuous Systems. in 2020 59th IEEE Conference on Decision and Control, CDC 2020., 9304022, Proceedings of the IEEE Conference on Decision and Control, vol. 2020-December, Institute of Electrical and Electronics Engineers Inc., pp. 2130-2137, 59th IEEE Conference on Decision and Control, CDC 2020, Virtual, Jeju Island, Korea, Republic of, 14/12/20. https://doi.org/10.1109/CDC42340.2020.9304022

Computing Non-Convex Inner-Approximations of Reachable Sets for Nonlinear Continuous Systems. / Kochdumper, Niklas; Althoff, Matthias.
2020 59th IEEE Conference on Decision and Control, CDC 2020. Institute of Electrical and Electronics Engineers Inc., 2020. p. 2130-2137 9304022 (Proceedings of the IEEE Conference on Decision and Control; Vol. 2020-December).

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

TY - GEN

T1 - Computing Non-Convex Inner-Approximations of Reachable Sets for Nonlinear Continuous Systems

AU - Kochdumper, Niklas

AU - Althoff, Matthias

PY - 2020/12/14

Y1 - 2020/12/14

N2 - We present a novel approach to compute non-convex inner-approximations of reachable sets for nonlinear continuous systems. The concept of our approach is to extract inner-approximations of reachable sets from pre-computed outer-approximations, which makes our method computationally very efficient as we demonstrate with several numerical examples. Since our approach has polynomial complexity with respect to the system dimension, it is well-suited for high-dimensional systems.

AB - We present a novel approach to compute non-convex inner-approximations of reachable sets for nonlinear continuous systems. The concept of our approach is to extract inner-approximations of reachable sets from pre-computed outer-approximations, which makes our method computationally very efficient as we demonstrate with several numerical examples. Since our approach has polynomial complexity with respect to the system dimension, it is well-suited for high-dimensional systems.

UR - http://www.scopus.com/inward/record.url?scp=85099876800&partnerID=8YFLogxK

U2 - 10.1109/CDC42340.2020.9304022

DO - 10.1109/CDC42340.2020.9304022

M3 - Conference contribution

AN - SCOPUS:85099876800

T3 - Proceedings of the IEEE Conference on Decision and Control

SP - 2130

EP - 2137

BT - 2020 59th IEEE Conference on Decision and Control, CDC 2020

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 59th IEEE Conference on Decision and Control, CDC 2020

Y2 - 14 December 2020 through 18 December 2020

ER -

Computing Non-Convex Inner-Approximations of Reachable Sets for Nonlinear Continuous Systems

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this