Adaptive gridding for abstraction and verification of stochastic hybrid systems

Proceedings of the 2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011

Volumn , Issue , 2011, Pages 59-68

  Soudjani, Sadegh Esmaeil Zadeh ^a   Abate, Alessandro ^a  

^a DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Abstractions; Approximations; Markov Chains; Reachability and Safety; Stochastic Hybrid Systems

Indexed keywords

ABSTRACTIONS; APPROXIMATIONS; MARKOV CHAIN; REACHABILITY; STOCHASTIC HYBRID SYSTEMS;

ABSTRACTING; APPROXIMATION ALGORITHMS; HYBRID COMPUTERS; HYBRID SENSORS; HYBRID SYSTEMS; MARKOV PROCESSES; MODEL CHECKING; STOCHASTIC MODELS; STOCHASTIC SYSTEMS;

ADAPTIVE ALGORITHMS;

EID: 80055031737     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QEST.2011.16     Document Type: Conference Paper

References (11)

1. A. Abate, M. Prandini, J. Lygeros, and S. Sastry, "Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems," Automatica, vol. 44, no. 11, pp. 2724-2734, November 2008.
2. F. Ramponi, D. Chatterjee, S. Summers, and J. Lygeros, "On the connections between PCTL and dynamic programming,"in ACM Proceedings of the 13th International Conference on Hybrid Systems: Computation and Control, April 2010, pp. 253-262.
3. A. Abate, J.-P. Katoen, and A. Mereacre, "Quantitative automata model checking of autonomous stochastic hybrid systems," in ACM Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control, Chicago, IL, April 2011, pp. 83-92.
4. A. Abate, J.-P. Katoen, J. Lygeros, and M. Prandini, "Approximate model checking of stochastic hybrid systems," European Journal of Control, no. 6, pp. 624-641, 2010.
5. A. Hinton, M. Kwiatkowska, G. Norman, and D. Parker, "PRISM: A tool for automatic verification of probabilistic systems," in Tools and Algorithms for the Construction and Analysis of Systems, ser. Lecture Notes in Computer Science, H. Hermanns and J. Palsberg, Eds. Springer Verlag, Berlin Heidelberg, 2006, vol. 3920, pp. 441-444. (Pubitemid 44019387)
6. J.-P. Katoen, M. Khattri, and I. S. Zapreev, "A Markov reward model checker," in IEEE Proceedings of the International Conference on Quantitative Evaluation of Systems, Los Alamos, CA, USA, 2005, pp. 243-244.
7. M. Fränzle, H. Hermanns, and T. Teige, "Stochastic satisfiability modulo theory: A novel technique for the analysis of probabilistic hybrid systems," in Hybrid Systems: Computation and Control, ser. Lecture Notes in Computer Sciences, M. Egerstedt and B. Misra, Eds. Springer Verlag, Berlin Heidelberg, 2008, no. 4981, pp. 172-186.
8. M. Prandini and J. Hu, "Stochastic reachability: Theory and numerical approximation," in Stochastic hybrid systems, ser. Automation and Control Engineering Series 24, C. Cassandras and J. Lygeros, Eds. Taylor & Francis Group/CRC Press, 2006, pp. 107-138.
9. R. Munos and A. Moore, "Variable resolution discretization in optimal control," Machine Learning, vol. 49, pp. 291-323, 2002. (Pubitemid 34325691)
10. C. Traxler, "An algorithm for adaptive mesh refinement in n dimensions," Computing, vol. 59, pp. 115-137, 1997. (Pubitemid 127653212)
11. P. Somerville, "Numerical computation of multivariate normal and multivariate-t over convex regions," Journal of Computational and Graphical Statistics, vol. 7, no. 4, pp. 529-544, 1998. (Pubitemid 128635041)