Verifying a class of nondeterministic discrete event systems in a generalized temporal logic

This publication has 14 references indexed in Scilit:

• Discrete event systems with stochastic processing times
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Asymptotic behaviour of output feedback for a class of non-deterministic discrete event systems
  International Journal of Control, 1991
• 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
• Supervisory control of discrete-event processes with partial observations
  IEEE Transactions on Automatic Control, 1988
• A Petri-net Approach to the Control of Discrete-event Systems
  Published by Springer Nature ,1988
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• A linear-system-theoretic view of discrete-event processes and its use for performance evaluation in manufacturing
  IEEE Transactions on Automatic Control, 1985
• Infinitesimal and finite perturbation analysis for queueing networks
  Automatica, 1983
• Reasoning with time and chance
  Information and Control, 1982
• A Boolean Model for a Class of Discrete Event Systems
  IEEE Transactions on Systems, Man, and Cybernetics, 1974