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
Compositional Abstraction and Safety Synthesis Using Overlapping Symbolic Models
KTH, School of Electrical Engineering and Computer Science (EECS), Automatic Control.
Univ Paris Sud, Lab Signaux & Systemes, CNRS, CentraleSupelec, F-91192 Gif Sur Yvette, France..ORCID iD: 0000-0002-4075-9041
Univ Grenoble, CNRS, GIPSA Lab, F-38000 Grenoble, France..
2018 (English)In: IEEE Transactions on Automatic Control, ISSN 0018-9286, E-ISSN 1558-2523, Vol. 63, no 6, p. 1835-1841Article in journal (Refereed) Published
Abstract [en]

In this paper, we develop a compositional approach to abstraction and safety synthesis for a general class of discrete-time nonlinear systems. Our approach makes it possible to define a symbolic abstraction by composing a set of symbolic subsystems that are overlapping in the sense that they can share some common state variables. We develop compositional safety synthesis techniques using such overlapping symbolic subsystems. Comparisons, in terms of conservativeness and of computational complexity, between abstractions and controllers obtained from different system decompositions are provided. Numerical experiments show that the proposed approach for symbolic control synthesis enables a significant complexity reduction with respect to the centralized approach, while reducing the conservatism with respect to compositional approaches using nonoverlapping subsystems.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers (IEEE), 2018. Vol. 63, no 6, p. 1835-1841
Keywords [en]
Automatic control, control design, formal verification, nonlinear control systems, scalability, temperature control
National Category
Control Engineering
Identifiers
URN: urn:nbn:se:kth:diva-230476DOI: 10.1109/TAC.2017.2753039ISI: 000433367600027OAI: oai:DiVA.org:kth-230476DiVA, id: diva2:1217645
Note

QC 20180613

Available from: 2018-06-13 Created: 2018-06-13 Last updated: 2018-06-19Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records BETA

Meyer, Pierre-Jean

Search in DiVA

By author/editor
Meyer, Pierre-JeanGirard, Antoine
By organisation
Automatic Control
In the same journal
IEEE Transactions on Automatic Control
Control Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

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