Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems

Conference item

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 by automata - in particular, the focus is on deterministic finite-state automata. This problem can be reformulated as an optimization of a probabilistic reachability property over a product proces...

Expand abstract

Authors: Tkachev, I; Abate, A; Mereacre, A; Katoen, J

• Host title: HSCC 2013 - Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, Part of CPSWeek 2013
• Volume: 1
• Pages: 293-302
• Publication date: 2012-01-01
• DOI: 10.1145/2461328.2461373