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
Compositional abstraction refinement for control synthesis under lasso-shaped specifications
KTH, School of Electrical Engineering (EES), Automatic Control.ORCID iD: 0000-0002-8167-3156
KTH, School of Electrical Engineering (EES), Centres, ACCESS Linnaeus Centre. KTH, School of Electrical Engineering (EES), Automatic Control.
2017 (English)In: American Control Conference (ACC), 2017, 2017Conference paper, Published paper (Refereed)
Abstract [en]

This paper presents a compositional approach to specification-guided abstraction refinement for control synthesis of a nonlinear system associated with a method to over-approximate its reachable sets. The control specification consists in following a lasso-shaped sequence of regions of the state space. The dynamics are decomposed into subsystems with partial control, partial state observation and possible overlaps between their respective observed state spaces. A finite abstraction is created for each subsystem through a refinement procedure, which starts from a coarse partition of the state space and then proceeds backwards on the lasso sequence to iteratively split the elements of the partition whose coarseness prevents the satisfaction of the specification. The composition of the local controllers obtained for each subsystem is proved to enforce the desired specification on the original system. This approach is illustrated in a nonlinear numerical example.

Place, publisher, year, edition, pages
2017.
National Category
Control Engineering
Identifiers
URN: urn:nbn:se:kth:diva-211181DOI: 10.23919/ACC.2017.7963006Scopus ID: 2-s2.0-85027059445OAI: oai:DiVA.org:kth-211181DiVA: diva2:1127995
Conference
American Control Conference,May 24–26, Seattle, WA, USA
Note

QC 20170802

Available from: 2017-07-20 Created: 2017-07-20 Last updated: 2017-10-23Bibliographically approved

Open Access in DiVA

fulltext(802 kB)12 downloads
File information
File name FULLTEXT01.pdfFile size 802 kBChecksum SHA-512
35f35b98718c60608deb1d3bdd03168c73479edc826afa5aa79a37da888243bdd54d9944bb2ca277c98f8ef6bdcfe739b09efa0af6fb2cd70d179e84044bcc9d
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopusConference website

Search in DiVA

By author/editor
Meyer, Pierre-JeanDimarogonas, Dimos V.
By organisation
Automatic ControlACCESS Linnaeus Centre
Control Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 12 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: 56 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