Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces.
Alexandre GenonThierry MassartCédric MeuterPublished in: FM (2006)
Keyphrases
- objective function
- theoretical analysis
- mathematical model
- probabilistic model
- classification algorithm
- algorithm employs
- cost function
- learning algorithm
- em algorithm
- optimization model
- input data
- selection algorithm
- parameter estimation
- recognition algorithm
- expectation maximization
- final result
- estimation algorithm
- energy function
- bayesian framework
- optimization method
- closed form
- similarity measure
- prior information
- matching algorithm
- long sequences
- optimization algorithm
- search space
- computational complexity
- search algorithm
- tree structure
- detection algorithm
- worst case
- probability distribution
- convergence rate
- dynamic programming
- hidden markov models
- k means
- sequence alignment
- neural network