Digitala Vetenskapliga Arkivet

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
Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks
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
2019 (English)In: Automatica, ISSN 0005-1098, E-ISSN 1873-2836, Vol. 106, p. 284-293Article in journal (Refereed) Published
Abstract [en]

Multi-agent systems under temporal logic tasks have great potential due to their ability to deal with complex tasks. The control of these systems, however, poses many challenges and the majority of existing approaches result in large computational burdens. We instead propose computationally efficient and robust feedback control strategies for a class of systems that are, in a sense, feedback equivalent to single integrator systems, but where the dynamics are partially unknown for the control design. A bottom-up scenario is considered in which each agent is subject to a local task from a limited signal temporal logic fragment. Notably, the satisfaction of a local task may also depend on the behavior of other agents. We provide local continuous-time feedback control laws that, under some sufficient conditions, guarantee satisfaction of the local tasks. Otherwise, a local detection & repair scheme is proposed in combination with the previously derived feedback control laws to deal with infeasibilities, such as when local tasks are conflicting. The efficacy of the proposed method is demonstrated in simulations.

Place, publisher, year, edition, pages
Elsevier BV , 2019. Vol. 106, p. 284-293
Keywords [en]
Multi-agent systems, Formal methods-based control, Signal temporal logic, Robust control, Autonomous systems, Hybrid systems
National Category
Control Engineering
Identifiers
URN: urn:nbn:se:kth:diva-255402DOI: 10.1016/j.automatica.2019.05.013ISI: 000473380000033Scopus ID: 2-s2.0-85065763330OAI: oai:DiVA.org:kth-255402DiVA, id: diva2:1342829
Note

QC 20190814

Available from: 2019-08-14 Created: 2019-08-14 Last updated: 2022-06-26Bibliographically approved

Open Access in DiVA

fulltext(717 kB)415 downloads
File information
File name FULLTEXT01.pdfFile size 717 kBChecksum SHA-512
748a6e25d2cc5136a87796e4ac5673f04ff9b45c30ec7a16651579ae75a4a9307f72f1062553494c8c6216dcb4f4bdfb4db0815fdd695e87c92e739899ed4af2
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar
Total: 415 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
urn-nbn

Altmetric score

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