Predictability of Failure Event Occurrences in Decentralized Discrete-Event Systems and Polynomial-Time Verification.
Fuchun LiuPublished in: IEEE Trans Autom. Sci. Eng. (2019)
Keyphrases
- discrete event systems
- petri net
- event types
- complex systems
- model based diagnosis
- failure diagnosis
- temporal constraints
- discrete event
- telecommunication networks
- timed petri nets
- event sequences
- event detection
- special case
- model checking
- failure detection
- pattern matching
- approximation algorithms
- news articles
- computational complexity
- multi agent
- peer to peer
- distributed systems
- worst case
- temporal patterns
- dynamic systems