메뉴 건너뛰기




Volumn , Issue , 2010, Pages 253-262

On the connections between PCTL and dynamic programming

Author keywords

Dynamic programming; Integral equation; Markov processes; PCTL

Indexed keywords

BASIC PROPERTIES; FINITE-STATE; MARKOV CHAIN; MODAL LOGIC; PROBABILISTIC COMPUTATION; RECOVERY STRATEGIES; TEMPORAL PROPERTY;

EID: 77953039642     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1755952.1755988     Document Type: Conference Paper
Times cited : (31)

References (43)
  • 1
    • 52349103145 scopus 로고    scopus 로고
    • Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
    • A. ABATE, M. PRANDINI, J. LYGEROS, AND S. SASTRY, Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems, Automatica, 44 (2008), pp. 2724-2734.
    • (2008) Automatica , vol.44 , pp. 2724-2734
    • Abate, A.1    Prandini, M.2    Lygeros, J.3    Sastry, S.4
  • 2
    • 33745789865 scopus 로고    scopus 로고
    • Reachability analysis for controlled discrete time stochastic hybrid systems
    • S. AMIN, A. ABATE, M. PRANDINI, J. LYGEROS, AND S. SASTRY, Reachability analysis for controlled discrete time stochastic hybrid systems, in HSCC, 2006, pp. 49-63.
    • (2006) HSCC , pp. 49-63
    • Amin, S.1    Abate, A.2    Prandini, M.3    Lygeros, J.4    Sastry, S.5
  • 3
    • 0004243911 scopus 로고
    • Birkhauser Boston Inc., Cambridge, MA, USA
    • J.-P. AUBIN, Viability Theory, Birkhauser Boston Inc., Cambridge, MA, USA, 1991.
    • (1991) Viability Theory
    • Aubin, J.-P.1
  • 10
    • 35248884760 scopus 로고    scopus 로고
    • Reachability questions in piecewise deterministic markov processes
    • HSCC, O. Maler and A. Pnueli, eds., Springer
    • M. L. BUJORIANU AND J. LYGEROS, Reachability questions in piecewise deterministic markov processes, in HSCC, O. Maler and A. Pnueli, eds., vol. 2623 of Lecture Notes in Computer Science, Springer, 2003, pp. 126-140.
    • (2003) Lecture Notes in Computer Science , vol.2623 , pp. 126-140
    • Bujorianu And, M.L.1    Lygeros, J.2
  • 11
    • 0035993469 scopus 로고    scopus 로고
    • Discrete-time risk models under rates of interest
    • J. CAI, Discrete-time risk models under rates of interest, Probab. Eng. Inf. Sci., 16 (2002), pp. 309-324.
    • (2002) Probab. Eng. Inf. Sci. , vol.16 , pp. 309-324
    • Cai, J.1
  • 12
    • 10144264562 scopus 로고    scopus 로고
    • Ruin probabilities with a markov chain interest model
    • J. CAI AND D. C. DICKSON, Ruin probabilities with a markov chain interest model, Insurance: Mathematics and Economics, 35 (2004), pp. 513-525.
    • (2004) Insurance: Mathematics and Economics , vol.35 , pp. 513-525
    • Cai, J.1    Dickson, D.C.2
  • 17
    • 0344082147 scopus 로고    scopus 로고
    • Ruin probabilities with compounding assets for discrete time finite horizon problems, independent period claim sizes and general premium structure
    • T. G. DE KOK, Ruin probabilities with compounding assets for discrete time finite horizon problems, independent period claim sizes and general premium structure, Insurance: Mathematics and Economics, 33 (2003), pp. 645-658.
    • (2003) Insurance: Mathematics and Economics , vol.33 , pp. 645-658
    • De Kok, T.G.1
  • 20
    • 0003096318 scopus 로고
    • A logic for reasoning about time and reliability
    • H. HANSSON AND B. JONSSON, A logic for reasoning about time and reliability, Formal Aspects of Computing, 6(5) (1994), pp. 512-535.
    • (1994) Formal Aspects of Computing , vol.6 , Issue.5 , pp. 512-535
    • Hansson, H.1    Jonsson, B.2
  • 23
    • 33646042954 scopus 로고    scopus 로고
    • Discrete-Time Markov Control Processes: Basic Optimality Criteria
    • Springer-Verlag, New York
    • O. HERNÁNDEZ-LERMA AND J. B. LASSERRE, Discrete-Time Markov Control Processes: Basic Optimality Criteria, vol. 30 of Applications of Mathematics, Springer-Verlag, New York, 1996.
    • (1996) Applications of Mathematics , vol.30
    • Hernández-Lerma, O.1    Lasserre, J.B.2
  • 24
    • 33745802027 scopus 로고    scopus 로고
    • PRISM: A tool for automatic verification of probabilistic systems
    • Proc. 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'06), H. Hermanns and J. Palsberg, eds., Springer
    • A. HINTON, M. KWIATKOWSKA, G. NORMAN, AND D. PARKER, PRISM: A tool for automatic verification of probabilistic systems, in Proc. 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'06), H. Hermanns and J. Palsberg, eds., vol. 3920 of LNCS, Springer, 2006, pp. 441-444.
    • (2006) LNCS , vol.3920 , pp. 441-444
    • Hinton, A.1    Kwiatkowska, M.2    Norman, G.3    Parker, D.4
  • 25
    • 27744519323 scopus 로고    scopus 로고
    • On finite-state approximants for probabilistic computation tree logic
    • M. HUTH, On finite-state approximants for probabilistic computation tree logic, Theor. Comput. Sci., 346(1) (2005), pp. 113-134.
    • (2005) Theor. Comput. Sci. , vol.346 , Issue.1 , pp. 113-134
    • Huth, M.1
  • 29
    • 34548060449 scopus 로고    scopus 로고
    • Stochastic model checking
    • Formal Methods for Performance Evaluation, Springer-Verlag
    • M. KWIATOWSKA, G. NORMAN, AND D. PARKER, Stochastic model checking, in Formal Methods for Performance Evaluation, Lecture Notes in Computer Science, Springer-Verlag, 2007, pp. 220-270.
    • (2007) Lecture Notes in Computer Science , pp. 220-270
    • Kwiatowska, M.1    Norman, G.2    Parker, D.3
  • 30
    • 2042449071 scopus 로고    scopus 로고
    • On reachability and minimum cost optimal control
    • J. LYGEROS, On reachability and minimum cost optimal control, Automatica, 40 (2004), pp. 917-927.
    • (2004) Automatica , vol.40 , pp. 917-927
    • Lygeros, J.1
  • 32
    • 0033211535 scopus 로고    scopus 로고
    • On the ruin probabilities in a general economic environment
    • H. NYRHINEN, On the ruin probabilities in a general economic environment, Stochastic Processes and their Applications, 83 (1999), pp. 319-330.
    • (1999) Stochastic Processes and Their Applications , vol.83 , pp. 319-330
    • Nyrhinen, H.1
  • 34
    • 77949264449 scopus 로고    scopus 로고
    • Ruin models with investment income
    • J. PAULSEN, Ruin models with investment income, Probability Surveys, 5 (2008), p. 416.
    • (2008) Probability Surveys , vol.5 , pp. 416
    • Paulsen, J.1
  • 35
    • 34548407836 scopus 로고    scopus 로고
    • Uncertainty and sustainability in fisheries and the benefit of marine protected areas
    • J. W. PITCHFORD, E. A. CODLING, AND D. PSARRA, Uncertainty and sustainability in fisheries and the benefit of marine protected areas, Ecological Modelling, 207 (2007), pp. 286-292.
    • (2007) Ecological Modelling , vol.207 , pp. 286-292
    • Pitchford, J.W.1    Codling, E.A.2    Psarra, D.3
  • 36
    • 47349092417 scopus 로고    scopus 로고
    • Approximate Dynamic Programming
    • Wiley-Interscience [John Wiley & Sons], Hoboken, NJ
    • W. B. POWELL, Approximate Dynamic Programming, Wiley Series in Probability and Statistics, Wiley-Interscience [John Wiley & Sons], Hoboken, NJ, 2007.
    • (2007) Wiley Series in Probability and Statistics
    • Powell, W.B.1
  • 37
    • 49049093464 scopus 로고    scopus 로고
    • Probability Theory with Applications
    • Springer-Verlag, 2 ed.
    • M. M. RAO AND R. J. SWIFT, Probability Theory with Applications, vol. 582 of Mathematics and Its Applications, Springer-Verlag, 2 ed., 2006.
    • (2006) Mathematics and Its Applications , vol.582
    • Rao, M.M.1    Swift, R.J.2
  • 39
    • 38649084675 scopus 로고    scopus 로고
    • Dynamic power management of a system with a two-priority request queue using probabilistic-model checking
    • IEEE Transactions on
    • A. SESIC, S. DAUTOVIC, AND V. MALBASA, Dynamic power management of a system with a two-priority request queue using probabilistic-model checking, Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, 27 (2008), pp. 403-407.
    • (2008) Computer-Aided Design of Integrated Circuits and Systems , vol.27 , pp. 403-407
    • Sesic, A.1    Dautovic, S.2    Malbasa, V.3
  • 41
    • 0142056077 scopus 로고    scopus 로고
    • Precise estimates for the ruin probability in finite horizon in a discrete-time model with heavy-tailed insurance and financial risks
    • Q. TANG AND G. TSITSIASHVILI, Precise estimates for the ruin probability in finite horizon in a discrete-time model with heavy-tailed insurance and financial risks, Stochastic Processes and their Applications, 108 (2003), pp. 299-325.
    • (2003) Stochastic Processes and Their Applications , vol.108 , pp. 299-325
    • Tang, Q.1    Tsitsiashvili, G.2
  • 42
    • 40749107053 scopus 로고    scopus 로고
    • Ruin probabilities for discrete time risk models with stochastic rates of interest
    • X. WEI AND Y. HU, Ruin probabilities for discrete time risk models with stochastic rates of interest, Statistics & Probability Letters, 78 (2008), pp. 707-715.
    • (2008) Statistics & Probability Letters , vol.78 , pp. 707-715
    • Wei, X.1    Hu, Y.2
  • 43
    • 33646694802 scopus 로고    scopus 로고
    • Ruin problems for a discrete time risk model with random interest rate
    • H. YANG AND L. ZHANG, Ruin problems for a discrete time risk model with random interest rate, Mathematical Methods of Operations Research, 63 (2006), pp. 287-299.
    • (2006) Mathematical Methods of Operations Research , vol.63 , pp. 287-299
    • Yang, H.1    Zhang, L.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.