Rong Su. Abstraction-based synthesis of timed supervisors for time-weighted systems. In Antonio Ramírez-Treviño, Ernesto López-Mellado, Jean-Jacques Lesage, Manuel Silva, editors, 11th International Workshop on Discrete Event Systems, WODES 2012, Guadalajara, Mexico, October 3-5, 2012. pages 128-134, International Federation of Automatic Control, 2012. [doi]
@inproceedings{Su12-10,
title = {Abstraction-based synthesis of timed supervisors for time-weighted systems},
author = {Rong Su},
year = {2012},
doi = {10.3182/20121003-3-MX-4033.00024},
url = {http://dx.doi.org/10.3182/20121003-3-MX-4033.00024},
researchr = {https://researchr.org/publication/Su12-10},
cites = {0},
citedby = {0},
pages = {128-134},
booktitle = {11th International Workshop on Discrete Event Systems, WODES 2012, Guadalajara, Mexico, October 3-5, 2012},
editor = {Antonio Ramírez-Treviño and Ernesto López-Mellado and Jean-Jacques Lesage and Manuel Silva},
publisher = {International Federation of Automatic Control},
isbn = {978-3-902823-28-1},
}