-
1
-
-
79952170727
-
Approximate model checking of stochastic hybrid systems
-
December
-
A. Abate, J.-P. Katoen, J. Lygeros, and M. Prandini. Approximate model checking of stochastic hybrid systems. European Journal of Control, 16: 624-641, December 2010.
-
(2010)
European Journal of Control
, vol.16
, pp. 624-641
-
-
Abate, A.1
Katoen, J.-P.2
Lygeros, J.3
Prandini, M.4
-
3
-
-
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(11): 2724-2734, 2008.
-
(2008)
Automatica
, vol.44
, Issue.11
, pp. 2724-2734
-
-
Abate, A.1
Prandini, M.2
Lygeros, J.3
Sastry, S.4
-
7
-
-
84895232976
-
-
Springer-Verlag, Berlin
-
V.I. Bogachev. Measure theory. Vol. I, II. Springer-Verlag, Berlin, 2007.
-
(2007)
Measure Theory
, vol.1-2
-
-
Bogachev, V.I.1
-
9
-
-
2442553673
-
Metrics for labelled Markov processes
-
J. Desharnais, V. Gupta, R. Jagadeesan, and P. Panangaden. Metrics for labelled Markov processes. Theoretical Computer Science, 318(3): 323-354, 2004.
-
(2004)
Theoretical Computer Science
, vol.318
, Issue.3
, pp. 323-354
-
-
Desharnais, J.1
Gupta, V.2
Jagadeesan, R.3
Panangaden, P.4
-
11
-
-
34247888357
-
Real analysis
-
John Wiley & Sons Inc., New York, second edition
-
G.B. Folland. Real analysis. Pure and Applied Mathematics. John Wiley & Sons Inc., New York, second edition, 1999.
-
(1999)
Pure and Applied Mathematics
-
-
Folland, G.B.1
-
12
-
-
34249005820
-
Approximation metrics for discrete and continuous systems
-
May
-
A. Girard and G. J. Pappas. Approximation metrics for discrete and continuous systems. IEEE Transactions on Automatic Control, 52(5): 782-798, May 2007.
-
(2007)
IEEE Transactions on Automatic Control
, vol.52
, Issue.5
, pp. 782-798
-
-
Girard, A.1
Pappas, G.J.2
-
14
-
-
33745802027
-
PRISM: A tool for automatic verification of probabilistic systems
-
H. Hermanns and J. Palsberg, editors Springer Verlag
-
A. Hinton, M. Kwiatkowska, G. Norman, and D. Parker. PRISM: A tool for automatic verification of probabilistic systems. In H. Hermanns and J. Palsberg, editors, Tools and Algorithms for the Construction and Analysis of Systems, volume 3920 of Lecture Notes in Computer Science, pages 441-444. Springer Verlag, 2006.
-
(2006)
Tools and Algorithms for the Construction and Analysis of Systems, Volume 3920 of Lecture Notes in Computer Science
, pp. 441-444
-
-
Hinton, A.1
Kwiatkowska, M.2
Norman, G.3
Parker, D.4
-
15
-
-
27744519323
-
On finite-state approximants for probabilistic computation tree logic
-
M. Huth. On finite-state approximants for probabilistic computation tree logic. Theoretical Computer Science, 346(1): 113-134, 2005.
-
(2005)
Theoretical Computer Science
, vol.346
, Issue.1
, pp. 113-134
-
-
Huth, M.1
-
16
-
-
70349319988
-
A Bayesian approach to model checking biological systems
-
Springer
-
S. Jha, E. Clarke, C. Langmead, A. Legay, A. Platzer, and P. Zuliani. A bayesian approach to model checking biological systems. In Computational Methods in Systems Biology, pages 218-234. Springer, 2009.
-
(2009)
Computational Methods in Systems Biology
, pp. 218-234
-
-
Jha, S.1
Clarke, E.2
Langmead, C.3
Legay, A.4
Platzer, A.5
Zuliani, P.6
-
18
-
-
84876775930
-
Measure of infinitary codes
-
N.H. Lâm and L. Vân. Measure of infinitary codes. Acta Cybernetica, 11(3): 127-137, 1994.
-
(1994)
Acta Cybernetica
, vol.11
, Issue.3
, pp. 127-137
-
-
Lâm, N.H.1
Vân, L.2
-
19
-
-
0242366144
-
Bisimilar linear systems
-
G.J. Pappas. Bisimilar linear systems. Automatica, 39(12): 2035-2047, 2003.
-
(2003)
Automatica
, vol.39
, Issue.12
, pp. 2035-2047
-
-
Pappas, G.J.1
-
20
-
-
77953039642
-
On the connections between PCTL and dynamic programming
-
F. Ramponi, D. Chatterjee, S. Summers, and J. Lygeros. On the connections between PCTL and dynamic programming. In Proceedings of the 13th ACM international conference on Hybrid Systems: Computation and Control, pages 253-262, 2010.
-
(2010)
Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control
, pp. 253-262
-
-
Ramponi, F.1
Chatterjee, D.2
Summers, S.3
Lygeros, J.4
-
21
-
-
0003737306
-
-
North-Holland Publishing, Amsterdam, second edition
-
D. Revuz. Markov chains. North-Holland Publishing, Amsterdam, second edition, 1984.
-
(1984)
Markov Chains
-
-
Revuz, D.1
-
22
-
-
80055031737
-
Adaptive gridding for abstraction and verification of stochastic hybrid systems
-
Aachen, DE
-
S.E.Z. Soudjani and A. Abate. Adaptive gridding for abstraction and verification of stochastic hybrid systems. In Quantitative Evaluation of Systems (QEST), pages 59-68, Aachen, DE, 2011.
-
(2011)
Quantitative Evaluation of Systems (QEST)
, pp. 59-68
-
-
Soudjani, S.E.Z.1
Abate, A.2
-
23
-
-
78249282613
-
Verification of discrete time stochastic hybrid systems: A stochastic reach-avoid decision problem
-
S. Summers and J. Lygeros. Verification of discrete time stochastic hybrid systems: A stochastic reach-avoid decision problem. Automatica, 46(12): 1951-1961, 2010.
-
(2010)
Automatica
, vol.46
, Issue.12
, pp. 1951-1961
-
-
Summers, S.1
Lygeros, J.2
|