Benoit Gaudin, Hervé Marchand. Supervisory Control and Deadlock Avoidance Control Problem for Concurrent Discrete Event Systems.
44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, Dec 2005, Seville, Spain. pp.2763-2768.
⟨inria-00483911⟩