conference paper
Control design for specifications on stochastic hybrid systems
2012
Proceedings of the 16th International Conference on Hybrid Systems
We synthesize controllers for discrete-time stochastic hybrid systems such that the probability of satisfying a given specification on the system is maximized. The specifications are defined with finite state automata. It is shown that automata satisfaction is equivalent to a reachability problem in an extended state space consisting of the system and the automaton state spaces. The control policy is defined as a map from this extended state space to the input space. Using existing results on maximizing reachability probability, the control policy is designed to maximize probability of satisfying the specification. Copyright © 2013 ACM.
Type
conference paper
Author(s)
Date Issued
2012
Published in
Proceedings of the 16th International Conference on Hybrid Systems
Volume
1
Start page
303
End page
312
Editorial or Peer reviewed
REVIEWED
Written at
OTHER
EPFL units
Available on Infoscience
December 1, 2021
Use this identifier to reference this record