Stochastic Reachability Analysis of Hybrid Systems

• Κύριος συγγραφέας: Bujorianu, Luminita Manuela (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : Springer London : Imprint: Springer, 2012.
• Σειρά: Communications and Control Engineering,
• Θέματα: 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...

Πίνακας περιεχομένων:

• 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.