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: HSCC (2015)
Keyphrases
- temporal logic
- linear systems
- control theory
- model checking
- modal logic
- sufficient conditions
- dynamical systems
- satisfiability problem
- concurrent systems
- bounded model checking
- control system
- verification method
- mazurkiewicz traces
- linear temporal logic
- coefficient matrix
- control strategy
- control method
- temporal knowledge
- reactive systems
- mathematical model
- sparse linear systems
- real time
- multi objective
- evolutionary algorithm
- reinforcement learning
- neural network