Supervisory control of extended finite automata using transition projection - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Mohammad Reza Shoaei, Lei Feng, Bengt Lennartson. Supervisory control of extended finite automata using transition projection. In Proceedings of the 51th IEEE Conference on Decision and Control, CDC 2012, December 10-13, 2012, Maui, HI, USA. pages 7259-7266, IEEE, 2012. [doi]

The following publications are possibly variants of this publication:

BDD-based supervisory control on extended finite automataSajed Miremadi, Bengt Lennartson, Knut Åkesson. case 2011: 25-31 [doi]

Abstractions for nonblocking supervisory control of Extended Finite AutomataMohammad Reza Shoaei, Lei Feng, Bengt Lennartson. case 2012: 364-370 [doi]

runs on WebDSL