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