Reachability analysis of stochastic hybrid systems by optimal control

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

Volumn 4981 LNCS, Issue , 2008, Pages 610-613

  Bujorianu, Manuela L ^a,c   Lygeros, John ^b   Langerak, Rom ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

^b ETH ZURICH   (Switzerland)

^c UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

Markov processes; Optimal stopping; Reachability problem; Stochastic hybrid systems

Indexed keywords

HYBRID SYSTEMS; MARKOV PROCESSES; NUMERICAL METHODS; STOCHASTIC SYSTEMS;

OPTIMAL CONTROLS; OPTIMAL STOPPING; OPTIMAL STOPPING PROBLEM; REACHABILITY; REACHABILITY ANALYSIS; REACHABILITY PROBLEM; STOCHASTIC HYBRID SYSTEMS; VERIFICATION PROBLEMS;

STOCHASTIC CONTROL SYSTEMS;

EID: 70350020969     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78929-1_46     Document Type: Conference Paper

References (7)

1. Bismut, J.-M., Skalli, B.: Temps d'arrêt Optimal, Th́eorie Ǵeńerale des Processus et Processus de Markov. Prob. Th. Rel. Fields 36(4), 301-313 (1977)
2. Bujorianu, M.L., Lygeros, J.: Towards Modelling of General Stochastic Hybrid Systems. LNCIS, vol.337, pp. 3-30 (2006)
3. Bujorianu, M.L., Lygeros, J.: New Insights on Stochastic Reachability. In: Proc. 46th Conference in Decision and Control (2007)
4. El Karoui, N., Lepeltier, J.-P., Millet, A.: A Probabilistic Approach to the Reduite in Optimal Stopping. Probab. Math. Statist. 13(1), 97-121 (1992)
5. Glover, J.: Representing last exit potentials as potentials of measures. Z. Wahrsch. Verw. Gebiete 61(1), 17-30 (1982)
6. Graversen, S.E.: A Riesz Decomposition Theorem. Nagoya Math. J. 114, 123-133 (1989)
7. Mordecki, E., Salminen, P.: Optimal stopping of Hunt and Ĺevy processes. Stochastics 79(3-4), 233-251 (2007)