Stochastic Reachability Analysis of Hybrid Systems

• Main Author: Bujorianu, Luminita Manuela (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: London : Springer London : Imprint: Springer, 2012.
• Series: Communications and Control Engineering,
• Subjects: Mathematics.; Computer science > Mathematics.; System theory.; Control engineering.; Systems Theory, Control.; Control.; Math Applications in Computer Science.

Stochastic reachability analysis (SRA) is a method of analyzing the behavior of control systems which mix discrete and continuous dynamics. For probabilistic discrete systems it has been shown to be a practical verification method but for stochastic hybrid systems it can be rather more. As a verific...

Table of Contents:

• The Need for Interdisciplinarity in Modern Systems Engineering
• Markov Models
• Randomness Issues when Modeling Hybrid Systems
• Stochastic Hybrid Systems
• Reachability Analysis for Deterministic Hybrid Systems
• Stochastic Reachability Problems
• Different Methodologies for Stochastic Reachability
• Stochastic Reachability Based on Markov Process Theory
• Martingale Methods
• Stochastic Reachability as an Optimal Stopping Problem
• Dynamic Programming Approach to Stochastic Reachability
• Applications to Autonomous Systems
• Applications of Stochastic Reachability in Air-traffic Management.