Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games.
María SvorenováJan KretínskýMartin ChmelikKrishnendu ChatterjeeIvana CernáCalin BeltaPublished in: CoRR (2014)
Keyphrases
- temporal logic
- linear systems
- control theory
- model checking
- sufficient conditions
- bounded model checking
- dynamical systems
- modal logic
- concurrent systems
- verification method
- satisfiability problem
- sparse linear systems
- mazurkiewicz traces
- control method
- temporally extended
- dynamic constraints
- coefficient matrix
- computation tree logic
- artificial intelligence
- linear temporal logic
- decision theoretic planning
- temporal knowledge
- control strategy
- real time
- qualitative simulation
- formal verification
- belief revision
- expert systems
- formal specification language