Supervisory Control of Nondeterministic Systems with Driven Events via Prioritized Synchronization and Trajectory Models

This publication has 17 references indexed in Scilit:

• Supervisory control of a rapid thermal multiprocessor
  IEEE Transactions on Automatic Control, 1993
• An algebraic approach to supervisory control
  Mathematics of Control, Signals, and Systems, 1992
• On controllability and normality of discrete event dynamical systems
  Systems & Control Letters, 1991
• Process Algebra
  Published by Cambridge University Press (CUP) ,1990
• Formulas for calculating supremal controllable and normal sublanguages
  Systems & Control Letters, 1990
• Concurrency and discrete event control
  IEEE Control Systems Magazine, 1990
• Algebras of discrete event models
  Proceedings of the IEEE, 1989
• On observability of discrete-event systems
  Information Sciences, 1988
• Supervisory control of discrete-event processes with partial observations
  IEEE Transactions on Automatic Control, 1988
• Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator
  The Computer Journal, 1987