Patrik Magnusson, Martin Fabian, Knut Åkesson. Modular specification of forbidden states for supervisory control. In Jörg Raisch, Alessandro Giua, Stéphane Lafortune, Thomas Moor, editors, 10th International Workshop on Discrete Event Systems, WODES 2010, Berlin, Germany, August 30 - September 01, 2010. pages 412-417, International Federation of Automatic Control, 2010. [doi]
@inproceedings{MagnussonFA10,
title = {Modular specification of forbidden states for supervisory control},
author = {Patrik Magnusson and Martin Fabian and Knut Åkesson},
year = {2010},
doi = {10.3182/20100830-3-DE-4013.00068},
url = {http://dx.doi.org/10.3182/20100830-3-DE-4013.00068},
researchr = {https://researchr.org/publication/MagnussonFA10},
cites = {0},
citedby = {0},
pages = {412-417},
booktitle = {10th International Workshop on Discrete Event Systems, WODES 2010, Berlin, Germany, August 30 - September 01, 2010},
editor = {Jörg Raisch and Alessandro Giua and Stéphane Lafortune and Thomas Moor},
publisher = {International Federation of Automatic Control},
isbn = {978-3-902661-79-1},
}