Synthesis of Safe Sublanguages satisfying Global Specification using Coordination Scheme for Discrete-Event Systems

KOMENDA, J., MASOPUST, T., VAN SCHUPPEN, J. H. Synthesis of Safe Sublanguages satisfying Global Specification using Coordination Scheme for Discrete-Event Systems. In: RAISCH, J., GIUA, A., LAFORTUNE, S., MOOR, T., eds. Proceedings of the 10th International Workshop on Discrete Event Systems (WODES 2010). Berlin: The International Federation of Automatic Control, 2010, s. 436-441. ISBN 978-3-902661-79-1. Dostupné z: doi: 10.3182/20100830-3-DE-4013.00070.