Chargement en cours…
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...
| Cote: | Libro Electrónico |
|---|---|
| Auteur principal: | |
| Collectivité auteur: | |
| Format: | Électronique eBook |
| Langue: | Inglés |
| Publié: |
London :
Springer London : Imprint: Springer,
2012.
|
| Édition: | 1st ed. 2012. |
| Collection: | Communications and Control Engineering,
|
| Sujets: | |
| Accès en ligne: | Texto Completo |