@article{belhajseboui:hal-00784991, TITLE = {{An approach for the synthesis of decentralised supervisors for distributed adaptive systems}}, AUTHOR = {Belhaj Seboui, Amine and Ben Hadj-Alouane, Nejib and Delaval, Gwena{\"e}l and Rutten, Eric and Yeddes, Moez}, URL = {https://inria.hal.science/hal-00784991}, JOURNAL = {{International Journal of Critical Computer-Based Systems}}, PUBLISHER = {{Inderscience}}, SERIES = {Special Issue on Verification and Evaluation of Computer and Communication Systems - Part I}, VOLUME = {2}, NUMBER = {3/4}, PAGES = {246-265}, YEAR = {2011}, DOI = {10.1504/IJCCBS.2011.042328}, KEYWORDS = {decentralised control ; distributed control ; discrete event systems ; DES ; control synthesis ; supervisory control ; reactive systems ; synchronous programming ; adaptive systems ; I/O automata ; event guards ; finite state machines ; modelling}, HAL_ID = {hal-00784991}, HAL_VERSION = {v1}, }