A reachability synthesis procedure for discrete event systems in a temporal logic framework

This publication has 18 references indexed in Scilit:

• Proving precedence properties: The temporal way
  Published by Springer Nature ,2006
• Analysis and synthesis of discrete event systems using temporal logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Induction of decision making rules for context sensitive systems
  SIMULATION, 1992
• Verifying a class of nondeterministic discrete event systems in a generalized temporal logic
  IEEE Transactions on Systems, Man, and Cybernetics, 1992
• Asymptotic behaviour of output feedback for a class of non-deterministic discrete event systems
  International Journal of Control, 1991
• Decidability for a temporal logic used in discrete-event system analysis
  International Journal of Control, 1990
• A generalized temporal logic approach for control problems of a class of nondeterministic discrete event systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1990
• Finitely recursive process models for discrete event systems
  IEEE Transactions on Automatic Control, 1988
• A Control Theory for Discrete-Event Systems
  Published by Springer Nature ,1988
• A Petri-net Approach to the Control of Discrete-event Systems
  Published by Springer Nature ,1988