Citation
Alessandro Abate, Maria Prandini, John Lygeros, S. Shankar Sastry. "Probabilistic Reachability and Safety for Controlled Discrete Time Stochastic Hybrid Systems". Automatica, 2008; To appear.

Abstract
In this work, probabilistic reachability over a finite horizon is investigated for a class of discrete time stochastic hybrid systems with control inputs. A suitable embedding of the reachability problem in a stochastic control framework reveals that it is amenable to two complementary interpretations, leading to dual algorithms for reachability computations. In particular, the set of initial conditions providing a certain probabilistic guarantee that the system will keep evolving within a desired 'safe' region of the state space is characterized in terms of a value function, and 'maximally safe' Markov policies are determined via dynamic programming. These results are of interest not only for safety analysis and design, but also for solving those regulation and stabilization problems that can be reinterpreted as safety problems. The temperature regulation problem presented in the paper as case study is one such case.

Electronic downloads

• http://hybrid.stanford.edu/~aabate/pubs.htm

Citation formats

• HTML

  Alessandro Abate, Maria Prandini, John Lygeros, S. Shankar
  Sastry. <a
  href="http://chess.eecs.berkeley.edu/pubs/435.html">Probabilistic
  Reachability and Safety for Controlled Discrete Time
  Stochastic Hybrid Systems</a>,
  <i>Automatica</i>,  2008; To appear.

• Plain text

  Alessandro Abate, Maria Prandini, John Lygeros, S. Shankar
  Sastry. "Probabilistic Reachability and Safety for
  Controlled Discrete Time Stochastic Hybrid Systems".
  Automatica,  2008; To appear.

• BibTeX

  @article{AbatePrandiniLygerosSastry08_ProbabilisticReachabilitySafetyForControlledDiscrete,
      author = {Alessandro Abate and Maria Prandini and John
                Lygeros and S. Shankar Sastry},
      title = {Probabilistic Reachability and Safety for
                Controlled Discrete Time Stochastic Hybrid Systems},
      journal = {Automatica},
      year = {2008},
      note = {To appear},
      abstract = {In this work, probabilistic reachability over a
                finite horizon is investigated for a class of
                discrete time stochastic hybrid systems with
                control inputs. A suitable embedding of the
                reachability problem in a stochastic control
                framework reveals that it is amenable to two
                complementary interpretations, leading to dual
                algorithms for reachability computations. In
                particular, the set of initial conditions
                providing a certain probabilistic guarantee that
                the system will keep evolving within a desired
                'safe' region of the state space is characterized
                in terms of a value function, and 'maximally safe'
                Markov policies are determined via dynamic
                programming. These results are of interest not
                only for safety analysis and design, but also for
                solving those regulation and stabilization
                problems that can be reinterpreted as safety
                problems. The temperature regulation problem
                presented in the paper as case study is one such
                case.},
      URL = {http://chess.eecs.berkeley.edu/pubs/435.html}
  }
  

Posted by Alessandro Abate on 16 Jun 2008.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu..

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.