caa a22 4500 445822708 CHVBK 20180317145249.0 cr unu---uuuuu 170323e20110901xx s 000 0 eng 10.1007/s10626-011-0106-y doi (NATIONALLICENCE)springer-10.1007/s10626-011-0106-y Decentralized Control of Infinite Systems [Elektronische Daten] [Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart] We propose algorithms for the synthesis of decentralized state-feedback controllers with partial observation of infinite state systems, which are modeled by Symbolic Transition Systems. We first consider the computation of safe controllers ensuring the avoidance of a set of forbidden states and then extend this result to the deadlock free case. The termination of the algorithms solving these problems is ensured by the use of abstract interpretation techniques, but at the price of overapproximations, in particular, in the computation of the states which must be avoided. We then extend our algorithms to the case where the system to be controlled is given by a collection of subsystems (modules). This structure is exploited to locally compute a controller for each module. Our tool SMACS gives an empirical evaluation of our methods by showing their feasibility, usability and efficiency. Springer Science+Business Media, LLC, 2011 Symbolic transition systems nationallicence Decentralized controller synthesis nationallicence Partial observation nationallicence Abstractinterpretation nationallicence Controller synthesis of modular systems nationallicence Kalyon Gabriel Université Libre de Bruxelles (U.L.B.), Campus de la Plaine, Bruxelles, Belgique aut Le Gall Tristan Université Libre de Bruxelles (U.L.B.), Campus de la Plaine, Bruxelles, Belgique aut Marchand Hervé INRIA, Centre Rennes - Bretagne Atlantique, Bretagne, France aut Massart Thierry Université Libre de Bruxelles (U.L.B.), Campus de la Plaine, Bruxelles, Belgique aut Discrete Event Dynamic Systems Springer US; http://www.springer-ny.com 21/3(2011-09-01), 359-393 0924-6703 21:3<359 2011 21 10626 https://doi.org/10.1007/s10626-011-0106-y text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s10626-011-0106-y text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Kalyon Gabriel Université Libre de Bruxelles (U.L.B.), Campus de la Plaine, Bruxelles, Belgique aut NATIONALLICENCE 700 1- Le Gall Tristan Université Libre de Bruxelles (U.L.B.), Campus de la Plaine, Bruxelles, Belgique aut NATIONALLICENCE 700 1- Marchand Hervé INRIA, Centre Rennes - Bretagne Atlantique, Bretagne, France aut NATIONALLICENCE 700 1- Massart Thierry Université Libre de Bruxelles (U.L.B.), Campus de la Plaine, Bruxelles, Belgique aut NATIONALLICENCE 773 0- Discrete Event Dynamic Systems Springer US; http://www.springer-ny.com 21/3(2011-09-01), 359-393 0924-6703 21:3<359 2011 21 10626 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer