Stochastic Hybrid models: An overview

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 36, Issue 6, 2003, Pages 45-50

  Pola, G ^a   Bujorianu, M L ^b   Lygeros, J ^b   Di Benedetto, M D ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

^b UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

Air traffic management; Piecewise deterministic markov process; Stochastic hybrid model; Stochastic hybrid system; Switching diffusion process

Indexed keywords

AIR TRAFFIC CONTROL; HYBRID SYSTEMS; MARKOV PROCESSES; STOCHASTIC SYSTEMS;

AIR TRAFFIC MANAGEMENT; PIECEWISE DETERMINISTIC MARKOV PROCESS; STOCHASTIC HYBRID MODELS; STOCHASTIC HYBRID SYSTEMS; SWITCHING DIFFUSION PROCESS;

STOCHASTIC MODELS;

EID: 85043374516     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1016/S1474-6670(17)36405-4     Document Type: Conference Paper

References (11)

1. Arnold, L. (1974). Stochastic. Differential Equations: Theory and Application. John Wiley & Sons.
2. Baier. C., J.-P. Katocn and H. Hermanns (1999). Approximate, symbolic model checking of continous-time markov chains. In: Concurrency Theory (J. CM. Baeten and S. Mauw, Eds.), pp. 146-162. Number 1664 In: LNCS. Springer Verlag.
3. Bujorianu. M. L. and J. Lygeros (2003). Reachability questions in piecewisc deterministic markov processes. In: Submitted to HSCC.
4. Davis, M. II. A. (1993). Markov Processes and Optimization. Chapman & Hall. London.
5. Ethier, S. N. and T. G. Kurtz (1986). Markov Processes: Characterisation and Convergence. Willey. New York.
6. Ghosh, M. K., A. Arapostathis and S. I. Marcus (1997). Ergodie control of switching diffusions. SIAM Journal on Control Optimization 35(6), 1952-1988.
7. Hli. J., J. Lygeros and S. Sastry (2000). Towards a theory of stochastic hybrid systems. In: Hybrid Systems: Compulation and Control (Nancy Lynch and Bruce H. Kiogh, Eds.), pp. 160-173. Number 1790 In: LNCS. Springer Verlag.
8. Jacod, J. and A. N. Shiryayev (1987). Limit Theorems for Stochastic Pmcesses. Springer- Verlag. New York.
9. Kwiatkuwska, M. G. Norman. R. Segala and J. Sprosto (1999). Automatic verification of real-time systems with discrete probability distributions. In: 5th International A MAST Workshop on Real Time and Probabilistic Systems, pp. 79-95. Number 16U1 In: LNCS. Springer Verlag.
10. Kwiatkowsbt, M. G. Norman R. Segala and J. Sprosto (2000). Verifying quantitative properties of continuous probabilistic timed automata. In: CONCUR'00. pp. 123-137. Number 1877 In: LNCS. Springer Verlag.
11. Lygeros, J. K. H. Johansson, S. N. Simic. J. Zhang and S. Sastry (2003). Dynamical properties of hybrid automata. IEEE Trans action on Automatic Control 48 (1). 2-17.