Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems.
Xiang YinStéphane LafortunePublished in: IEEE Trans. Autom. Control. (2016)
Keyphrases
- discrete event systems
- partially observed
- petri net
- complex systems
- model based diagnosis
- telecommunication networks
- discrete event
- timed petri nets
- failure diagnosis
- temporal constraints
- texture synthesis
- database
- dynamic systems
- data model
- program synthesis
- management system
- search algorithm
- database systems
- databases