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
Temporal logic control of switched affine systems with an application in fuel balancing
KTH.
2012 (English)In: 2012 American Control Conference (ACC), IEEE Computer Society, 2012, 5302-5309 p.Conference paper, Published paper (Refereed)
Abstract [en]

We consider the problem of synthesizing hierarchical controllers for discrete-time switched affine systems subject to exogenous disturbances that guarantee that the trajectories of the system satisfy a high-level specification expressed as a linear temporal logic formula. Our method builds upon recent results on temporal logic planning and embedded controller synthesis. First, the control problem is lifted to a discrete level by constructing a finite transition system that abstracts the behavior of the underlying switched system. At the discrete level, we recast the problem as a two player temporal logic game by treating the environment driven switches as adversaries. The solution strategy for the game (i.e. the discrete plan) is then implemented at the continuous level by solving finite-horizon optimal control problems that establish reachability between discrete states and that compensate the effects of continuous disturbances. We also extend the earlier work by making efficient use of propositions in the temporal logic formula to drive the abstraction procedure and to facilitate the computation of continuous input at implementation time. An aircraft fuel system example is formulated; and solved using the proposed method. This sample problem demonstrates the applicability of the abstraction procedure and correct-by-construction controllers to regulate the fuel levels in multiple tanks during interesting operations like aerial refueling.

Place, publisher, year, edition, pages
IEEE Computer Society, 2012. 5302-5309 p.
Series
Proceedings of the American Control Conference, ISSN 0743-1619
Keyword [en]
Aerial refueling, Continuous input, Control problems, Correct-by-construction, Discrete levels, Discrete state, Embedded controllers, Exogenous disturbances, Fuel levels, Hierarchical controllers, High level specification, Linear temporal logic, Optimal control problem, Reachability, Solution strategy, Switched affine systems, Switched system, Temporal logic formula, Transition system, Abstracting, Optimal control systems, Temporal logic
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:kth:diva-108001ISI: 000310776205100Scopus ID: 2-s2.0-84869412402ISBN: 978-145771095-7 (print)OAI: oai:DiVA.org:kth-108001DiVA: diva2:580250
Conference
2012 American Control Conference, ACC 2012, 27 June 2012 through 29 June 2012, Montreal, QC
Note

QC 20121221

Available from: 2012-12-21 Created: 2012-12-19 Last updated: 2013-01-14Bibliographically approved

Open Access in DiVA

No full text

Scopus

Search in DiVA

By author/editor
Nilsson, Petter
By organisation
KTH
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
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