2026-08-11T18:45:03Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:5609 2024-03-06T10:29:42Z ddc:004 open_access

Game-based Synthesis of Distributed Controllers for Sampled Switched Systems Fribourg, Laurent Kühne, Ulrich Markey, Nicolas Cyber-physical systems controller synthesis games robustness partial observation 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Laurent Fribourg and Ulrich Kühne and Nicolas Markey 2015 Is Part Of OASIcs, Volume 44, 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15) (2015) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.SynCoP.2015.48 urn:nbn:de:0030-drops-56091 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SynCoP.2015.48 eng https://creativecommons.org/licenses/by/3.0/legalcode