Game-based Synthesis of Distributed Controllers for Sampled Switched Systems

Laurent Fribourg, Ulrich Kühne, Nicolas Markey. Game-based Synthesis of Distributed Controllers for Sampled Switched Systems. In Étienne André, Goran Frehse, editors, 2nd International Workshop on Synthesis of Complex Parameters, SynCoP 2015, April 11, 2015, London, United Kingdom. Volume 44 of OASICS, pages 48-62, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]

Abstract

Abstract is missing.