Supervisory control of nondeterministic systems under partial observation

This publication has 13 references indexed in Scilit:

• Supervisory Control of Nondeterministic Systems with Driven Events via Prioritized Synchronization and Trajectory Models
  SIAM Journal on Control and Optimization, 1995
• Dealing with blocking in supervisory control of discrete-event systems
  IEEE Transactions on Automatic Control, 1991
• Concurrency and discrete event control
  IEEE Control Systems Magazine, 1990
• The control of discrete event systems
  Proceedings of the IEEE, 1989
• Algebras of discrete event models
  Proceedings of the IEEE, 1989
• Finitely recursive process models for discrete event systems
  IEEE Transactions on Automatic Control, 1988
• On observability of discrete-event systems
  Information Sciences, 1988
• Supervisory control of discrete-event processes with partial observations
  IEEE Transactions on Automatic Control, 1988
• Control of discrete event processes with forced events
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1987
• Refusal testing
  Theoretical Computer Science, 1987