A probabilistic approach for control of a stochastic system from LTL specifications.
Morteza LahijanianSean B. AnderssonCalin BeltaPublished in: CDC (2009)
Keyphrases
- bounded model checking
- control system
- model checking
- data sets
- transition systems
- optimal control
- knowledge base
- real time
- bayesian networks
- probabilistic model
- temporal logic
- control problems
- markov chain monte carlo methods
- deterministic automata
- concurrent systems
- stochastic context free grammars
- stochastic model
- control strategies
- control strategy
- data acquisition
- monte carlo
- web services