Safe diagnosability for fault-tolerant supervision of discrete-event systems.
Andrea PaoliStéphane LafortunePublished in: Autom. (2005)
Keyphrases
- discrete event systems
- fault tolerant
- petri net
- fault tolerance
- complex systems
- telecommunication networks
- distributed systems
- timed petri nets
- failure diagnosis
- model based diagnosis
- discrete event
- load balancing
- high availability
- temporal constraints
- dynamic systems
- safety critical
- interconnection networks
- state machine
- database
- intelligent systems
- peer to peer
- mobile agent system
- dynamic programming
- multi agent