Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering,Modeling and Simulation,Control and Systems Engineering
Reference35 articles.
1. Baeten JCM, Basten T, Reniers MA (2010) Process algebra: equational theories of communicating processes, cambridge tracts in theoretical computer science, vol 50. Cambridge University Press
2. Baeten JCM, van Beek DA, Luttik B, Markovski J, Rooda JE (2011) A process-theoretic approach to supervisory control theory. In: Proceedings of ACC 2011. IEEE, pp 4496–4501
3. Baier C, Katoen JP (2008) Principles of model checking. MIT Press
4. Barrett G, Lafortune S (1998) Bisimulation, the supervisory control problem and strong model matching for finite state machines. Discret Event Dyn Syst 8(4):377–429
5. Cassandras C, Lafortune S (2004) Introduction to discrete event systems. Kluwer Academic Publishers
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献