Change search
ReferencesLink to record
Permanent link

Direct link
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)Article in journal (Refereed) Published
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
National Category
Control Engineering
URN: urn:nbn:se:kth:diva-162012DOI: 10.1109/ACC.2014.6859229ISI: 000346492602141ScopusID: 2-s2.0-84905674365ISBN: 978-1-4799-3274-0OAI: diva2:798709
American Control Conference, DEC 04-06, 2014, Portland, OR

QC 20150327

Available from: 2015-03-27 Created: 2015-03-20 Last updated: 2015-03-27Bibliographically 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
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

Altmetric score

Total: 31 hits
ReferencesLink to record
Permanent link

Direct link