Hongwei Liao, Stéphane Lafortune, Spyros A. Reveliotis, Yin Wang, Scott A. Mahlke. Synthesis of maximally-permissive liveness-enforcing control policies for Gadara petri nets. In Proceedings of the 49th IEEE Conference on Decision and Control, CDC 2010, December 15-17, 2010, Atlanta, Georgia, USA. pages 2797-2804, IEEE, 2010. [doi]
@inproceedings{LiaoLRWM10,
title = {Synthesis of maximally-permissive liveness-enforcing control policies for Gadara petri nets},
author = {Hongwei Liao and Stéphane Lafortune and Spyros A. Reveliotis and Yin Wang and Scott A. Mahlke},
year = {2010},
doi = {10.1109/CDC.2010.5716934},
url = {http://dx.doi.org/10.1109/CDC.2010.5716934},
researchr = {https://researchr.org/publication/LiaoLRWM10},
cites = {0},
citedby = {0},
pages = {2797-2804},
booktitle = {Proceedings of the 49th IEEE Conference on Decision and Control, CDC 2010, December 15-17, 2010, Atlanta, Georgia, USA},
publisher = {IEEE},
}