Abstract
In this paper we generalize a model for stochastic hybrid systems. First, we prove that this model is a right Markov process and it satisfies some mathematical properties. Second, we propose a method based on the theory of Dirichlet forms to study the reachability problem associated with these systems.
Work Supported by European Comission under COLUMBUSIST-2001-38314.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Albeverio, S., Ma, M.: A General Correspondence Between Dirichlet Forms and Right Processes. Bull. Amer. Math. Soc. 26(2), 245–252 (1992)
Arnold, L.: Stochastic Differential Equations: Theory and Applications. Wiley - Interscience, New York (1974)
Bass, R.F.: Adding and Substracting Jumps from Markov Processes. Trans. of Amer. Math. Soc. 255, 363–376 (1979)
Bensoussan, A., Menaldi, J.L.: Stochastic Hybrid Control. Journal of Mathematical Analysis and Applications 249, 261–288 (2000)
Benveniste, A., Jacod, J.: Systèmes de Lévy de Processus de Markov. Invent. Math. 21, 183–198 (1973)
Bertsekas, D.P., Shreve, S.E.: Stochastic Optimal Control: The Discrete-Time Case. Athena Scientific, Belmont (1996)
Blumenthal, R.M., Getoor, R.K.: Markov Processes and Potential Theory. Academic Press, New York (1968)
Bouleau, N., Hirsch, F.: Propriétés d’Absolue Continuité dans les Espaces de Dirichlet et Applications aux Equations Différentielles Stochastiques. In: Sém. de Probabilités, LNM, vol. 20, Springer, Heidelberg (1986)
Bujorianu, M.L., Lygeros, J.: Reachability Questions in Piecewise Deterministic Markov Processes. In: [18], pp. 126–140
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)
Chen, Z.Q., Ma, Z.-M., Rockner, M.: Quasi-Homeomorphisms of Dirichlet Forms. Nagoya Math. J. 136, 1–15 (1994)
Davis, M.H.A.: Markov Models and Optimization. Chapman & Hall, London (1993)
Dutertre, B.: Elements of Mathematical Analysis in PVS. TPHOLs 1996, Turku, Finland (1996)
Fukushima, M.: Dirichlet Forms and Markov Processes. N. Holland, Amsterdam (1980)
Hu, J., Lygeros, J., Sastry, S.: Towards a Theory of Stochastic Hybrid Systems. In: Lynch, N., Krogh, B. (eds.) HSCC 2000. LNCS, vol. 1790, pp. 160–173. Springer, Heidelberg (2000)
Iscoe, I., McDonald, D.: Induced Dirichlet Forms and Capacitary Inequalities. Ann. Prob. 18(3), 1195–1221 (1990)
Ma, M., Rockner, M.: The Theory of (Non-Symmetric) Dirichlet Forms and Markov Processes. Springer, Berlin (1990)
Maler, O., Pnueli, A. (eds.): Proceedings Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003. LNCS, vol. 2623 (2003)
Meyer, P.A.: Probability and Potentials. Blaisdell, Waltham Mass (1966)
Meyer, P.A.: Renaissance, Recollectments, Mélanges, Ralentissement de Processus de Markov. Ann. Inst. Fourier 25, 465–497 (1975)
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)
Rogers, L.C.G., Pitman, J.W.: Markov Functions. Ann. Prob. 9(4), 573–582 (1981)
Soner, H.M., Touzi, N.: A stochastic Representation for the Level Set Equations. Comm. Partial Diff. Eq. 27(9-10), 2031–2053 (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bujorianu, M.L. (2004). Extended Stochastic Hybrid Systems and Their Reachability Problem. In: Alur, R., Pappas, G.J. (eds) Hybrid Systems: Computation and Control. HSCC 2004. Lecture Notes in Computer Science, vol 2993. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24743-2_16
Download citation
DOI: https://doi.org/10.1007/978-3-540-24743-2_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21259-1
Online ISBN: 978-3-540-24743-2
eBook Packages: Springer Book Archive