*banner
 

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.

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.

©2002-2018 Chess