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
Synthesis of Correct-by-construction Control Protocols for Hybrid Systems Using Partial State Information
KTH, School of Engineering Sciences (SCI), Applied Physics, Cell Physics.
2014 (English)In: 2014 American Control Conference (ACC), Institute of Electrical and Electronics Engineers (IEEE), 2014, 2305-2311 p., 6859229Conference paper, Published paper (Refereed)
Abstract [en]

This paper considers the problem of synthesizing output-feedback control laws for a class of discrete-time hybrid systems in order for the trajectories of the system to satisfy certain high-level specifications expressed in linear temporal logic. By leveraging ideas from robust interpretation of temporal logic formulas and bounded-error estimation, we identify a subclass of systems for which it is possible to reduce the problem to a state-feedback form. In particular, we use locally superstable hybrid observers to resolve the partial information at the continuous level. This allows us to use recent results in temporal logic planning to synthesize the desired controllers based on two-player perfect-information games. The overall control architecture consists of a hybrid observer, a highlevel switching protocol and a low-level continuous controller. We demonstrate the proposed framework in a case study on designing control protocols for an aircraft air management system.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers (IEEE), 2014. 2305-2311 p., 6859229
Series
Proceedings of the American Control Conference, ISSN 0743-1619
National Category
Control Engineering
Identifiers
URN: urn:nbn:se:kth:diva-162012DOI: 10.1109/ACC.2014.6859229ISI: 000346492602141Scopus ID: 2-s2.0-84905674365ISBN: 978-1-4799-3274-0 (print)OAI: oai:DiVA.org:kth-162012DiVA: diva2:798709
Conference
2014 American Control Conference, ACC 2014, Portland, OR, United States, 4 June 2014 through 6 June 2014
Note

QC 20150327

Available from: 2015-03-27 Created: 2015-03-20 Last updated: 2017-01-13Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Mickelin, Oscar
By organisation
Cell Physics
Control Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

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