Stochastic Reachability Analysis of Hybrid Systems
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...
Κύριος συγγραφέας: | Bujorianu, Luminita Manuela (Συγγραφέας) |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
London :
Springer London : Imprint: Springer,
2012.
|
Σειρά: | Communications and Control Engineering,
|
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Viability Theory New Directions /
ανά: Aubin, Jean-Pierre, κ.ά.
Έκδοση: (2011) -
Mathematical Methodologies in Pattern Recognition and Machine Learning Contributions from the International Conference on Pattern Recognition Applications and Methods, 2012 /
Έκδοση: (2013) -
Verification and Control of Hybrid Systems A Symbolic Approach /
ανά: Tabuada, Paulo
Έκδοση: (2009) -
Game-Theoretic Learning and Distributed Optimization in Memoryless Multi-Agent Systems
ανά: Tatarenko, Tatiana
Έκδοση: (2017) -
Sliding Mode Control The Delta-Sigma Modulation Approach /
ανά: Sira-Ramírez, Hebertt
Έκδοση: (2015)