Robust sampling for MITL specifications

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

Volumn 4763 LNCS, Issue , 2007, Pages 147-162

  Fainekos, Georgios E ^a   Pappas, George J ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL EFFICIENCY; FORMAL LOGIC; MATHEMATICAL MODELS; REAL TIME SYSTEMS; SPECIFICATIONS;

DISCRETE TIME ANALYSIS; TEMPORAL LOGIC REASONING;

CASE BASED REASONING;

EID: 38149116993     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75454-1_12     Document Type: Conference Paper

References (23)

1. Pillage, L., Rohrer, R., Visweswariah, C.: Electronic Circuit and System Simulation Methods. McGraw-Hill, New York (1995)
2. Ogata, K.: Modern Control Engineering, 4th edn. Prentice-Hall, Englewood Cliffs (2001)
3. Koymans, R.: Specifying real-time properties with metric temporal logic. Real-Time Systems 2, 255-299 (1990)
4. Alur, R., Feder, T., Henzinger, T.A.: The benefits of relaxing punctuality. Journal of the ACM 43, 116-146 (1996)
5. Hirshfeld, Y., Rabinovich, A.: Logics for real time: Decidability and complexity. Fundam. Inf. 62, 1-28 (2004)
6. Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS 2004 and FTRTFT 2004. LNCS, vol. 3253, pp. 152-166. Springer, Heidelberg (2004)
7. Maler, O., Nickovic, D., Pnueli, A.: From MITL to Timed Automata. In: Asarin, E., Bouyer, P. (eds.) FORMATS 2006. LNCS, vol. 4202, pp. 274-289. Springer, Heidelberg (2006)
8. Khalil, H.K.: Nonlinear Systems, 2nd edn. Prentice-Hall, Englewood Cliffs (1996)
9. Thati, P., Rosu, G.: Monitoring algorithms for metric temporal logic specifications. In: Runtime Verification. ENTCS, vol. 113, pp. 145-162. Elsevier, Amsterdam (2005)
10. Bensalem, S., Bozga, M., Krichen, M., Tripakis, S.: Testing conformance of real-time applications with automatic generation of observers. In: Proceedings of Run-time Verification Workshop, Barcelona, Spain (2004)
11. Tan, L., Kim, J., Sokolsky, O., Lee, I.: Model-based testing and monitoring for hybrid embedded systems. In: Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, pp. 487-492 (2004)
12. Fainekos, G.E., Pappas, G.J.: Robustness of temporal logic specifications. In: Havelund, K., Núñez, M., Roşu, G., Wolff, B. (eds.) FATES 2006 and RV 2006. LNCS, vol. 4262, pp. 178-192. Springer, Heidelberg (2006)
13. Pnueli, A.: Development of hybrid systems. In: Langmaack, H., de Roever, W.-P., Vytopil, J. (eds.) Formal Techniques in Real-Time and Fault-Tolerant Systems. LNCS, vol. 863, pp. 77-85. Springer, Heidelberg (1994)
14. Boyd, S., Vandenberghe, L.: Convex Optimization. Cambridge University Press, Cambridge (2004)
15. Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science: Formal Models and Semantics, vol. B, pp. 995-1072. North-Holland Pub. Co./MIT Press, Amsterdam (1990)
16. Alur, R., Henzinger, T.A.: Real-Time Logics: Complexity and Expressiveness. In: Fifth Annual IEEE Symposium on Logic in Computer Science, pp. 390-401. IEEE Computer Society Press, Washington, D.C (1990)
17. de Alfaro, L., Faella, M., Stoelinga, M.: Linear and branching metrics for quantitative transition systems. In: Diaz, J., Karhumäki, J., Lepistö, A., Sannella, D. (eds.) ICALP 2004. LNCS, vol. 3142, pp. 97-109. Springer, Heidelberg (2004)
18. Wood, G.R., Zhang, B.P.: Estimation of the Lipschitz constant of a function. Journal of Global Optimization 8, 91-103 (1996)
19. Huang, J., Voeten, J., Geilen, M.: Real-time property preservation in approximations of timed systems. In: Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design, pp. 163-171 (2003)
20. de Alfaro, L., Manna, Z.: Verification in continuous time by discrete reasoning. In: Alagar, V.S., Nivat, M. (eds.) AMAST 1995. LNCS, vol. 936, pp. 292-306. Springer, Heidelberg (1995)
21. Furia, C.A., Rossi, M.: Integrating discrete and continuous time metric temporal logics through sampling. In: Asarin, E., Bouyer, P. (eds.) FORMATS 2006. LNCS, vol. 4202, pp. 215-229. Springer, Heidelberg (2006)
22. Julius, A.A., Fainekos, G.E., Anand, M., Lee, I., Pappas, G.J.: Robust test generation and coverage for hybrid systems. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol. 4416, pp. 329-342. Springer, Heidelberg (2007)
23. Girard, A., Pappas, G.J.: Approximation metrics for discrete and continuous systems. IEEE Trans. Auto. Cont. 52, 782-798 (2007)