Maximally Permissive Similarity Enforcing Supervisors for Nondeterministic Discrete Event Systems under Partial Observation.
Jinglun LiShigemasa TakaiPublished in: CDC (2019)
Keyphrases
- discrete event systems
- petri net
- complex systems
- model based diagnosis
- telecommunication networks
- failure diagnosis
- similarity measure
- discrete event
- timed petri nets
- similarity function
- dynamic systems
- euclidean distance
- finite state
- semantic similarity
- distance function
- distance measure
- finite automata
- database
- temporal constraints
- low level
- relational databases