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]
Abstract is missing.