Synthesis of Similarity Enforcing Supervisors for Nondeterministic Discrete Event Systems.
Naoki KushiShigemasa TakaiPublished in: IEEE Trans. Autom. Control. (2018)
Keyphrases
- discrete event systems
- petri net
- complex systems
- telecommunication networks
- model based diagnosis
- failure diagnosis
- timed petri nets
- discrete event
- similarity measure
- temporal constraints
- finite state
- distance measure
- user defined
- similarity function
- global consistency
- distance function
- database
- special case
- databases