Stochastic differential dynamic logic for stochastic hybrid programs

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

Volumn 6803 LNAI, Issue , 2011, Pages 446-460

  Platzer, André ^a  

^a Computer Science Department ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ADAPTIVITY; COMPOSITIONAL MODELS; DISCRETE SYSTEMS; DISTRIBUTED SYSTEMS; DYNAMIC LOGIC; FUNDAMENTAL PROPERTIES; INCLUDING RULE; PROBABILISTIC SYSTEMS; STOCHASTIC BEHAVIOR; STOCHASTIC DIFFERENTIAL EQUATIONS; STOCHASTIC DYNAMICS; STOCHASTIC HYBRID SYSTEMS; TIME PROPERTIES; UNCERTAIN ENVIRONMENTS;

AUTOMATION; DIFFERENTIAL EQUATIONS; HYBRID COMPUTERS; HYBRID SENSORS; HYBRID SYSTEMS; PROBABILISTIC LOGICS; REAL TIME SYSTEMS; SEMANTICS; STOCHASTIC SYSTEMS;

STOCHASTIC MODELS;

EID: 80051705514     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-22438-6_34     Document Type: Conference Paper

References (28)

1. Abate, A., Prandini, M., Lygeros, J., Sastry, S.: Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems. Automatica 44(11), 2724-2734 (2008)
2. Bujorianu, M.L., Lygeros, J.: Towards a general theory of stochastic hybrid systems. In: Blom, H.A.P., Lygeros, J. (eds.) Stochastic Hybrid Systems: Theory and Safety Critical Applications. Lecture Notes Contr. Inf., vol. 337, pp. 3-30. Springer, Heidelberg (2006)
3. Cassandras, C.G., Lygeros, J. (eds.): Stochastic Hybrid Systems. CRC, Boca Raton (2006)
4. Dutertre, B.: Complete proof systems for first order interval temporal logic. In: LICS, pp. 36-43. IEEE Computer Society, Los Alamitos (1995)
5. Dynkin, E.B.: Markov Processes. Springer, Heidelberg (1965)
6. Feldman, Y.A., Harel, D.: A probabilistic dynamic logic. J. Comput. Syst. Sci. 28(2), 193-215 (1984)
7. Fränzle, M., Teige, T., Eggers, A.: Engineering constraint solvers for automatic analysis of probabilistic hybrid automata. J. Log. Algebr. Program. 79(7), 436-466 (2010)
8. Ghosh, M.K., Arapostathis, A., Marcus, S.I.: Ergodic control of switching diffusions. SIAM J. Control Optim. 35(6), 1952-1988 (1997) (Pubitemid 127618694)
9. Hu, J., Lygeros, J., Sastry, S.: Towards a theory of stochastic hybrid systems. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol. 1790, pp. 160-173. Springer, Heidelberg (2000)
10. Karatzas, I., Shreve, S.: Brownian Motion and Stochastic Calculus. Springer, Heidelberg (1991)
11. Kloeden, P.E., Platen, E.: Numerical Solution of Stochastic Differential Equations. Springer, New York (2010)
12. Koutsoukos, X.D., Riley, D.: Computational methods for verification of stochastic hybrid systems. IEEE T. Syst. Man, Cy. A 38(2), 385-396 (2008) (Pubitemid 351425591)
13. Kozen, D.: Semantics of probabilistic programs. J. Comput. Syst. Sci. 22(3), 328-350 (1981)
14. Kozen, D.: A probabilistic PDL. J. Comput. Syst. Sci. 30(2), 162-178 (1985)
15. Kushner, H.J. (ed.): Stochastic Stability and Control. Academic Press, New York (1967)
16. Kwiatkowska, M.Z., Norman, G., Parker, D., Qu, H.: Assume-guarantee verification for probabilistic systems. In: Esparza, J., Majumdar, R. (eds.) TACAS 2010. LNCS, vol. 6015, pp. 23-37. Springer, Heidelberg (2010)
17. Kwiatkowska, M.Z., Norman, G., Sproston, J., Wang, F.: Symbolic model checking for probabilistic timed automata. Inf. Comput. 205(7), 1027-1077 (2007) (Pubitemid 46765041)
18. Bevilacqua, V., Sharykin, R.: Specification and analysis of distributed object-based stochastic hybrid systems. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol. 3927, pp. 460-475. Springer, Heidelberg (2006) (Pubitemid 44019605)
19. Øksendal, B.: Stochastic Differential Equations: An Introduction with Applications. Springer, Heidelberg (2007)
20. Platzer, A.: Differential-algebraic dynamic logic for differential-algebraic programs. J. Log. Comput. 20(1), 309-352 (2010)
21. Platzer, A.: Quantified differential dynamic logic for distributed hybrid systems. In: Dawar, A., Veith, H. (eds.) CSL 2010. LNCS, vol. 6247, pp. 469-483. Springer, Heidelberg (2010)
22. Platzer, A.: Stochastic differential dynamic logic for stochastic hybrid systems. Tech. Rep. CMU-CS-11-111, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA (2011)
23. Prajna, S., Jadbabaie, A., Pappas, G.J.: A framework for worst-case and stochastic safety verification using barrier certificates. IEEE T. Automat. Contr. 52(8), 1415-1429 (2007)
24. Pratt, V.R.: Semantical considerations on Floyd-Hoare logic. In: FOCS, pp. 109-121. IEEE, Los Alamitos (1976)
25. Richardson, M., Domingos, P.: Markov logic networks. Machine Learning 62(1-2), 107-136 (2006) (Pubitemid 43202307)
26. Tarski, A.: A Decision Method for Elementary Algebra and Geometry, 2nd edn. University of California Press, Berkeley (1951)
27. Younes, H.L.S., Kwiatkowska, M.Z., Norman, G., Parker, D.: Numerical vs. statistical probabilistic model checking. STTT 8(3), 216-228 (2006) (Pubitemid 44445181)
28. Zuliani, P., Platzer, A., Clarke, E.M.: Bayesian statistical model checking with application to Simulink/Stateflow verification. In: Johansson, K.H., Yi, W. (eds.) HSCC, pp. 243-252. ACM, New York (2010)