Timing parameter characterization of real-time systems

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

Volumn 2759, Issue , 2003, Pages 23-34

  Wang, Farn ^a   Yen, Hsu Chun ^a  

^a NATIONAL TAIWAN UNIVERSITY   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; INTERACTIVE COMPUTER SYSTEMS;

COMPLEXITY BOUNDS; LOWER BOUNDS; NON-TRIVIAL; SEMILINEAR; SOLUTION SPACE; TIMED AUTOMATA; TIMING PARAMETERS; UPPER BOUND;

REAL TIME SYSTEMS;

EID: 35248862186     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45089-0_4     Document Type: Article

References (18)

1. R. Alur, C. Courcoubetis, D. L. Dill. Model-Checking in Dense Real-Time, Information and Computation 104(1), 2-34, 1990.
2. R. Alur, D. L. Dill, D. Automata for Modeling Real-Time Systems, in in Proc. 17th ICALP, LNCS 443, pp. 332-335, 1990.
3. R. Alur, K. Etessami, S. La Torre, D. Peled. Parametric Temporal Logic for Model Measuring, in Proc. 26th ICALP, LNCS 1644, pp. 169-178, 1999.
4. R. Alur, T. A. Henzinger, M. Y. Vardi. Parametric Real-Time Reasoning, in Proc. 25th ACM STOC, pp. 592-601, 1993.
5. B. Berard. Untiming Timed Languages, Inform. Proc. Lett., 55:129-135,1995.
6. G. Delzanno, J.-F. Raskin. Symbolic Representation of Upward-closed Sets, in Proc. TACAS 2000, LNCS 1785, pp. 426-440, 2000.
7. E. A. Emerson, R. Trefler. Parametric Quantitative Temporal Reasoning, in Proc. IEEE LICS, pp. 336-343, July 1999.
8. T. A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine. Symbolic Model Checking for Real-Time Systems, Information and Computation, 111, 193-244, 1994.
9. J. Hopcroft, J. Pansiot. On the Reachability Problem for 5-Dimensional Vector Addition Systems, Theoretical Computer Science, 8, 135-159, 1979.
10. T. Hune, J. Romijn, M. Stoekinga, F. Vaandrager. Linear Parametric Model Checking of Timed Automata, in Proc. TACAS 2001, Italy, April, 2001, LNCS 2031, pp. 189-203.
11. C. Rackoff. The Covering and Boundedness Problems for Vector Addition Systems, Theoretical Computer Science, 6, 223-231, 1978.
12. L. Rosier, H. Yen. A Multiparameter Analysis of the Boundedness Problem for Vector Addition Systems, J. Comput. System Sci., 32, 105-135, 1986.
13. R. Valk, M. Jantzen. The Residue of Vector Sets with Applications to Decidability in Petri Nets, Acta Informatica, 21, 643-674, 1985.
14. F. Wang. Parametric Timing Analysis for Real-Time Systems, Information and Computation, 130(2), 131-150, 1996.
15. Also in Proc. 10th IEEE LICS, 1995.
16. F. Wang. Parametric Analysis of Computer Systems, Formal Methods in System Design, 17, 39-60, 2000.
17. F. Wang, P.-A. Hsiung. Parametric Analysis of Computer Systems, Australia, Dec. 1997, in Proc. AMAST'97, LNCS 1349, pp. 539-553.
18. F. Wang, H.-C. Yen. Parametric Optimization of Open Real-Time Systems, Paris, July 2001, in Proc. SAS 2001, LNCS 2126, pp. 299-318.