Limited lookahead policies in supervisory control of discrete event systems

This publication has 25 references indexed in Scilit:

• Using predicate transformers for supervisory control
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Control of discrete event systems modeled as hierarchical state machines
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Supervisory design using Petri nets
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Observability of discrete event dynamic systems
  IEEE Transactions on Automatic Control, 1990
• Concurrency and discrete event control
  IEEE Control Systems Magazine, 1990
• COCOLOG: a conditional observer and controller logic for finite machines
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1990
• On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation
  Mathematics of Control, Signals, and Systems, 1989
• Finitely recursive process models for discrete event systems
  IEEE Transactions on Automatic Control, 1988
• Modular supervisory control of discrete-event systems
  Mathematics of Control, Signals, and Systems, 1988
• Supervisory Control of a Class of Discrete Event Processes
  SIAM Journal on Control and Optimization, 1987