Controllers for discrete event systems via morphisms

This publication has 10 references indexed in Scilit:

• Supervisory control of nondeterministic systems under partial observation
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Supervisory control using failure semantics and partial specifications
  IEEE Transactions on Automatic Control, 1997
• Hierarchical control of discrete-event systems
  Discrete Event Dynamic Systems, 1996
• Forward and Backward Simulations
  Information and Computation, 1995
• Symbolic controller synthesis for discrete and timed systems
  Published by Springer Nature ,1995
• Modeling and Control of Logical Discrete Event Systems
  Published by Springer Nature ,1995
• On controllability and normality of discrete event dynamical systems
  Systems & Control Letters, 1991
• On the synthesis of a reactive module
  Published by Association for Computing Machinery (ACM) ,1989
• The control of discrete event systems
  Proceedings of the IEEE, 1989
• Solving Sequential Conditions by Finite-State Strategies
  Transactions of the American Mathematical Society, 1969