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
An iterative abstraction algorithm for reactive correct-by-construction controller synthesis
KTH, School of Electrical Engineering (EES), Automatic Control.
2016 (English)In: Proceedings of the IEEE Conference on Decision and Control, IEEE conference proceedings, 2016, 6147-6152 p.Conference paper, Published paper (Refereed)
Resource type
Text
Abstract [en]

In this paper, we consider the problem of synthesizing correct-by-construction controllers for discrete-time dynamical systems. A commonly adopted approach in the literature is to abstract the dynamical system into a Finite Transition System (FTS) and thus convert the problem into a two player game between the environment and the system on the FTS. The controller design problem can then be solved using synthesis tools for general linear temporal logic or generalized reactivity(1) specifications. In this article, we propose a new abstraction algorithm. Instead of generating a single FTS to represent the system, we generate two FTSs, which are under- and over-approximations of the original dynamical system. We further develop an iterative abstraction scheme by exploiting the concept of winning sets, i.e., the sets of states for which there exists a winning strategy for the system. Finally, the efficiency of the new abstraction algorithm is illustrated by numerical examples.

Place, publisher, year, edition, pages
IEEE conference proceedings, 2016. 6147-6152 p.
Keyword [en]
Aerospace electronics, Autonomous automobiles, Complexity theory, Computational modeling, Control systems, Heuristic algorithms, Partitioning algorithms
National Category
Control Engineering
Identifiers
URN: urn:nbn:se:kth:diva-188272DOI: 10.1109/CDC.2015.7403186ISI: 000381554506055Scopus ID: 2-s2.0-84962020091ISBN: 9781479978861 (print)OAI: oai:DiVA.org:kth-188272DiVA: diva2:937323
Conference
54th IEEE Conference on Decision and Control, CDC 2015, 15 December 2015 through 18 December 2015
Note

QC 20160615

Available from: 2016-06-15 Created: 2016-06-09 Last updated: 2016-12-20Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopushttp://cdc2015.ieeecss.org/

Search in DiVA

By author/editor
Mattila, Robert
By organisation
Automatic Control
Control Engineering

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 4 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