Non-blocking supervisory control of nondeterministic discrete event systems

This publication has 10 references indexed in Scilit:

• The supervisory control of timed discrete-event systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• Supervisory Control of Nondeterministic Systems with Driven Events via Prioritized Synchronization and Trajectory Models
  SIAM Journal on Control and Optimization, 1995
• Supervisory control of a rapid thermal multiprocessor
  IEEE Transactions on Automatic Control, 1993
• On controllability and normality of discrete event dynamical systems
  Systems & Control Letters, 1991
• Concurrency and discrete event control
  IEEE Control Systems Magazine, 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
• Refusal testing
  Theoretical Computer Science, 1987
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980