Synthesis of Safe Sublanguages satisfying Global Specification using Coordination Scheme for Discrete-Event Systems
Komenda, Jan, Masopust, Tomáš, van Schuppen, Jan H.Volume:
43
Year:
2010
Language:
english
Journal:
IFAC Proceedings Volumes
DOI:
10.3182/20100830-3-de-4013.00070
File:
PDF, 157 KB
english, 2010