License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.FSFMA.2013.1
URN: urn:nbn:de:0030-drops-40836
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2013/4083/
Go to the corresponding OASIcs Volume Portal

Fribourg, Laurent

Control of Switching Systems by Invariance Analysis (Invited Talk)

pdf-format:
3.pdf (0.2 MB)

Abstract

Switched systems are embedded devices widespread in industrial applications such as power electronics and automotive control. They consist of continuous-time dynamical subsystems and a rule that controls the switching between them. Under a suitable control rule, the system can improve its steady-state performance and meet essential properties such as safety and stability in desirable operating zones. We explain that such controller synthesis problems are related to the construction of appropriate invariants of the state space, which approximate the limit sets of the system trajectories. We present a new approach of invariant construction based on a technique of state space decomposition interleaved with forward fixed point computation. The method is illustrated in a case study taken from the field of power electronics.

BibTeX - Entry

@InProceedings{fribourg:OASIcs:2013:4083,
  author =	{Laurent Fribourg},
  title =	{{Control of Switching Systems by Invariance Analysis (Invited Talk)}},
  booktitle =	{1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013)},
  pages =	{1--1},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-56-9},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{31},
  editor =	{Christine Choppy and Jun Sun},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2013/4083},
  URN =		{urn:nbn:de:0030-drops-40836},
  doi =		{10.4230/OASIcs.FSFMA.2013.1},
  annote =	{Keywords: Control theory, Hybrid systems, Safety, Stability}
}

Keywords: Control theory, Hybrid systems, Safety, Stability
Collection: 1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013)
Issue Date: 2013
Date of publication: 14.07.2013

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI