S-TaLiRo: A tool for temporal logic falsification for hybrid systems

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

Volumn 6605 LNCS, Issue , 2011, Pages 254-257

  Annpureddy, Yashwanth ^a   Liu, Che ^a   Fainekos, Georgios ^a   Sankaranarayanan, Sriram ^b  

^a ARIZONA STATE UNIVERSITY   (United States)

^b UNIVERSITY OF COLORADO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ANT-COLONY OPTIMIZATION; APPLICATION EXAMPLES; CONTROL SOFTWARE; MATLAB ENVIRONMENT; MODEL BASED DEVELOPMENT; SEAMLESS INTEGRATION; SIMULINK MODELS; STOCHASTIC OPTIMIZATION TECHNIQUES; USER DEFINED FUNCTIONS;

ALGORITHMS; HYBRID SYSTEMS; OPTIMIZATION;

TEMPORAL LOGIC;

EID: 79953193117     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-19835-9_21     Document Type: Conference Paper

References (9)

1. Annapureddy, Y.S.R., Fainekos, G.: Ant colonies for temporal logic falsification of hybrid systems. In: Proceedings of the 36th Annual Conference of IEEE Industrial Electronics (2010)
2. Donzé, A.: Breach, A toolbox for verification and parameter synthesis of hybrid systems. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol. 6174, pp. 167-170. Springer, Heidelberg (2010)
3. Fainekos, G.E., Pappas, G.J.: A user guide for TaLiRo. Technical report, Dept. of CIS, Univ. of Pennsylvania (2008)
4. Fainekos, G.E., Pappas, G.J.: Robustness of temporal logic specifications for continuous-time signals. Theoretical Computer Science 410(42), 4262-4291 (2009)
5. Fehnker, A., Ivančić, F.: Benchmarks for hybrid systems verification. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 326-341. Springer, Heidelberg (2004)
6. Nghiem, T., Sankaranarayanan, S., Fainekos, G., Ivančić, F., Gupta, A., Pappas, G.: Monte-Carlo techniques for the falsification of temporal properties of non-linear systems. In: Hybrid Systems: Computation and Control, pp. 211-220. ACM Press, New York (2010)
7. Plaku, E., Kavraki, L.E., Vardi, M.Y.: Falsification of LTL Safety Properties in Hybrid Systems. In: Kowalewski, S., Philippou, A. (eds.) TACAS 2009. LNCS, vol. 5505, pp. 368-382. Springer, Heidelberg (2009)
8. Rizk, A., Batt, G., Fages, F., Soliman, S.: On a continuous degree of satisfaction of temporal logic formulae with applications to systems biology. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), vol. 5307, pp. 251-268. Springer, Heidelberg (2008)
9. Rubinstein, R.Y., Kroese, D.P.: Simulation and the Monte Carlo Method. Wiley Series in Probability and Mathematical Statistics (2008)