Approximate parameter synthesis for probabilistic time-bounded reachability

Proceedings - Real-Time Systems Symposium

Volumn , Issue , 2008, Pages 173-182

  Han, Tingting ^a,b   Katoen, Joost Pieter ^a,b   Mereacre, Alexandru ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

^b UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

AVERAGE SPEED; CONTINUOUS TIME MARKOV CHAIN; ERROR-CHECKING; PARAMETER CONSTRAINTS; PARAMETER RANGE; PARAMETER SYNTHESIS; PARAMETER VALUES; RATE EXPRESSION; REACHABILITY; REFINEMENT TECHNIQUES; STOCHASTIC REAL-TIME SYSTEMS; STORAGE SYSTEMS; TIME COMPLEXITY; TIME-BOUNDED REACHABILITY;

MARKOV PROCESSES;

REAL TIME SYSTEMS;

EID: 67249124193     PISSN: 10528725     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTSS.2008.19     Document Type: Conference Paper

References (23)

1. R. Alur, T. A. Henzinger, and M. Y. Vardi. Parametric realtime reasoning. In STOC, pages 592-601, 1993.
2. M. Avriel. Nonlinear Programming: Analysis and Methods. Dover Publishing, 2003.
3. C. Baier, B. R. Haverkort, H. Hermanns, and J.-P. Katoen. Model-checking algorithms for continuous-time Markov chains. IEEE Trans. Software Eng., 29(6):524-541, 2003.
4. I.-R. Chen and I.-L. Yen. Analysis of probabilistic error checking procedures on storage systems. Comput. J., 38(5):348-354, 1995.
5. T. H. Cormen, C. E. Leiserson, R. L. Rivest, and C. Stein. Introduction to Algorithms. The MIT Press and McGraw- Hill Book Company, 2001.
6. C. Daws. Symbolic and parametric model checking of discrete-time Markov chains. In ICTAC, LNCS 3407, pages 280-294, 2004.
7. R. Fröberg. An Introduction to Gröbner Bases. John Wiley & Sons, 1998.
8. R. W. Hamming. Numerical Methods for Scientists and Engineers. McGraw-Hill, 1973.
9. E. Hansen. Global Optimization Using Interval Analysis. Dekker, New York, 1992.
10. P.Henrici andW. R. Kenan. Applied & Computational Complex Analysis: Power Series Integration Conformal Mapping Location of Zero. John Wiley & Sons, 1988.
11. T. Hune, J. Romijn, M. Stoelinga, and F. W. Vaandrager. Linear parametric model checking of timed automata. J. Log. Algebr. Program., 52-53:183-220, 2002. (Pubitemid 35048931)
12. A. Jensen. Markoff chains as an aid in the study of Markoff processes. Skand. Aktuarietidskrift, 36:87-91, 1953.
13. M. Z. Kwiatkowska, G. Norman, and D. Parker. Probabilistic symbolic model checking with PRISM: a hybrid approach. STTT, 6(2):128-142, 2004.
14. E. Laguerre. Sur la théorie des équations numériques. J. Math. Pures Appl. (3e śerie), 9:99-146, 1883.
15. R. Lanotte, A. Maggiolo-Schettini, and A. Troina. Parametric probabilistic transition systems for system design and analysis. Formal Asp. Comput., 19(1):93-109, 2007. (Pubitemid 46407480)
16. J. Nocedal and S. Wright. Numerical Optimization. Springer, New York, 1999.
17. V. Y. Pan. Approximating complex polynomial zeros: Modified Weyl's quadtree construction and improved Newton's iteration. J. Complexity, 16(1):213-264, 2000.
18. A. Schrijver. Theory of Linear and Integer Programming. John Wiley & Sons, 1998.
19. G. A. Sitton, C. S. Burrus, J. W. Fox, and S. Treitel. Factoring very-high-degree polynomials. Signal Processing Magazine, IEEE, 20(6):27-42, 2003.
20. H. Stetter. Analysis of Discretization Methods for Ordinary Differential Equations. Springer-Verlag, 1973.
21. I. Stewart. Galois Theory. Chapman and Hall, 1989.
22. A. Thümmler, P. Buchholz, and M. Telek. A novel approach for phase-type fitting with the EM algorithm. IEEE Trans. Dependable Sec. Comput., 3(3):245-258, 2006. (Pubitemid 44304211)
23. D. Zhang and R. Cleaveland. Fast on-the-fly parametric realtime model checking. In RTSS, pages 157-166, 2005.