A Compositional Hierarchical Monitoring Automaton Construction for LTL.
Deepak D'SouzaRaj Mohan MatteplackelPublished in: ICTAC (2012)
Keyphrases
- monitoring system
- linear time temporal logic
- deterministic automata
- model checking
- finite state automata
- construction process
- real time
- temporal logic
- hierarchical model
- early warning
- hierarchical classification
- finite state machines
- hierarchical structures
- coarse to fine
- bounded model checking
- domain independent
- decision trees