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
Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings
KTH.
CALTECH, Pasadena, CA 91125 USA..
Univ Michigan, Ann Arbor, MI 48109 USA..
2018 (English)In: IFAC PAPERSONLINE, Elsevier, 2018, Vol. 51, no 16, p. 19-24Conference paper, Published paper (Refereed)
Abstract [en]

This paper presents a control synthesis algorithm for dynamical systems to satisfy specifications given in a fragment of linear temporal logic. It is based on an abstraction-refinement scheme with nonuniform partitions of the state space. A novel encoding of the resulting transition system is proposed that uses binary decision diagrams for efficiency. We discuss several factors affecting scalability and present some benchmark results demonstrating the effectiveness of the new encodings. These ideas are also being implemented on a publicly available prototype tool, ARCS, that we briefly introduce in the paper.

Place, publisher, year, edition, pages
Elsevier, 2018. Vol. 51, no 16, p. 19-24
Keywords [en]
Control synthesis, abstraction-refinement
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:kth:diva-235159DOI: 10.1016/j.ifacol.2018.08.004ISI: 000443322400005Scopus ID: 2-s2.0-85052618207OAI: oai:DiVA.org:kth-235159DiVA, id: diva2:1249775
Conference
6th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS) / Federated Logic Conferences (FLOC), JUL 06-19, 2018, Univ Oxford, Dept Comp Sci, Oxford, ENGLAND
Note

QC 20180920

Available from: 2018-09-20 Created: 2018-09-20 Last updated: 2018-10-16Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Bulancea Lindvall, Oscar
By organisation
KTH
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

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