Monitoring the full range of ω-regular properties of stochastic systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5403 LNCS, Issue , 2009, Pages 105-119

  Gondi, Kalpana ^a   Patel, Yogeshkumar ^a   Sistla, A Prasad ^a  

^a UNIVERSITY OF ILLINOIS AT CHICAGO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EXPERIMENTAL RESULTS; HYBRID ALGORITHM (HA); HYBRID METHODS; STREETT AUTOMATON; SYSTEM BEHAVIORS;

ABSTRACTING; ALGORITHMS; AUTOMATA THEORY; HIDDEN MARKOV MODELS; HYBRID SYSTEMS; MARKOV PROCESSES; RANDOM PROCESSES; STOCHASTIC CONTROL SYSTEMS; STOCHASTIC SYSTEMS; TRANSLATION (LANGUAGES);

MODEL CHECKING;

EID: 58449102451     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-93900-9_12     Document Type: Conference Paper

References (17)

1. Amorhim, M., Rosu, G.: Efficient monitoring of omega-languages. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 364-378. Springer, Heidelberg (2005)
2. Cappe, O., Moulines, E., Riden. T.: Inferencing in Hidden Markov Models. Springer, Heidelberg (2005)
3. Helmink, L., Sellink, M.P.A., Vaandrager, F.W.: Proof-checking a data link protocol. In: Barendregt, H., Nipkow, T. (eds.) TYPES 1993. LNCS, vol. 806, pp. 127-165. Springer, Heidelberg (1994)
4. Hermanns, H., Katoen, J .-P., Meyer-Kayser, J., Siegle, M.: A markov chain model checker. In: Schwartzbach, M.I., Graf, S. (eds.) TACAS 2000. LNCS, vol. 1785, pp. 347-362. Springer, Heidelberg (2000)
5. Larsen, K.: Ideal Specification Formalisms = Expressivity + Compositionality + Decidability + Testability + ⋯ In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR 1990. LNCS, vol. 458. Springer, Heidelberg (1990)
6. Larsen, K.: The expressive power of implicit specifications. In: Leach Albert, J., Monien, B., Rodríguez-Artalejo, M. (eds.) ICALP 1991. LNCS, vol. 510. Springer, Heidelberg (1991)
7. Margaria, T., Sistla, A.P., Steffen, B., Zuck, L.D.: Taming interface specifications. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol. 3653, pp. 548-561. Springer, Heidelberg (2005)
8. Margaria, T., Sistla, A., Steffen, B., Zuck, L.D.: Taming interface specifications (2005), www.cs.uic.edu/-sistla
9. Papoulis, A., Pillai, S.U.: Probability, Random Variables and Stochastic Processes. McGrawHill, NewYork (2002)
10. Pnueli, A., Zaks, A., Zuck, L.D.: Monitoring interfaces for faults. In: Proceedings of the 5th Workshop on Runtime Verification (RV 2005) (2005) (to appear in a special issue of ENTCS)
11. Pnueli, A., Zuck, L.: Probabilistic verification by tableux. In: Proceedings of First IEEE Symposium on Logic in Computer Science, pp. 322-331 (1986)
12. Pnueli, A., Zuck, L.: Probabilistic verification. Information and Computation 103, 1-29 (1993)
13. Probabilistic Model Checker, http://www.prismmodelchecker.org
14. Sammapun, U., Lee, I., Sokolsky, O.: Rt-mac:runtime monitoring and checking of quantitative and probabilistic properties. In: Proc. of 11th IEEE International Conference on Embedded and Real-time Computing Systems and Applications (RTCSA 2005), pp. 147-153 (2005)
15. Sistla, A.P., Srinivas, A.R.: Monitoring temporal properties of stochastic systems. In: Logozzo, F., Peled, D.A., Zuck, L.D. (eds.) VMCAI 2008. LNCS, vol. 4905, pp. 294-308. Springer, Heidelberg (2008)
16. Sistla, A.P., Zhou, M., Zuck, L.D.: Monitoring off-the-shelf components. In: Emerson, E.A., Namjoshi, K.S. (eds.) VMCAI 2006. LNCS, vol. 3855, pp. 222-236. Springer, Heidelberg (2005)
17. Vardi, M.: Automatic verification of probabilistic concurrent systems. In: 26th annual Symposium on Foundations of Computer Science, pp. 327-338. IEEE Computer Society Press, Los Alamitos (1985)