Anne-Kathrin Schmuck, Sven Schneider, Jörg Raisch, Uwe Nestmann. Extending Supervisory Controller Synthesis to Deterministic Pushdown Automata - Enforcing Controllability Least Restrictively. In Jean-Jacques Lesage, Jean-Marc Faure, José E. R. Cury, Bengt Lennartson, editors, 12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014. pages 286-293, International Federation of Automatic Control, 2014. [doi]
@inproceedings{SchmuckSRN14,
title = {Extending Supervisory Controller Synthesis to Deterministic Pushdown Automata - Enforcing Controllability Least Restrictively},
author = {Anne-Kathrin Schmuck and Sven Schneider and Jörg Raisch and Uwe Nestmann},
year = {2014},
doi = {10.3182/20140514-3-FR-4046.00058},
url = {http://dx.doi.org/10.3182/20140514-3-FR-4046.00058},
researchr = {https://researchr.org/publication/SchmuckSRN14},
cites = {0},
citedby = {0},
pages = {286-293},
booktitle = {12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014},
editor = {Jean-Jacques Lesage and Jean-Marc Faure and José E. R. Cury and Bengt Lennartson},
publisher = {International Federation of Automatic Control},
isbn = {978-3-902823-61-8},
}