On the supremal controllable sublanguage in the discrete-event model of nondeterministic hybrid control systems

This publication has 18 references indexed in Scilit:

• Strict concurrency and nondeterministic control of discrete-event systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Supervisory control of nondeterministic discrete event dynamical systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A necessary and sufficient condition for the existence of finite state supervisors in discrete-event systems
  IEEE Transactions on Automatic Control, 1993
• Invertibility of Discrete-Event Dynamic Systems
  Mathematics of Control, Signals, and Systems, 1992
• Formulas for calculating supremal controllable and normal sublanguages
  Systems & Control Letters, 1990
• On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation
  Mathematics of Control, Signals, and Systems, 1989
• 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
• Supervisory Control of a Class of Discrete Event Processes
  SIAM Journal on Control and Optimization, 1987
• Observability of discrete event systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1986