Supervision localization of timed discrete-event systems.
Kai CaiRenyuan ZhangWalter Murray WonhamPublished in: ACC (2013)
Keyphrases
- discrete event systems
- petri net
- discrete event
- failure diagnosis
- dynamic systems
- complex systems
- timed petri nets
- simulation model
- telecommunication networks
- active learning
- temporal constraints
- mathematical model
- localization algorithm
- heuristic search
- high level
- steady state
- model based diagnosis
- database applications
- low level
- video sequences