Timely monitoring of partially observable stochastic systems

HSCC 2014 - Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (Part of CPS Week)

Volumn , Issue , 2014, Pages 61-70

  Sistla, A Prasad ^a   Žefran, Miloš ^a   Feng, Yao ^a   Ben, Yue ^a  

^a UNIVERSITY OF ILLINOIS AT CHICAGO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SYSTEMS; HYBRID SYSTEMS; STOCHASTIC CONTROL SYSTEMS;

CYBER PHYSICAL SYSTEMS (CPSS); FAILURE DETECTION; LOGARITHMIC RELATIONSHIP; RUNTIMES;

ALARM SYSTEMS;

EID: 84899710237     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2562059.2562136     Document Type: Conference Paper

References (33)

1. A. Balluchi, L. Benvenuti, M. Di Benedetto, and A. Sangiovanni- Vincentelli. Design of observers for hybrid systems. In Hybrid Systems: Computation and Control, volume 2289 of Lecture Notes in Computer Science, pages 59-80. Springer, 2002.
2. A. Bauer, M. Leucker, and C. Schallhart. Runtime verification for LTL and TLTL. ACM Transactions on Software Engineering and Methodology, 2011.
3. H. Blom and E. Bloem. Particle filtering for stochastic hybrid systems. In IEEE Conference on Decision and Control, pages 3221-3226, 2004.
4. O. Cappe, E. Moulines, and T. Riden. Inferencing in Hidden Markov Models. Springer, 2005.
5. M. d'Amorim and G. Roşu. Efficient monitoring of ω-languages. In Computer Aided Verification, volume 3576 of Lecture Notes in Computer Science, pages 311-318. Springer, 2005.
6. A. Doucet, N. de Freitas, K. Murphy, and S. Russell. Rao-Blackwellised particle filtering for dynamic Bayesian networks. In Uncertainty in AI (UAI), pages 176-183, 2000.
7. Y. Falcone, J. C. Fernandez, and L. Mounier. Run-time verification of safety-progress properties. In RV, volume 5779 of Lecture Notes in Computer Science, pages 40-59. Springer, 2009.
8. K. Gondi, Y. Patel, and A. Sistla. Monitoring the full range of ω-regular properties of stochastic systems. In Verification, Model Checking, and Abstract Interpretation, volume 5403 of Lecture Notes in Computer Science, pages 105-119. Springer, 2009.
9. W. Hoeffding. Probability inequalities for sums of bounded random varoables. Journal of the American Statistical Association, 58(301):13-30, 1963.
10. M. Hofbaur and B. Williams. Mode estimation of probabilistic hybrid systems. In Hybrid Systems: Computation and Control, volume 2289 of Lecture Notes in Computer Science, pages 81-91. Springer, 2002.
11. M. Isard and A. Blake. Condensation-conditional density propagation for visual tracking. International journal of computer vision, 29(1):5-28, 1998.
12. X. Koutsoukos, J. Kurien, and F. Zhao. Estimation of distributed hybrid systems using particle filtering methods. In Hybrid Systems: Computation and Control, volume 2623 of Lecture Notes in Computer Science, pages 298-313. Springer, 2003.
13. R. Kumar and V. Garg. Control of stochastic discrete event systems modeled by probabilistic languages. IEEE Transactions on Automatic Control, 46(4):593-606, 2001.
14. T. Margaria, A. Sistla, B. Steffen, and L. Zuck. Taming interface specifications. In CONCUR 2005-Concurrency Theory, volume 3653 of Lecture Notes in Computer Science, pages 548-561. Springer, 2005.
15. S. McIlraith, G. Biswas, D. Clancy, and V. Gupta. Hybrid systems diagnosis. In Hybrid Systems: Computation and Control, volume 1790 of Lecture Notes in Computer Science, pages 282-295. Springer, 2000.
16. V. Pantelic, S. Postma, and M. Lawford. Probabilistic Supervisory Control of Probabilistic Discrete Event Systems. IEEE Transactions on Automatic Control, 54(8):2013-2018, 2009.
17. A. Papoulis and S. U. Pillai. Probability, Random Variables and Stochastic Processes. McGrawHill, NewYork, 2002.
18. A. Pnueli and A. Zaks. PSL model checking and run-time verification via testers. In FM, volume 4085 of Lecture Notes in Computer Science, pages 573-586. Springer, 2006.
19. A. Pnueli, A. Zaks, and L. D. Zuck. Monitoring interfaces for faults. In Runtime Verification (RV'05), 2005.
20. H. V. Poor and O. Hadjiliadis. Quickest Detection. Cambridge University Press, Boston, MA, 2008.
21. S. J. Russell and P. Norvig. Artificial Intelligence: A Modern Approach. Prentice Hall, second edition, December 2002.
22. U. Sammapun, I. Lee, and O. Sokolsky. 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), pages 147-153, 2005.
23. A. Sistla, M. Zhou, and L. Zuck. Monitoring off-the-shelf components. In Verification, Model Checking, and Abstract Interpretation, volume 3855 of Lecture Notes in Computer Science, pages 222-236. Springer, 2006.
24. A. P. Sistla, M. Žefran, and Y. Feng. Monitorability in stochastic dynamic systems. In Computer Aided Verification (CAV 2011), 2011.
25. A. P. Sistla, M. Žefran, and Y. Feng. Runtime monitoring of stochastic cyber physical systems with hybrid states. In 2nd International Conference on Runtime Verification (RV2011), 2011.
26. A. P. Sistla, M. Žefran, Y. Feng, and Y. Ben. Timely monitoring of partially observable stochastic systems. Technical report, University of Illinois at Chicago, 2013.
27. S. Stoller, E. Bartocci, J. Seyster, R. Grosu, K. Havelund, S. Smolka, and E. Zado. Runtime verification with state estimation. In Run Time Verification (RV2011), 2011.
28. S. Thrun, D. Fox, W. Burgard, and F. Dellaert. Robust Monte Carlo localization for mobile robots. Artificial Intelligence, 128(1-2):99-141, 2001.
29. M. Vardi. Automatic verification of probabilistic concurrent systems. In 26th annual Symposium on Foundations of Computer Science, pages 327-338. IEEE Computer Society Press, 1985.
30. V. Verma, G. Gordon, R. Simmons, and S. Thrun. Real-time fault diagnosis. IEEE Robotics & Automation Magazine, 11(2):56-66, 2004.
31. M. Viswanathan and M. Kim. Foundations for runtime monitoring of reactive systems-fundamentals of the mac language. In ICTAC, volume 3407 of Lecture Notes in Computer Science, pages 543-556. Springer, 2004.
32. B. Wetherill and K. Glazenbrook. Sequential Methods in Statistics. Chapman and Hall, 1986.
33. T. Yoo and S. Lafortune. Polynomial-time verification of diagnosability of partially observed discrete-event systems. IEEE Transactions on Automatic Control, 47(9):1491-1495, 2002.