Supervisory control of real-time discrete-event systems using lattice theory.
Darren D. CoferVijay K. GargPublished in: IEEE Trans. Autom. Control. (1996)
Keyphrases
- discrete event systems
- discrete event
- supervisory control
- real time
- lattice theory
- dynamic systems
- data acquisition
- simulation model
- petri net
- propositional logic
- complex systems
- model based diagnosis
- telecommunication networks
- morphological operators
- low cost
- power grid
- neural network
- temporal constraints
- vision system
- dynamical systems
- horn clauses
- high speed
- cooperative