Reachability analysis for controlled discrete time stochastic hybrid systems
S. Amin, A. Abate, M. Prandini, J. Lygeros, S. Sastry

Citation
S. Amin, A. Abate, M. Prandini, J. Lygeros, S. Sastry. "Reachability analysis for controlled discrete time stochastic hybrid systems". J. Hespanha and A. Tiwari (eds.), 49-63, 3927, Springer Verlag, 2006.

Abstract
A model for discrete time stochastic hybrid systems whose evolution can be influenced by some control input is proposed in this paper. With reference to the introduced class of systems, a methodology for probabilistic reachability analysis is developed that is relevant to safety verification. This methodology is based on the interpretation of the safety verification problem as an optimal control problem for a certain controlled Markov process. In particular, this allows to characterize through some optimal cost function the set of initial conditions for the system such that safety is guaranteed with sufficiently high probability. The proposed methodology is applied to the problem of regulating the average temperature in a room by a thermostat controlling a heater.

Electronic downloads

Internal. This publication has been marked by the author for Chess-only distribution, so electronic downloads are not available without logging in.

Citation formats

• HTML

  S. Amin, A. Abate, M. Prandini, J. Lygeros, S. Sastry. <a
  href="http://chess.eecs.berkeley.edu/pubs/214.html"
  ><i>Reachability analysis for controlled discrete
  time stochastic hybrid systems</i></a>, J.
  Hespanha and A. Tiwari (eds.), 49-63, 3927, Springer Verlag,
  2006.

• Plain text

  S. Amin, A. Abate, M. Prandini, J. Lygeros, S. Sastry.
  "Reachability analysis for controlled discrete time
  stochastic hybrid systems". J. Hespanha and A. Tiwari
  (eds.), 49-63, 3927, Springer Verlag, 2006.

• BibTeX

  @inbook{AminAbatePrandiniLygerosSastry06_ReachabilityAnalysisForControlledDiscreteTimeStochastic,
      author = {S. Amin and A. Abate and M. Prandini and J.
                Lygeros and S. Sastry},
      editor = {J. Hespanha and A. Tiwari},
      title = {Reachability analysis for controlled discrete time
                stochastic hybrid systems},
      pages = {49-63},
      volume = {3927},
      publisher = {Springer Verlag},
      year = {2006},
      abstract = {A model for discrete time stochastic hybrid
                systems whose evolution can be influenced by some
                control input is proposed in this paper. With
                reference to the introduced class of systems, a
                methodology for probabilistic reachability
                analysis is developed that is relevant to safety
                verification. This methodology is based on the
                interpretation of the safety verification problem
                as an optimal control problem for a certain
                controlled Markov process. In particular, this
                allows to characterize through some optimal cost
                function the set of initial conditions for the
                system such that safety is guaranteed with
                sufficiently high probability. The proposed
                methodology is applied to the problem of
                regulating the average temperature in a room by a
                thermostat controlling a heater.},
      URL = {http://chess.eecs.berkeley.edu/pubs/214.html}
  }
  

Posted by Alessandro Abate on 24 Apr 2007.
Groups: chess
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.