Functional abstractions of stochastic hybrid systems

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 2, Issue PART 1, 2006, Pages 160-165

  Bujorianu, Manuela L ^a   Blom, Henk A P ^b   Hermanns, Holger ^c  

^a UNIVERSITY OF TWENTE   (Netherlands)

^b NATIONAL AEROSPACE LABORATORY NLR   (Netherlands)

^c SAARLAND UNIVERSITY   (Germany)

Author keywords

Hybrid systems; Markov models; Probability function; Verification

Indexed keywords

ABSTRACTING; HYBRID SYSTEMS; MARKOV PROCESSES; VERIFICATION;

BISIMULATIONS; FUNCTIONAL ABSTRACTIONS; MARKOV MODEL; PROBABILITY FUNCTIONS; REACHABILITY ANALYSIS; STOCHASTIC HYBRID SYSTEMS; VERIFICATION PROBLEMS;

STOCHASTIC SYSTEMS;

EID: 39549090367     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20060607-3-it-3902.00031     Document Type: Conference Paper

References (16)

1. Albeverio, S., Z.M. Ma and M. Rockner (1993). Quasi-regular dirichlet forms and markov processes. J.Funct.An. 111, 118-154.
2. Blom, H.A.P. (2003). Stochastic hybrid processes with hybrid jumps. In: ADHS.
3. Bujorianu, M.L. (2004). Extended stochastic hybrid systems. In: HSCC (R. Alur and G. Pappas, Eds.). pp. 234-249. Number 2993 In: LNCS. Springer.
4. Bujorianu, M.L. and J. Lygeros (2003). Reachability questions in piecewise deterministic markov processes. In: HSCC (O. Maler and A. Pnueli, Eds.). pp. 126-140. Number 2623 In: LNCS. Springer.
5. Bujorianu, M.L. and J. Lygeros (2004). General stochastic hybrid systems: Modelling and optimal control. In: 43th CDC.
6. Bujorianu, M.L., J. Lygeros and M.C. Bujorianu (2005). Bisimulation for general stochastic hybrid systems. In: HSCC (M. Morari and L. Thiele, Eds.). pp. 198-216. Number 3414 In: LNCS. Springer.
7. Davis, M.H.A. (1993). Markov Models and Optimization. Chapman & Hall. London.
8. Everdij, M.H.C. and H.A.P Blom (2005). Pdmp represented by dynamically coloured petri nets. Stochastics 77, 1-29.
9. Fukushima, M. (1980). Dirichlet Forms and Markov Processes. N. Holland.
10. Hespanha, J.P. (2004). Stochastic hybrid systems: Application to communication network. In: HSCC (R. Alur and G. Pappas, Eds.). pp. 387-401. Number 2993 In: LNCS. Springer.
11. Hu, J., J. Lygeros and S. Sastry (2000). Towards a theory of stochastic hybrid systems. In: HSCC (N. Lynch and B. Krogh, Eds.). pp. 160-173. Number 1790 In: LNCS. Springer.
12. Iscoe, I. and D. McDonald (1990). Induced dirichlet forms and capacitary inequalities. Ann. Prob. 18(3), 1195-1221.
13. Ma, M. and M. Rockner (1990). The Theory of Non-Symmetric Dirichlet Forms and Markov Processes. Springer. New York.
14. Pola, G., M.L. Bujorianu and J. Lygeros (2003). Stochastic hybrid models: An overview with applications to air traffic management. In: ADHS.
15. Rogers, L.C.G. and J.W. Pitman (1981). Markov functions. Ann. Prob. 9(4), 573-582.
16. Strubbe, S.N. and A.J. van der Schaft (2005). Bisimulation for communicating pdps. In: HSCC (M. Morari and L. Thiele, Eds.). pp. 623-640. Number 3414 In: LNCS. Springer.