Game-based Synthesis of Distributed Controllers for Sampled Switched Systems
Laurent Fribourg, Ulrich Kühne, Nicolas Markey · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015
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.