Game-based Synthesis of Distributed Controllers for Sampled Switched Systems

Authors Laurent Fribourg, Ulrich Kühne, Nicolas Markey



PDF
Thumbnail PDF

File

OASIcs.SynCoP.2015.48.pdf
  • Filesize: 0.62 MB
  • 15 pages

Document Identifiers

Author Details

Laurent Fribourg
Ulrich Kühne
Nicolas Markey

Cite As Get BibTex

Laurent Fribourg, Ulrich Kühne, and Nicolas Markey. Game-based Synthesis of Distributed Controllers for Sampled Switched Systems. In 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15). Open Access Series in Informatics (OASIcs), Volume 44, pp. 48-62, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015) https://doi.org/10.4230/OASIcs.SynCoP.2015.48

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.

Subject Classification

Keywords
  • Cyber-physical systems
  • controller synthesis
  • games
  • robustness
  • partial observation

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail