Decision problems for lower/upper bound parametric timed automata

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

Volumn 4596 LNCS, Issue , 2007, Pages 925-936

  Bozzelli, Laura ^a   La Torre, Salvatore ^b  

^a UNIVERSITY OF NAPLES FEDERICO II   (Italy)

^b UNIVERSITY OF SALERNO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DECISION THEORY; LINEAR SYSTEMS; MODEL CHECKING; PARAMETER ESTIMATION; PROBLEM SOLVING;

DECISION PROBLEMS; PARAMETER VALUATION; PARAMETRIC EXTENSION; PARAMETRIC TIMED AUTOMATA;

AUTOMATA THEORY;

EID: 38149024855     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73420-8_79     Document Type: Conference Paper

References (16)

1. Alur, R., Courcoubetis, C., Dill, D.L.: Model-checking in dense real-time. Information and Computation 104(1), 2-34 (1993)
2. Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126(2), 183-235 (1994)
3. Alur, R., Etessami, K., La Torre, S., Peled, D.: Parametric temporal logic for model measuring. ACM Transactions on Computational Logic 2(3), 388-407 (2001)
4. Alur, R., Feder, T., Henzinger, Th.A.: The benefits of relaxing punctuality. Journal of the ACM 43(1), 116-146 (1996)
5. Alur,R.,Henzinger,Th.A.,Vardi,M.Y.:Parametricreal-timereasoning.In:Proc. ofthe25thACM Symposium on Theory of Computing (STOC'93), pp. 592-601. ACM Press, New York(1993)
6. Alur, R., Madhusudan, P.: Decision problems for timed automata: a survey. In: Bernardo, M., Corradini, F. (eds.) Formal Methods for the Design of Real-Time Systems. LNCS, vol. 3185, pp. 1-24. Springer, Heidelberg (2004)
7. Bruyère, V., Dall'Olio, E., Raskin, J.F.: Durations, Parametric Model-Checking in Timed Automata with Presburger Arithmetic. In: Alt, H., Habib, M. (eds.) STACS 2003. LNCS, vol. 2607, pp. 687-698. Springer, Heidelberg (2003)
8. Bruyère, V., Raskin, J.F.: Real-time model-checking: Parameters everywhere. In: Pandya, P.K., Radhakrishnan, J. (eds.) FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science. LNCS, vol. 2914, pp. 100-111. Springer, Heidelberg (2003)
9. Emerson, E.A., Trefler, R.: Parametric Quantitative Temporal Reasoning. In: Proc. 14th Ann. Symp. Logic in Computer Science (LICS'99), pp. 336-343. IEEE Computer Society Press, Los Alamitos (1999)
10. Henzinger, T., Kopke, P., Puri, A., Varaiya, P.: What's decidable about hybrid automata. Journal of Computer and System Sciences 57, 94-124 (1998)
11. Hune, T., Romijn, J., Stoelinga, M., Vaandrager, F.: Linear parametric model checking of timed automata. Journal of Logic and Algebraic Programming 52,53,183-220 (2002)
12. IEEE Computer Society. IEEE Standard for a High Performance Serial Bus. Std 1394-1995 (August 1996)
13. Lamport, L.: A Fast Mutual Exclusion Algorithm. ACM Transactions Computer Systems 5(1), 1-11 (1987)
14. Pnueli, A.: The temporal logic of programs. In: Proc. of the 18th IEEE Symposium on Foundations of Computer Science, pp. 46-77. IEEE Computer Society Press, Los Alamitos (1977)
15. Pottier, L.: Minimal solutions of linear diophantine systems: bounds and algorithms. In: Book, R.V. (ed.) Rewriting Techniques and Applications. LNCS, vol. 488, pp. 162-173. Springer, Heidelberg (1991)
16. Wang, F.: Parametric timing analysis for real-time systems. Information and Computation 130(2), 131-150 (1996)