TY - RPRT TI - Supervisory Control Synthesis of Discrete-Event Systems using Coordination Scheme AU - Jan Komenda AU - Tomas Masopust AU - Jan H. van Schuppen PY - 2010 DO - 10.1016/j.automatica.2011.07.008 UR - https://arxiv.org/abs/1007.2707 ID - 1007.2707 ER -