A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks.
Yannick PencoléMarie-Odile CordierPublished in: Artif. Intell. (2005)
Keyphrases
- discrete event systems
- telecommunication networks
- petri net
- model based diagnosis
- failure diagnosis
- complex systems
- timed petri nets
- discrete event
- fiber optic
- formal model
- telecommunications networks
- temporal constraints
- sensor data
- fault detection
- artificial intelligence
- cost effective
- computational intelligence
- relational databases
- search algorithm