Extended stochastic hybrid systems and their reachability problem

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2993, Issue , 2004, Pages 234-249

  Bujorianu, Manuela L ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

Stochastic hybrid systems, Reachability problem, Extended automata, Markov processes, Dirichlet forms

Indexed keywords

COMPUTATION THEORY; HYBRID SYSTEMS; MARKOV PROCESSES; STOCHASTIC CONTROL SYSTEMS; STOCHASTIC SYSTEMS;

DIRICHLET FORM; EXTENDED AUTOMATA; MATHEMATICAL PROPERTIES; REACHABILITY PROBLEM; STOCHASTIC HYBRID SYSTEMS;

STOCHASTIC MODELS;

EID: 35048857490     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24743-2_16     Document Type: Article

References (23)

1. Albeverio, S., Ma, M.: A General Correspondence Between Dirichlet Forms and Right Processes. Bull.Amer.Math.Soc. 26, No.2 (1992), 245-252,.
2. Arnold, L.: Stochastic Differential Equations: Theory and Applications. Wiley Interscience, New York-London-Sydney (1974).
3. Bass, R.F.: Adding and Substracting Jumps from Markov Processes. Trans, of Amer. Math. Soc. 255 (1979), 363-376.
4. Bensoussan, A., Menaldi, J. L.: Stochastic Hybrid Control. Journal of Mathematical Analysis and Applications 249 (2000), 261-288.
5. Benveniste, A., Jacod, J.: Systèmes de Lévy de Processus de Markov. Invent. Math. 21 (1973), 183-198.
6. Bertsekas, D.P., Shreve, S.E.: Stochastic Optimal Control: The Discrete-Time Case. Athena Scientific, 1996.
7. Blumenthal, R.M., Getoor, R.K.: Markov Processes and Potential Theory, Academic Press, New York and London (1968).
8. Bouleau, N., Hirsch, F.: Propriétés d'Absolue Continuité dans les Espaces de Dirichlet et Applications aux Equations Différentielles Stochastiques. Sém. de Probabilités, LNM 20 (1986), Springer-Verlag.
9. Bujorianu, M.L., Lygeros, J.: Reachability Questions in Piecewise Deterministic Markov Processes, In [18], 126-140.
10. Chaffin, M. S., Berry, J. D.: Navier-Stokes and Potential Theory Solutions for a Helicopter Fuselage. NASA TM-4566 ATCOM-TR-94-A-013 (1994).
11. Chen, Z.Q., Ma, Z.-M., Rockner, M.: Quasi-Homeomorphisms of Dirichlet Forms. Nagoya Math. J. 136 (1994), 1-15.
12. Davis, M.H.A.: Markov Models and Optimization, Chapman & Hall, London, 1993.
13. Dutertre, B.: Elements of Mathematical Analysis in PVS. TPHOLs'96, Turku, Finland (1996).
14. Fukushima, M.: Dirichlet Forms and Markov Processes, N. Holland (1980).
15. Hu, J., Lygeros, J., Sastry, S.: Towards a Theory of Stochastic Hybrid Systems. LNCS 1790 (2000), Hybrid Systems: Computation and Control, N. Lynch and B. Krogh (Eds.), 160-173.
16. Iscoe, I., McDonald, D.: Induced Dirichlet Forms and Capacitary Inequalities, Ann. Prob. 18, No.3 (1990), 1195-1221.
17. Ma, M., Rockner, M.: The Theory of (Non-Symmetric) Dirichlet Forms and Markov Processes, Springer Verlag, Berlin (1990).
18. Maler.O., Pnueli, A. Eds.: Proceedings Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003, LNCS 2623, (2003).
19. Meyer, P.A.: Probability and Potentials. Blaisdell, Waltham Mass (1966).
20. Meyer, P.A.: Renaissance, Recollectments, Mélanges, Ralentissement de Processus de Markov. Ann. Inst. Fourier 25 (1975), 465-497.
21. Pola, G., Bujorianu, M.L., Lygeros, J., Di Benedetto, M. D.: Stochastic Hybrid Models: An Overview with applications to Air Traffic Management. ADHS, Analysis and Design of Hybrid System, Saint-Malo, 2003.
22. Rogers, L.C.G., Pitman, J.W.: Markov Functions. Ann. Prob. 9, No.4 (1981), 573-582.
23. Soner, H.M., Touzi N.: A stochastic Representation for the Level Set Equations. Comm. Partial Diff. Eq. 27, No.9-10 (2002) 2031-2053.