Sajed Miremadi, Zhennan Fei, Knut Åkesson, Bengt Lennartson. Symbolic computation of nonblocking control function for timed discrete event systems. In Proceedings of the 51th IEEE Conference on Decision and Control, CDC 2012, December 10-13, 2012, Maui, HI, USA. pages 7352-7359, IEEE, 2012. [doi]
@inproceedings{MiremadiFAL12,
title = {Symbolic computation of nonblocking control function for timed discrete event systems},
author = {Sajed Miremadi and Zhennan Fei and Knut Åkesson and Bengt Lennartson},
year = {2012},
doi = {10.1109/CDC.2012.6426079},
url = {http://dx.doi.org/10.1109/CDC.2012.6426079},
researchr = {https://researchr.org/publication/MiremadiFAL12},
cites = {0},
citedby = {0},
pages = {7352-7359},
booktitle = {Proceedings of the 51th IEEE Conference on Decision and Control, CDC 2012, December 10-13, 2012, Maui, HI, USA},
publisher = {IEEE},
isbn = {978-1-4673-2065-8},
}