The following publications are possibly variants of this publication:
- Abstractions for nonblocking supervisory control of Extended Finite AutomataMohammad Reza Shoaei, Lei Feng, Bengt Lennartson. case 2012: 364-370 [doi]
- Supervisory control of extended finite automata using transition projectionMohammad Reza Shoaei, Lei Feng, Bengt Lennartson. cdc 2012: 7259-7266 [doi]
- Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite AutomataLucien Ouedraogo, Ratnesh Kumar, Robi Malik, Knut Åkesson. tase, 8(3):560-569, 2011. [doi]
- A BDD-Based Approach for Modeling Plant and Supervisor by Extended Finite AutomataSajed Miremadi, Bengt Lennartson, Knut Åkesson. tcst, 20(6):1421-1435, 2012. [doi]