Sajed Miremadi, Bengt Lennartson, Knut Åkesson. A BDD-Based Approach for Modeling Plant and Supervisor by Extended Finite Automata. IEEE Trans. Contr. Sys. Techn., 20(6):1421-1435, 2012. [doi]
@article{MiremadiLA12, title = {A BDD-Based Approach for Modeling Plant and Supervisor by Extended Finite Automata}, author = {Sajed Miremadi and Bengt Lennartson and Knut Åkesson}, year = {2012}, doi = {10.1109/TCST.2011.2167150}, url = {http://dx.doi.org/10.1109/TCST.2011.2167150}, researchr = {https://researchr.org/publication/MiremadiLA12}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Contr. Sys. Techn.}, volume = {20}, number = {6}, pages = {1421-1435}, }