-
1
-
-
52349103145
-
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
-
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
-
-
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
-
4
-
-
51949118177
-
A probabilistic attacker model for quantitative verification of dos security threats
-
S. BASAGIANNIS, P. KATSAROS, A. POMBORTSIS, AND N. ALEXIOU, A probabilistic attacker model for quantitative verification of dos security threats, in Computer Software and Applications, 2008. COMPSAC '08. 32nd Annual IEEE International, 28 2008-Aug. 1 2008, pp. 12-19.
-
Computer Software and Applications, 2008. COMPSAC '08. 32nd Annual IEEE International, 28 2008-Aug. 1 2008
, pp. 12-19
-
-
Basagiannis, S.1
Katsaros, P.2
Pombortsis, A.3
Alexiou, N.4
-
8
-
-
1842430146
-
Stochastic target hitting time and the problem of early retirement
-
K. BODA, J. A. FILAR, Y. LIN, AND L. SPANJERS, Stochastic target hitting time and the problem of early retirement, IEEE Transactions on Automatic Control, 49 (2004), pp. 409-419.
-
(2004)
IEEE Transactions on Automatic Control
, vol.49
, pp. 409-419
-
-
Boda, K.1
Filar, J.A.2
Lin, Y.3
Spanjers, L.4
-
10
-
-
35248884760
-
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
-
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
-
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
-
14
-
-
33645857666
-
Logic and stochastic modeling with smart
-
G. CIARDO, R. L. JONES, III, A. S. MINER, AND R. I. SIMINICEANU, Logic and stochastic modeling with smart, Perform. Eval., 63 (2006), pp. 578-608.
-
(2006)
Perform. Eval.
, vol.63
, pp. 578-608
-
-
Ciardo, G.1
Jones III, R.L.2
Miner, A.S.3
Siminiceanu, R.I.4
-
16
-
-
74049159570
-
Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization
-
R. D'ARGENIO, N. WOLOVICK, P. S. TERRAF, P. CALAYES, Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization, QEST09, Budapest, Hungary.
-
QEST09, Budapest, Hungary
-
-
D'Argenio, R.1
Wolovick, N.2
Terraf, P.S.3
Calayes, P.4
-
17
-
-
0344082147
-
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
-
18
-
-
85022932854
-
A Logical Characterization of Bisimulation for Labeled Markov Processes
-
J. DESHARNAIS, A. EDALAT, P. PANANGADEN, A Logical Characterization of Bisimulation for Labeled Markov Processes, Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science, p. 478-487, 1998.
-
(1998)
Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science
, pp. 478-487
-
-
Desharnais, J.1
Edalat, A.2
Panangaden, P.3
-
19
-
-
58449105122
-
Formal support for quantitative analysis of residual risks in safety-critical systems
-
IEEE Computer Society
-
J. ELMQVIST AND S. NADJM-TEHRANI, Formal support for quantitative analysis of residual risks in safety-critical systems, in HASE '08: Proceedings of the 2008 11th IEEE High Assurance Systems Engineering Symposium, Washington, DC, USA, 2008, IEEE Computer Society, pp. 154-164.
-
HASE '08: Proceedings of the 2008 11th IEEE High Assurance Systems Engineering Symposium, Washington, DC, USA, 2008
, pp. 154-164
-
-
Elmqvist, J.1
Nadjm-Tehrani, S.2
-
20
-
-
0003096318
-
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
-
21
-
-
38649122071
-
Probabilistic model checking of complex biological pathways
-
J. HEATH, M. KWIATKOWSKA, G. NORMAN, D. PARKER, AND O. TYMCHYSHYN, Probabilistic model checking of complex biological pathways, Theoretical Computer Science, 319 (2008), pp. 239-257.
-
(2008)
Theoretical Computer Science
, vol.319
, pp. 239-257
-
-
Heath, J.1
Kwiatkowska, M.2
Norman, G.3
Parker, D.4
Tymchyshyn, O.5
-
22
-
-
84863955305
-
A markov chain model checker
-
Springer-Verlag
-
H. HERMANNS, J.-P. KATOEN, J. MEYER-KAYSER, AND M. SIEGLE, A markov chain model checker, in TACAS '00: Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems, London, UK, 2000, Springer-Verlag, pp. 347-362.
-
TACAS '00: Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems, London, UK, 2000
, pp. 347-362
-
-
Hermanns, H.1
Katoen, J.-P.2
Meyer-Kayser, J.3
Siegle, M.4
-
23
-
-
33646042954
-
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
-
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
-
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
-
26
-
-
33750308810
-
A markov reward model checker
-
IEEE Computer Society
-
J.-P. KATOEN, M. KHATTRI, AND I. S. ZAPREEV, A markov reward model checker, in QEST '05: Proceedings of the Second International Conference on the Quantitative Evaluation of Systems, Washington, DC, USA, 2005, IEEE Computer Society, p. 243.
-
QEST '05: Proceedings of the Second International Conference on the Quantitative Evaluation of Systems, Washington, DC, USA, 2005
, pp. 243
-
-
Katoen, J.-P.1
Khattri, M.2
Zapreev, I.S.3
-
28
-
-
57049147549
-
Using probabilistic model checking in systems biology
-
M. KWIATKOWSKA, G. NORMAN, AND D. PARKER, Using probabilistic model checking in systems biology, ACM SIGMETRICS Performance Evaluation Review, 35 (2008), pp. 14-21.
-
(2008)
ACM SIGMETRICS Performance Evaluation Review
, vol.35
, pp. 14-21
-
-
Kwiatkowska, M.1
Norman, G.2
Parker, D.3
-
29
-
-
34548060449
-
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
-
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
-
31
-
-
84974725120
-
Level set methods for computation in hybrid systems
-
Springer-Verlag
-
I. MITCHELL AND C. TOMLIN, Level set methods for computation in hybrid systems, in HSCC '00: Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control, London, UK, 2000, Springer-Verlag, pp. 310-323.
-
HSCC '00: Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control, London, UK, 2000
, pp. 310-323
-
-
Mitchell, I.1
Tomlin, C.2
-
32
-
-
0033211535
-
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
-
33
-
-
51049122630
-
Modelling the tunability of early t cell signalling events
-
Springer-Verlag
-
N. D. OWENS, J. TIMMIS, A. GREENSTED, AND A. TYRRELL, Modelling the tunability of early t cell signalling events, in ICARIS '08: Proceedings of the 7th international conference on Artificial Immune Systems, Berlin, Heidelberg, 2008, Springer-Verlag, pp. 12-23.
-
ICARIS '08: Proceedings of the 7th International Conference on Artificial Immune Systems, Berlin, Heidelberg, 2008
, pp. 12-23
-
-
Owens, N.D.1
Timmis, J.2
Greensted, A.3
Tyrrell, A.4
-
34
-
-
77949264449
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
|