Sajed Miremadi, Knut Åkesson, Bengt Lennartson, Martin Fabian. Supervisor computation and representation: A case study. 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 275-280, International Federation of Automatic Control, 2010. [doi]
Abstract is missing.