Jérémy Dubreil, Philippe Darondeau, Hervé Marchand. Supervisory Control for Opacity. IEEE Trans. Automat. Contr., 55(5):1089-1100, 2010. [doi]
@article{DubreilDM10, title = {Supervisory Control for Opacity}, author = {Jérémy Dubreil and Philippe Darondeau and Hervé Marchand}, year = {2010}, doi = {10.1109/TAC.2010.2042008}, url = {http://dx.doi.org/10.1109/TAC.2010.2042008}, researchr = {https://researchr.org/publication/DubreilDM10}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Automat. Contr.}, volume = {55}, number = {5}, pages = {1089-1100}, }