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
Symbolic abstractions for nonlinear control systems via feedback refinement relation
KTH, School of Electrical Engineering and Computer Science (EECS), Intelligent systems, Decision and Control Systems (Automatic Control).
KTH, School of Electrical Engineering and Computer Science (EECS), Intelligent systems, Decision and Control Systems (Automatic Control).ORCID iD: 0000-0001-7309-8086
2020 (English)In: Automatica, ISSN 0005-1098, E-ISSN 1873-2836, Vol. 114, article id 108828Article in journal (Refereed) Published
Abstract [en]

This paper studies the construction of symbolic abstractions for nonlinear control systems via feedback refinement relation. Both the delay-free and time-delay cases are addressed. For the delay-free case, to reduce the computational complexity, we propose a new approximation approach for the state and input sets based on a static quantizer, and then a novel symbolic model is constructed such that the original system and the symbolic model satisfy the feedback refinement relation. For the time-delay case, both static and dynamic quantizers are combined to approximate the state and input sets. This leads to a novel dynamic symbolic model for time-delay control systems, and a feedback refinement relation is established between the original system and the symbolic model. Finally, a numerical example is presented to illustrate the obtained results.

Place, publisher, year, edition, pages
Elsevier Ltd , 2020. Vol. 114, article id 108828
Keywords [en]
Feedback refinement relation, Nonlinear control systems, Quantizers, Symbolic abstraction, Time-delay control systems, Abstracting, Nonlinear feedback, Time delay, Approximation approach, Dynamic quantizers, Input set, Original systems, Symbolic model, Delay control systems
National Category
Control Engineering
Identifiers
URN: urn:nbn:se:kth:diva-267938DOI: 10.1016/j.automatica.2020.108828ISI: 000519656500020Scopus ID: 2-s2.0-85078057262OAI: oai:DiVA.org:kth-267938DiVA, id: diva2:1421189
Note

QC 20200402

Available from: 2020-04-02 Created: 2020-04-02 Last updated: 2020-04-14Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Ren, WeiDimarogonas, Dimos V.

Search in DiVA

By author/editor
Ren, WeiDimarogonas, Dimos V.
By organisation
Decision and Control Systems (Automatic Control)
In the same journal
Automatica
Control Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 12 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