From timed automata to timed failure propagation graphs.
Claudia PriesterjahnChristian HeinzemannWilhelm SchäferPublished in: ISORC (2013)
Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- theorem proving
- first order logic
- directed graph
- real time systems
- graph matching
- graph representation
- graph theory
- graph model
- low cost
- failure rate
- graph clustering
- graph mining
- temporal logic
- series parallel
- failure prediction
- graph databases
- complex structures
- weighted graph
- graph structure
- random graphs
- root cause
- subgraph isomorphism
- propagation model
- failure detection
- np complete
- artificial intelligence