On closed-loop liveness of discrete-event systems under maximally permissive control

This publication has 9 references indexed in Scilit:

• Strict concurrency and nondeterministic control of discrete-event systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• On closed-loop liveness of discrete event systems under maximally permissive control
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Synthesis of feedback control logic for discrete manufacturing systems
  Automatica, 1991
• Synthesis of feedback control logic for a class of controlled Petri nets
  IEEE Transactions on Automatic Control, 1990
• Petri nets: Properties, analysis and applications
  Proceedings of the IEEE, 1989
• Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
  IEEE Transactions on Automatic Control, 1989
• Supervisory control of discrete-event processes with partial observations
  IEEE Transactions on Automatic Control, 1988
• Modular Feedback Logic for Discrete Event Systems
  SIAM Journal on Control and Optimization, 1987
• Supervisory Control of a Class of Discrete Event Processes
  SIAM Journal on Control and Optimization, 1987