kth.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Data-Driven Reachability Analysis From Noisy Data
KTH, School of Electrical Engineering and Computer Science (EECS), Intelligent systems, Decision and Control Systems (Automatic Control). Constructor University, Bremen, Germany, 28759.ORCID iD: 0000-0003-2941-519x
University of Stuttgart, Institute for Systems Theory and Automatic Control, Stuttgart, Germany, 70174.ORCID iD: 0000-0002-8213-2247
University of Stuttgart, Institute for Systems Theory and Automatic Control, Stuttgart, Germany, 70174.ORCID iD: 0000-0002-3702-3658
KTH, School of Electrical Engineering and Computer Science (EECS), Intelligent systems, Decision and Control Systems (Automatic Control).ORCID iD: 0000-0001-9940-5929
2023 (English)In: IEEE Transactions on Automatic Control, ISSN 0018-9286, E-ISSN 1558-2523, Vol. 68, no 5, p. 3054-3069Article in journal (Refereed) Published
Abstract [en]

We consider the problem of computing reachable sets directly from noisy data without a given system model. Several reachability algorithms are presented for different types of systems generating the data. First, an algorithm for computing over-approximated reachable sets based on matrix zonotopes is proposed for linear systems. Constrained matrix zonotopes are introduced to provide less conservative reachable sets at the cost of increased computational expenses and utilized to incorporate prior knowledge about the unknown system model. Then we extend the approach to polynomial systems and, under the assumption of Lipschitz continuity, to nonlinear systems. Theoretical guarantees are given for these algorithms in that they give a proper over-approximate reachable set containing the true reachable set. Multiple numerical examples and real experiments show the applicability of the introduced algorithms, and comparisons are made between algorithms.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers (IEEE) , 2023. Vol. 68, no 5, p. 3054-3069
Keywords [en]
Constrained zonotope, discrete-time systems, reachability analysis, robustness, zonotope
National Category
Control Engineering Computer Sciences
Identifiers
URN: urn:nbn:se:kth:diva-330945DOI: 10.1109/TAC.2023.3257167ISI: 000979661300030Scopus ID: 2-s2.0-85151334752OAI: oai:DiVA.org:kth-330945DiVA, id: diva2:1779645
Note

QC 20230704

Available from: 2023-07-04 Created: 2023-07-04 Last updated: 2023-07-06Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Alanwar, AmrJohansson, Karl H.

Search in DiVA

By author/editor
Alanwar, AmrKoch, AnneAllgower, FrankJohansson, Karl H.
By organisation
Decision and Control Systems (Automatic Control)
In the same journal
IEEE Transactions on Automatic Control
Control EngineeringComputer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 207 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf