Stochastic Hybrid Systems : Theory and Safety Critical Applications
Stochastic hybrid systems involve the coupling of discrete (logic based), continuous and probabilistic phenomena. Because of their versatility and generality, methods for modelling and analysis of stochastic hybrid systems have proved invaluable in a wide range of applications, including finance, ai...
Enregistré dans:
| Auteur principal: | |
|---|---|
| Autres auteurs: | |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin, Heidelberg :
Springer Berlin Heidelberg
[20..].
Cham : Springer Nature |
| Édition: | 1st ed. 2006. |
| Collection: | Lecture Notes in Control and Information Sciences
337 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Stochastic hybrid systems, theory and safety critical applications, Henk A.P. Blom, John Lygeros (eds.), 2006, Berlin, Springer, 1 vol. (XIV-395 p.), Lecture notes in control and information sciences, 3-540-33466-1 • Stochastic Hybrid Systems, Texte imprimé, 9783540822844 • Stochastic hybrid systems, theory and safety critical applications, Henk A.P. Blom, John Lygeros (eds.), 2006, Berlin, Springer, 1 vol. (XIV-395 p.), Lecture notes in control and information sciences, 3-540-33466-1 |
Table des matières:
- Part I: Stochastic Hybrid Processes Toward a General Theory of Stochastic Hybrid Systems Hybrid Petri Nets with Diffusion that have Into-Mappings with Generalised Stochastic Hybrid Processes Part II: Analytical Approaches A Stochastic Approximation Method for Reachability Computations Critical Ovservability of a Class of Hybrid Systems and Application to Air Traffic Management Part III: Complexity and Randomization Monte Carlo Optimisation for Conflict Resolution in Air Traffic Control Branching and Interactign Particle Interpretations of Rare Event Probabilites