Parametric identification of temporal properties

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

Volumn 7186 LNCS, Issue , 2012, Pages 147-160

  Asarin, Eugene ^a   Donzé, Alexandre ^b   Maler, Oded ^b   Nickovic, Dejan ^c  

^a UNIVERSITÉ PARIS DIDEROT   (France)

^b VERIMAG   (France)

^c INSTITUTE OF SCIENCE AND TECHNOLOGY AUSTRIA   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

ADAPTIVE SEARCH; DENSE-TIME; LINEAR ARITHMETIC; PARAMETER SPACES; PARAMETERIZED; PARAMETRIC IDENTIFICATION; QUANTIFIER ELIMINATION; TEMPORAL LOGIC FORMULA; TEMPORAL PROPERTY; TIMING PARAMETERS;

ARTIFICIAL INTELLIGENCE;

SEMANTICS;

EID: 84861214456     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-29860-8_12     Document Type: Conference Paper

References (23)

1. Angluin, D., Smith, C.H.: Inductive inference: Theory and methods. ACM Comput. Surv. 15(3), 237-269 (1983)
2. Bishop, C.M.: Pattern Recognition and Machine Learning. Springer, Heidelberg (2006)
3. Bozzelli, L., La Torre, S.: Decision Problems for Lower/Upper Bound Parametric Timed Automata. In: Arge, L., Cachin, C., Jurdziński, T., Tarlecki, A. (eds.) ICALP 2007. LNCS, vol. 4596, pp. 925-936. Springer, Heidelberg (2007)
4. Chan, W.: Temporal-Locig Queries. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol. 1855, pp. 450-463. Springer, Heidelberg (2000)
5. 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)
6. Donzé, A., Clermont, G., Langmead, C.J.: Parameter synthesis in nonlinear dynamical systems: Application to systems biology. Journal of Computational Biology 17(3), 325-336 (2010)
7. Donzé, A., Krogh, B.H., Rajhans, A.: Parameter Synthesis for Hybrid Systems with an Application to Simulink Models. In: Majumdar, R., Tabuada, P. (eds.) HSCC 2009. LNCS, vol. 5469, pp. 165-179. Springer, Heidelberg (2009)
8. Donzé, A., Maler, O.: Robust Satisfaction of Temporal Logic over Real-Valued Signals. In: Chatterjee, K., Henzinger, T.A. (eds.) FORMATS 2010. LNCS, vol. 6246, pp. 92-106. Springer, Heidelberg (2010)
9. Ehrgott, M.: Multicriteria optimization. Springer, Heidelberg (2005)
10. Fages, F., Rizk, A.: From Model-Checking to Temporal Logic Constraint Solving. In: Gent, I.P. (ed.) CP 2009. LNCS, vol. 5732, pp. 319-334. Springer, Heidelberg (2009)
11. Fainekos, G.E., Pappas, G.J.: Robustness of temporal logic specifications for continuous-time signals. Theoretical Computer Science 410(42), 4262-4291 (2009)
12. Di Giampaolo, B., La Torre, S., Napoli, M.: Parametric Metric Interval Temporal Logic. In: Dediu, A.-H., Fernau, H., Martín-Vide, C. (eds.) LATA 2010. LNCS, vol. 6031, pp. 249-260. Springer, Heidelberg (2010)
13. Jones, K.D., Konrad, V., Nickovic, D.: Analog property checkers: a ddr2 case study. Formal Methods in System Design 36(2), 114-130 (2010)
14. Lasaruk, A., Sturm, T.: Effective Quantifier Elimination for Presburger Arithmetic with Infinity. In: Gerdt, V.P., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2009. LNCS, vol. 5743, pp. 195-212. Springer, Heidelberg (2009)
15. Legriel, J., Le Guernic, C., Cotton, S., Maler, O.: Approximating the Pareto Front of Multi-criteria Optimization Problems. In: Esparza, J., Majumdar, R. (eds.) TACAS 2010. LNCS, vol. 6015, pp. 69-83. Springer, Heidelberg (2010)
16. Ljung, L.: System Identification - Theory For the User. Prentice Hall (1999)
17. 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)
18. Maler, O., Nickovic, D., Pnueli, A.: Checking Temporal Properties of Discrete, Timed and Continuous Behaviors. In: Avron, A., Dershowitz, N., Rabinovich, A. (eds.) Trakhtenbrot/ Festschrift. LNCS, vol. 4800, pp. 475-505. Springer, Heidelberg (2008)
19. Monniaux, D.: A Quantifier Elimination Algorithm for Linear Real Arithmetic. In: Cervesato, I., Veith, H., Voronkov, A. (eds.) LPAR 2008. LNCS (LNAI), vol. 5330, pp. 243-257. Springer, Heidelberg (2008)
20. Monniaux, D.: Automatic modular abstractions for linear constraints. In: POPL 2009, pp. 140-151. ACM (2009)
21. Nickovic, D., Maler, O.: AMT: A Property-Based Monitoring Tool for Analog Systems. In: Raskin, J.-F., Thiagarajan, P.S. (eds.) FORMATS 2007. LNCS, vol. 4763, pp. 304-319. Springer, Heidelberg (2007)
22. Pnueli, A.: The Temporal Semantics of Concurrent Programs. Theoretical Computer Science 13, 45-60 (1981)
23. 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)