A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems.
Xiang YinStéphane LafortunePublished in: IEEE Trans. Autom. Control. (2016)
Keyphrases
- partially observed
- discrete event systems
- petri net
- telecommunication networks
- complex systems
- model based diagnosis
- global consistency
- failure diagnosis
- discrete event
- timed petri nets
- disjunctive constraints
- temporal constraints
- dynamic systems
- dynamic programming
- temporal reasoning
- databases
- simulation model
- object oriented
- xml documents
- relational databases
- search algorithm