Philippe Darondeau, Jérémy Dubreil, Hervé Marchand. Supervisory control for modal specifications of services. 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 418-425, International Federation of Automatic Control, 2010. [doi]
Abstract is missing.