Probabilistic Reachability for Safety and Regulation of Controlled Discrete-Time Stochastic Hybrid Systems
A. Abate, S. Amin, M. Prandini, J. Lygeros, S. Sastry

Citation
A. Abate, S. Amin, M. Prandini, J. Lygeros, S. Sastry. "Probabilistic Reachability for Safety and Regulation of Controlled Discrete-Time Stochastic Hybrid Systems". Proceedings of the 45th IEEE Conference on Decision and Control, IEEE, December, 2006.

Abstract
In this work probabilistic reachability for controlled discrete time stochastic hybrid systems is investigated. By a suitable formulation of the reachability problem within a stochastic optimal control framework, two complementary interpretations and their corresponding computational techniques are suggested. The results can be of interest for solving safety analysis and control design problems for stochastic hybrid systems, by the computation of maximal probabilistic safe sets and maximally safe policies. They can also be employed to solve regulation problems through the interpretation of the desired operating region for the system as a “safe set”. The described methodology is applied to a simple temperature regulation problem.

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

  A. Abate, S. Amin, M. Prandini, J. Lygeros, S. Sastry. <a
  href="http://chess.eecs.berkeley.edu/pubs/211.html"
  >Probabilistic Reachability for Safety and Regulation of
  Controlled Discrete-Time Stochastic Hybrid
  Systems</a>, Proceedings of the 45th IEEE Conference
  on Decision and Control, IEEE, December, 2006.

• Plain text

  A. Abate, S. Amin, M. Prandini, J. Lygeros, S. Sastry.
  "Probabilistic Reachability for Safety and Regulation
  of Controlled Discrete-Time Stochastic Hybrid Systems".
  Proceedings of the 45th IEEE Conference on Decision and
  Control, IEEE, December, 2006.

• BibTeX

  @inproceedings{AbateAminPrandiniLygerosSastry06_ProbabilisticReachabilityForSafetyRegulationOfControlled,
      author = {A. Abate and S. Amin and M. Prandini and J.
                Lygeros and S. Sastry},
      title = {Probabilistic Reachability for Safety and
                Regulation of Controlled Discrete-Time Stochastic
                Hybrid Systems},
      booktitle = {Proceedings of the 45th IEEE Conference on
                Decision and Control},
      organization = {IEEE},
      month = {December},
      year = {2006},
      abstract = {In this work probabilistic reachability for
                controlled discrete time stochastic hybrid systems
                is investigated. By a suitable formulation of the
                reachability problem within a stochastic optimal
                control framework, two complementary
                interpretations and their corresponding
                computational techniques are suggested. The
                results can be of interest for solving safety
                analysis and control design problems for
                stochastic hybrid systems, by the computation of
                maximal probabilistic safe sets and maximally safe
                policies. They can also be employed to solve
                regulation problems through the interpretation of
                the desired operating region for the system as a
                �safe set�. The described methodology is
                applied to a simple temperature regulation problem.},
      URL = {http://chess.eecs.berkeley.edu/pubs/211.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.