Parametric optimization of open real-time systems

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

Volumn 2126 LNCS, Issue , 2001, Pages 299-318

  Wang, Farn ^a   Yen, Hsu Chun ^b  

^a INSTITUTE OF INFORMATION SCIENCE   (Taiwan)

^b NATIONAL TAIWAN UNIVERSITY   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; CONTROLLERS; INTERACTIVE COMPUTER SYSTEMS; LINEAR PROGRAMMING; STATIC ANALYSIS; SYNTHESIS (CHEMICAL);

CONTROLLER SYNTHESIS; PARAMETER CONSTRAINTS; PARAMETRIC -ANALYSIS; PARAMETRIC OPTIMIZATION; TIMED AUTOMATA;

REAL TIME SYSTEMS;

EID: 23044527722     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-47764-0_17     Document Type: Conference Paper

References (19)

1. Alur, R., Courcoubetis, C., and Dill, D.L. (1993), Model-Checking in Dense Real Time, Information and Computation 104, Nr. 1, pp. 2-34.
2. Alur, R. and Dill, D. (1990), Automata for Modeling Real-Time Systems, in "Automata, Languages and Programming: Proceedings of the 17th ICALP," LNCS 443, pp. 332-335, Springer-Verlag, Berlin/New York.
3. Alur, R., Etessami, K., La Torre, S. and Peled, D. (1999), Parametric Temporal Logic for "Model Measuring," in "Automata, Languages and Programming: Proceedings of the 26th ICALP," Springer Verlag.
4. Alur, R., Henzinger, T.A., and Vardi, M.Y. (1993), Parametric Real-Time Reasoning, in "Proceedings, 25th ACM STOC," pp. 592-601.
5. Asarin, E. and Maler, O. (1999), As Soon as Possible: Time Optimal Control for Timed Automata, in F. Vaandrage and J. van Schuppen (Eds.), Hybrid Systems: Computation and Control, LNCS 1569, pp. 19-30.
6. Asarin, E., Maler, O., and Pnueli, A. (1995), Symbolic Controller Synthesis for Discrete and Timed Systems, in Antsaklis, P., Kohn, W., Nerode, A., Sastry, S. (eds): Hybrid Systems II. LNCS 999, Springer 1995, pp. 1-20
7. Asarin, E., Maler, O., Pnueli, A. and Sifakis, J. (1998), Controller Synthesis for Timed Automata, Proc. IFAC Symposium on System Structure and Control, Elsevier, pp. 469-474.
8. Clarke, E. and Emerson, E.A. (1981), Design and Synthesis of Synchronization Skeletons using Branching-Time Temporal Logic, in "Proceedings, Workshop on Logic of Programs," LNCS 131, Springer-Verlag.
9. Clarke, E., Emerson, E.A., and Sistla, A.P. (1986), Automatic Verification of Finite-State Concurrent Systems using Temporal-Logic Specifications, ACM Trans. Programming, Languages, and Systems, 8, Nr. 2, pp. 244-263.
10. Courcoubetis, C. and Yannakakis, M. (1992), Minimum and Maximum Delay Problems in Real-Time Systems. Formal Methods in System Design 1: 385-415, Kluwer Academic Publishers; also in "Proceedings, 3rd CAV," 1991, SpringerVerlag, LNCS 575.
11. Emerson, E. A., and Trefler, R. (1999), Parametric Quantitative Temporal Reasoning, Proceedings of IEEE-CS Conference on Logic in Computer Science (LICS), pp. 336-343.
12. T.A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine. Symbolic Model Checking for Real-Time Systems, IEEE LICS 1992.
13. Maler, O. Pnueli, A. and Sifakis, J. (1995), On the Synthesis of Discrete Controllers for Timed Systems. STACS'95, LNCS 900, Springer-Verlag.
14. Ramadge, P. and Wonham, W. (1987), Supervisory Control of a Class of Discrete Event Processes, SIAM J. of Control and Optimization 25: 206-230.
15. Wang, F. (1996), Scalable Compositional Reachability Analysis of Real-Time Concurrent Systems. In Proceedings of the 2nd IEEE RTAS (Real-Time Technology and Applications Symposium), Boston, June, 1996.
16. Wang, F. (1996), Parametric Timing Analysis for Real-Time Systems, Information and Computation, Vol. 130, Nr 2, Nov. 1996, Academic Press, ISSN 0890-5401; pp 131-150.
17. Also in "Proceedings, 10th IEEE Symposium on Logic in Computer Science," 1995.
18. Wang, F., Parametric Analysis of Computer Systems, Formal Methods in System Design, pp. 39-60, 17, 39-60, 2000.
19. Wang, F. and Hsiung, P.-A. (1997), Parametric Analysis of Computer Systems, AMAST'97, LNCS 1349.