Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface
KTH, Skolan för elektroteknik och datavetenskap (EECS), Intelligenta system, Reglerteknik.ORCID-id: 0000-0001-6046-7129
KTH, Skolan för elektroteknik och datavetenskap (EECS), Intelligenta system, Reglerteknik.ORCID-id: 0000-0001-7309-8086
2022 (engelsk)Inngår i: Automatica, ISSN 0005-1098, E-ISSN 1873-2836, Vol. 145, s. 110520-, artikkel-id 110520Artikkel i tidsskrift (Fagfellevurdert) Published
Abstract [en]

Discrete abstractions have become a standard approach to assist control synthesis under complex specifications. Most techniques for the construction of a discrete abstraction for a continuous-time system require time-space discretization of the concrete system, which constitutes property satisfaction for the continuous-time system non-trivial. In this work, we aim at relaxing this requirement by introducing a control interface. Firstly, we connect the continuous-time uncertain concrete system with its discrete deterministic state-space abstraction with a control interface. Then, a novel stability notion called eta-approximately controlled globally practically stable, and a new simulation relation called robust approximate simulation relation are proposed. It is shown that the uncertain concrete system, under the condition that there exists an admissible control interface such that the augmented system (composed of the concrete system and its abstraction) can be made eta-approximately controlled globally practically stable, robustly approximately simulates its discrete abstraction. The effectiveness of the proposed results is illustrated by two simulation examples.

sted, utgiver, år, opplag, sider
Elsevier BV , 2022. Vol. 145, s. 110520-, artikkel-id 110520
Emneord [en]
Discrete abstraction, Uncertain systems, Robust approximate simulation relation, Control interface
HSV kategori
Identifikatorer
URN: urn:nbn:se:kth:diva-322473DOI: 10.1016/j.automatica.2022.110520ISI: 000888559100006Scopus ID: 2-s2.0-85135904674OAI: oai:DiVA.org:kth-322473DiVA, id: diva2:1719952
Merknad

QC 20221216

Tilgjengelig fra: 2022-12-16 Laget: 2022-12-16 Sist oppdatert: 2022-12-16bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Person

Yu, PianDimarogonas, Dimos V.

Søk i DiVA

Av forfatter/redaktør
Yu, PianDimarogonas, Dimos V.
Av organisasjonen
I samme tidsskrift
Automatica

Søk utenfor DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 49 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf