Stochastic Reachability Analysis of Hybrid Systems

Authors:

ISBN: 978-1-4471-2794-9 (Print) 978-1-4471-2795-6 (Online)

Table of contents (12 chapters)

  1. Front Matter

    Pages I-XVII

  2. No Access

    Book Chapter

    Pages 1-4

    Introduction

  3. No Access

    Book Chapter

    Pages 5-29

    Markov Models

  4. No Access

    Book Chapter

    Pages 31-53

    Hybrid Systems: Deterministic to Stochastic Perspectives

  5. No Access

    Book Chapter

    Pages 55-85

    Stochastic Hybrid Systems

  6. No Access

    Book Chapter

    Pages 87-103

    Stochastic Reachability Concepts

  7. No Access

    Book Chapter

    Pages 105-134

    Probabilistic Methods for Stochastic Reachability

  8. No Access

    Book Chapter

    Pages 135-162

    Analytic Methods for Stochastic Reachability

  9. No Access

    Book Chapter

    Pages 163-172

    Statistical Methods to Stochastic Reachability

  10. No Access

    Book Chapter

    Pages 173-185

    Stochastic Reachability Based on Probabilistic Bisimulation

  11. No Access

    Book Chapter

    Pages 187-202

    Stochastic Reachability with Constraints

  12. No Access

    Book Chapter

    Pages 203-207

    Applications of Stochastic Reachability

  13. No Access

    Book Chapter

    Pages E1-E3

    Stochastic Reachability Analysis of Hybrid Systems

  14. Back Matter

    Pages 209-244