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
Abstraction refinement and plan revision for control synthesis under high level specifications
KTH, School of Electrical Engineering (EES), Automatic Control. KTH, School of Electrical Engineering (EES), Centres, ACCESS Linnaeus Centre.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)Conference paper, Published paper (Refereed)
Abstract [en]

This paper presents a novel framework combining abstraction renement and plan revision for control synthesis problems under temporal logic specications. The control problem is first solved on a simpler nominal model in order to obtain a satisfying plan to be followed by the real system. A controller synthesis is then attempted for an abstraction of the real system to follow this plan. Upon failure of this synthesis, cost functions are dened to guide towards either refining the initially coarse partition to obtain a ner abstraction, or looking for an alternative plan using the nominal model as above. This tentative synthesis is then repeated until a plan and an abstraction of the real system able to follow this plan are found. The obtained controller also ensures that the real system satises the initial specication. A numerical example is provided to illustrate this framework.

Place, publisher, year, edition, pages
IFAC Papers Online, 2017.
National Category
Control Engineering
Identifiers
URN: urn:nbn:se:kth:diva-211182OAI: oai:DiVA.org:kth-211182DiVA: diva2:1127997
Conference
IFAC World Congress, 9-14 July 2017, Toulouse, France
Note

Qc 20170810

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

Open Access in DiVA

fulltext(394 kB)17 downloads
File information
File name FULLTEXT01.pdfFile size 394 kBChecksum SHA-512
d56492943f0d8b0530dde695236092a15454aec3e7126942e8693ca144312456e9e966383e99a77b51b0006750f74a633bd99c068c60547ff6ae2b9eb0028778
Type fulltextMimetype application/pdf

Other links

Conference 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: 17 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

urn-nbn

Altmetric score

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