Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
This work deals with Markov processes that are defined over an uncountable state space (possibly hybrid) and embedding non-determinism in the shape of a control structure. The contribution looks at the problem of optimization, over the set of allowed controls, of probabilistic specifications defined...
| Main Authors: | , , , |
|---|---|
| Format: | Conference item |
| Published: |
2012
|