Control of discrete event systems modeled as hierarchical state machines

This publication has 7 references indexed in Scilit:

• Reachability in discrete event systems modeled as hierarchical state machines
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• On optimal attraction in discrete-event processes
  Information Sciences, 1993
• Concurrency and discrete event control
  IEEE Control Systems Magazine, 1990
• Synthesis of feedback control logic for a class of controlled Petri nets
  IEEE Transactions on Automatic Control, 1990
• Stabilization of discrete-event processes
  International Journal of Control, 1990
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• Supervisory Control of a Class of Discrete Event Processes
  SIAM Journal on Control and Optimization, 1987