Keyphrases
- temporal logic
- gaussian process
- fault detection
- model checking
- dynamical model
- fault diagnosis
- gaussian processes
- covariance function
- verification method
- expectation propagation
- model selection
- regression model
- dynamical systems
- industrial processes
- bayesian framework
- computational intelligence
- fuzzy logic
- linear temporal logic
- reactive systems
- latent variables
- hyperparameters
- neural network
- reinforcement learning
- bayesian networks
- machine learning