The supervisory control of timed discrete-event systems

This publication has 8 references indexed in Scilit:

• The supervisory control of timed discrete-event systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• Formulation and control of real time discrete event processes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Manufacturing cell supervisory control-a timed discrete event system approach
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Deciding properties of timed transition models
  IEEE Transactions on Parallel and Distributed Systems, 1990
• A framework for real-time discrete event control
  IEEE Transactions on Automatic Control, 1990
• The control of discrete event systems
  Proceedings of the IEEE, 1989
• Control of discrete event processes with forced events
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1987
• Supervisory Control of a Class of Discrete Event Processes
  SIAM Journal on Control and Optimization, 1987