Author:
Jirásková Galina,Masopust Tomáš
Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. Cassandras, C.G., Lafortune, S.: Introduction to discrete event systems, 2nd edn. Springer, Heidelberg (2008)
2. Chrobak, M.: Finite automata and unary languages. Theoret. Comput. Sci. 47(2), 149–158 (1986); Errata: Theoret. Comput. Sci. 302, 497–498 (2003)
3. Feng, L., Wonham, W.M.: Computationally efficient supervisor design: Abstraction and modularity. In: Proc. of WODES 2006, Ann Arbor, USA, pp. 3–8 (2006)
4. Feng, L., Wonham, W.M.: On the computation of natural observers in discrete-event systems. Discrete Event Dyn. Syst. 20, 63–102 (2010)
5. Flordal, H., Malik, R.: Compositional verification in supervisory control. SIAM J. Control Optim. 48(3), 1914–1938 (2009)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献