Benoit Gaudin, Hervé Marchand. Supervisory Control and Deadlock Avoidance Control Problem for Concurrent Discrete Event Systems. In 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, CDC/ECC 2005, Seville, Spain, 12-15 December, 2005. pages 2763-2768, IEEE, 2005. [doi]
Abstract is missing.