Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
Prescribed Performance Control for Signal Temporal Logic Specifications
KTH, School of Electrical Engineering (EES), Automatic Control.
KTH, School of Electrical Engineering (EES), Automatic Control.
KTH, School of Electrical Engineering (EES), Automatic Control.ORCID iD: 0000-0001-7309-8086
2017 (English)In: 2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017, IEEE , 2017, Vol. 2018, p. 2997-3002Conference paper, Published paper (Refereed)
Abstract [en]

Motivated by the recent interest in formal methods-based control for dynamic robots, we discuss the applicability of prescribed performance control to nonlinear systems subject to signal temporal logic specifications. Prescribed performance control imposes a desired transient behavior on the system trajectories that is leveraged to satisfy atomic signal temporal logic specifications. A hybrid control strategy is then used to satisfy a finite set of these atomic specifications. Simulations of a multi-agent system, using consensus dynamics, show that a wide range of specifications, i.e., formation, sequencing, and dispersion, can be robustly satisfied.

Place, publisher, year, edition, pages
IEEE , 2017. Vol. 2018, p. 2997-3002
Series
IEEE Conference on Decision and Control, ISSN 0743-1546
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
URN: urn:nbn:se:kth:diva-223857DOI: 10.1109/CDC.2017.8264095ISI: 000424696902143Scopus ID: 2-s2.0-85046124734ISBN: 978-1-5090-2873-3 OAI: oai:DiVA.org:kth-223857DiVA, id: diva2:1187923
Conference
IEEE 56th Annual Conference on Decision and Control (CDC), DEC 12-15, 2017, Melbourne, Australia
Funder
Swedish Research CouncilSwedish Foundation for Strategic Research Knut and Alice Wallenberg FoundationEU, European Research Council
Note

QC 20180306

Available from: 2018-03-06 Created: 2018-03-06 Last updated: 2018-06-01Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Dimarogonas, Dimos V.

Search in DiVA

By author/editor
Lindemann, LarsVerginis, Christos K.Dimarogonas, Dimos V.
By organisation
Automatic Control
Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

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

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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