On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets.
Ramavarapu S. SreenivasPublished in: IEEE Trans. Autom. Control. (1997)
Keyphrases
- discrete event
- dynamic systems
- petri net
- discrete event systems
- complex systems
- qualitative reasoning
- discrete event simulation
- petri net model
- consistency based diagnosis
- manufacturing systems
- dynamical systems
- control system
- colored petri nets
- model based diagnosis
- ims ld
- stochastic petri net
- ordinary differential equations
- qualitative models
- optimal policy
- cooperative
- linear time invariant
- service composition
- particle filter
- fuzzy petri net
- programmable logic controller
- search space