Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
We consider the problem of computing the set of initial states of a dynamical system such that there exists a control strategy to ensure that the trajectories satisfy a temporal logic specification with probability 1 (almost-surely). We focus on discrete-time, stochastic linear dynamics and specific...
| Main Authors: | , , , , , |
|---|---|
| Format: | Journal article |
| Published: |
Elsevier
2016
|