Game-based synthesis of distributed controllers for sampled switched systems

Laurent Fribourg, Ulrich Kühne, Nicolas Markey

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Switched systems are a convenient formalism for modeling physical processes interacting with a digital controller. Unfortunately, the formalism does not capture the distributed nature encountered e.g. in cyber-physical systems, which are organized as networks of elements interacting with local controllers. Most current methods for control synthesis can only produce a centralized controller, which is assumed to have complete knowledge of all the component states and can interact with all of them. In this paper, we consider a centralized-controller synthesis technique based on state-space decomposition, and use a game-based approach to extend it to a distributed framework.

Original languageEnglish
Title of host publication2nd International Workshop on Synthesis of Complex Parameters, SynCoP 2015
EditorsEtienne Andre, Goran Frehse
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Pages48-62
Number of pages15
ISBN (Electronic)9783939897828
DOIs
Publication statusPublished - 1 Nov 2015
Externally publishedYes
Event2nd International Workshop on Synthesis of Complex Parameters, SynCoP 2015 - London, United Kingdom
Duration: 11 Apr 2015 → …

Publication series

NameOpenAccess Series in Informatics
Volume44
ISSN (Print)2190-6807

Conference

Conference2nd International Workshop on Synthesis of Complex Parameters, SynCoP 2015
Country/TerritoryUnited Kingdom
CityLondon
Period11/04/15 → …

Keywords

  • Controller synthesis
  • Cyber-physical systems
  • Games
  • Partial observation
  • Robustness

Fingerprint

Dive into the research topics of 'Game-based synthesis of distributed controllers for sampled switched systems'. Together they form a unique fingerprint.

Cite this