Comments on "Predictability of Failure Event Occurrences in Decentralized Discrete-Event Systems and Polynomial-Time Verification".
Ratnesh KumarShigemasa TakaiPublished in: IEEE Trans Autom. Sci. Eng. (2019)
Keyphrases
- discrete event systems
- petri net
- event types
- complex systems
- model based diagnosis
- event sequences
- telecommunication networks
- failure diagnosis
- discrete event
- timed petri nets
- event detection
- temporal constraints
- model checking
- multi agent
- distributed systems
- cooperative
- computational complexity
- temporal patterns
- pattern matching
- peer to peer
- special case
- dynamic systems
- failure detection
- news stories
- databases