Sahar Mohajerani, Robi Malik, Martin Fabian. Compositional synthesis of supervisors in the form of state machines and state maps. Automatica, 76:277-281, 2017. [doi]
@article{MohajeraniMF17, title = {Compositional synthesis of supervisors in the form of state machines and state maps}, author = {Sahar Mohajerani and Robi Malik and Martin Fabian}, year = {2017}, doi = {10.1016/j.automatica.2016.10.012}, url = {http://dx.doi.org/10.1016/j.automatica.2016.10.012}, researchr = {https://researchr.org/publication/MohajeraniMF17}, cites = {0}, citedby = {0}, journal = {Automatica}, volume = {76}, pages = {277-281}, }