Yu Ru, Maria Paola Cabasino, Alessandro Giua, Christoforos N. Hadjicostis. Supervisor synthesis for discrete event systems with arbitrary forbidden state specifications. In Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, México. pages 1048-1053, IEEE, 2008. [doi]
@inproceedings{RuCGH08,
title = {Supervisor synthesis for discrete event systems with arbitrary forbidden state specifications},
author = {Yu Ru and Maria Paola Cabasino and Alessandro Giua and Christoforos N. Hadjicostis},
year = {2008},
doi = {10.1109/CDC.2008.4739115},
url = {http://dx.doi.org/10.1109/CDC.2008.4739115},
researchr = {https://researchr.org/publication/RuCGH08},
cites = {0},
citedby = {0},
pages = {1048-1053},
booktitle = {Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, México},
publisher = {IEEE},
}