Stochastic hybrid models: An overview (2003)
| Venue: | In Proceedings IFAC Conference on Analysis and Design of Hybrid Systems |
| Citations: | 13 - 0 self |
BibTeX
@INPROCEEDINGS{Pola03stochastichybrid,
author = {G. Pola and M. L. Bujorianu and J. Lygeros and M. D. Di Benedetto},
title = {Stochastic hybrid models: An overview},
booktitle = {In Proceedings IFAC Conference on Analysis and Design of Hybrid Systems},
year = {2003}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract: An overview of Stochastic Hybrid Models developed in the literature is presented. Attention is concentrated on three classes of models: Piecewise Deterministic Markov Processes, Switching Diffusion Processes and Stochastic Hybrid Systems. The descriptive power of the three classes is compared and conditions under which the classes coincide are developed. The theoretical analysis is motivated by modelling problems in Air Traffic Management. Copyright, 2003, IFAC
Citations
| 378 | N.: Limit Theorems for Stochastic Processes - Jacod, Shiryaev - 2002 |
| 124 | Stochastic Differential Equations, Theory and applications. Wiley-Interscience Publication - Arnold - 1974 |
| 112 | Approximate symbolic model checking of continuous-time Markov chains - Baier, Katoen, et al. - 1999 |
| 54 | Automatic verification of real-time systems with discrete probability distributions - Kwiatkowska, Norman, et al. |
| 51 | Towards a theory of stochastic hybrid systems - Hu, Lygeros, et al. - 2000 |
| 33 | Ergodic control of switching diffusions - Ghosh, Arapostathis, et al. - 1997 |
| 29 | Verifying quantitative properties of continuous probabilistic timed automata - Kwiatkowska, Norman, et al. - 2000 |
| 16 | Reachability Questions in Piecewise Deterministic Markov Processes - Bujorianu, Lygeros - 2003 |
| 5 | Markov Processes and Optimization - Davis - 1993 |
| 1 | Systems: Computation and Control (Nancy Lynch and Bruce - Hybrid |
