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

Celý popis

Uloženo v:
Podrobná bibliografie
Hlavní autor: Blom, Henk A.P (Šéfredaktor, odpovědný redaktor)
Další autoři: Lygeros, John, 19..- (Šéfredaktor, odpovědný redaktor)
Médium: Livre numérique
Jazyk:Anglais
Vydáno: Berlin, Heidelberg : Springer Berlin Heidelberg [20..].
Cham : Springer Nature
Vydání:1st ed. 2006.
Edice:Lecture Notes in Control and Information Sciences 337
Témata:
On-line přístup:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Poznámka: 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
LEADER 04344nam a22004457a 4500
001 938560
008 080410q2000 xx ||| |||| 00| 0 eng d
009 PPN123133645
020 |a 9783540334675 
041 0 |a eng 
082 |a 620 
100 1 |a Blom, Henk A.P. 
245 1 0 |a Stochastic Hybrid Systems :  |b Theory and Safety Critical Applications   |c edited by Henk A.P. Blom, John Lygeros. 
250 |a 1st ed. 2006. 
260 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg. 
260 |a Cham :  |b Springer Nature,  |c [20..]. 
490 0 |a Lecture Notes in Control and Information Sciences  |v 337  |x 1610-7411 
500 |a Archives Springer e-books (Licence nationale) 
500 |a Archives Springer e-books (Licence nationale) 
505 1 |a 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 
506 |a Accès en ligne pour les établissements français bénéficiaires des licences nationales 
506 |a Accès soumis à abonnement pour tout autre établissement 
506 |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 
520 |a 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, air traffic control, biology, telecommunications, and embedded systems. Success stories in these application areas have made stochastic hybrid systems a very important, rapidly growing and dynamic research field since the beginning of the century, bridging the gap between stochastic analysis, computer science and control engineering. This volume presents a number of fundamental theoretical advances in the area of stochastic hybrid systems, motivated primarily from applications to air traffic management. Air traffic is arguably the most challenging application area for stochastic hybrid systems, since it requires handling complex distributed systems, multiple human in the loop elements and hybrid dynamics. The editors have collected key contributions, which define the state-of-the-art, present novel directions, and highlight emerging application areas 
650 |a Systèmes stochastiques 
650 |a Sécurité des systèmes 
650 |a Processus stochastiques 
650 |a Commande numérique 
650 |a Théorie de la commande 
650 |a Ingénierie 
700 1 |a Blom, Henk A.P.  |4 pbd 
700 1 |a Lygeros, John,  |d 19..-  |4 pbd 
776 0 |0 110812948  |t Stochastic hybrid systems  |o theory and safety critical applications  |f Henk A.P. Blom, John Lygeros (eds.)  |d 2006  |c Berlin  |n Springer  |p 1 vol. (XIV-395 p.)  |s Lecture notes in control and information sciences  |z 3-540-33466-1 
776 0 |t Stochastic Hybrid Systems  |b Texte imprimé  |z 9783540822844 
776 0 |0 110812948  |t Stochastic hybrid systems  |o theory and safety critical applications  |f Henk A.P. Blom, John Lygeros (eds.)  |d 2006  |c Berlin  |n Springer  |p 1 vol. (XIV-395 p.)  |s Lecture notes in control and information sciences  |z 3-540-33466-1 
856 4 |q PDF  |u https://doi.org/10.1007/11587392  |z Accès sur la plateforme de l'éditeur 
856 4 |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-1VNQW9W6-F  |z Accès sur la plateforme Istex 
856 4 |5 452349901:747897859  |u https://ezproxy.univ-orleans.fr/login?url=https://dx.doi.org/10.1007/11587392  |z Accès Université d'Orléans 
856 4 |5 180339901:750910860  |u https://ezproxy.insa-cvl.fr/login?qurl=https://dx.doi.org/10.1007/11587392  |z Accès INSA CVL 
997 |0 938560  |1 Livre numérique  |a Ressource numérique  |b INSA  |b ENSA  |c 0/Bibliothèque numérique/  |c 1/Bibliothèque numérique/Autre ressource numérique/