Automata Slicing for Diagnosing Discrete-Event Systems with Partially Ordered Observations.
Alban GrastienMarie-Odile CordierChristine LargouëtPublished in: AI*IA (2005)
Keyphrases
- multi agent
- partially ordered
- discrete event systems
- model based diagnosis
- partial order
- petri net
- complex systems
- telecommunication networks
- totally ordered
- cooperative
- failure diagnosis
- timed petri nets
- discrete event
- event calculus
- partial ordering
- interval valued
- dynamic systems
- finite automata
- cellular automata
- total order
- model checking
- temporal constraints
- power consumption
- visual features
- total ordering