Emil Dumitrescu, Mingming Ren, Laurent Piétrac, Éric Niel. A supervisor implementation approach in Discrete Controller Synthesis. In Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2008, September 15-18, 2008, Hamburg, Germany. pages 1433-1440, IEEE, 2008. [doi]
Abstract is missing.