Optimal paths in weighted timed automata

Theoretical Computer Science

Volumn 318, Issue 3, 2004, Pages 297-322

  Alur, Rajeev ^a   La Torre, Salvatore ^b   Pappas, George J ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b UNIVERSITY OF SALERNO   (Italy)

Author keywords

Hybrid systems; Model checking; Optimal reachability; Timed automata

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; CONSTRAINT THEORY; GRAPH THEORY; OPTIMAL CONTROL SYSTEMS; OPTIMIZATION; PROBLEM SOLVING; REAL TIME SYSTEMS;

HYBRID SYSTEMS; MODEL CHECKING; OPTIMAL PATHS; OPTIMAL REACHABILITY; TIMED AUTOMATA;

AUTOMATA THEORY;

EID: 2442597825     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2003.10.038     Document Type: Article

References (17)

1. R. Alur, C. Courcoubetis, T.A. Henzinger, Computing accumulated delays in real-time system, in: Proc. 5th Internat. Conf. on Computer-Aided Verification, CAV'93, Lecture Notes in Computer Science, Vol. 697, Springer, Berlin, 1993, pp. 181-193.
2. Alur R., Dill D.L. A theory of timed automata. Theoret. Comput. Sci. 126:1994;183-235.
3. E. Asarin, O. Maler, As soon as possible: time optimal control for timed automata, in: Proc. 2nd Internat. Workshop on Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, Vol. 1569, Springer, Berlin, 1999, pp. 19-30.
4. E. Asarin, O. Maler, A. Pnueli, Symbolic controller synthesis for discrete and timed systems, in: Proc. 2nd Internat. Workshop on Hybrid Systems, Lecture Notes in Computer Science, Vol. 999, Springer, Berlin, 1995, pp. 1-20.
5. G. Behrman, T. Hune, A. Fehnker, K. Larsen, P. Pettersson, R. Romijn, F. Vaandrager, Minimum-cost reachability for priced timed automata, in: Proc. 4th Internat. Workshop on Hybrid Systems: Computation and Control, HSCC'01, Lecture Notes in Computer Science, Vol. 2034, Springer, Berlin, 2001, pp. 147-161.
6. A. Church, Logic, arithmetic, and automata, in: Proc. Internat. Cong. of Mathematics, Stockholm, Sweden, 1962, pp. 23-35.
7. C. Courcoubetis, M. Yannakakis, Minimum and maximum delay problems in real-time systems, in: Proc. 3rd International Conference on Computer Aided Verification, Lecture Notes in Computer Science, Vol. 575, Springer, Berlin, 1991, pp. 399-409.
8. Fredman M., Tarjan R. Fibonacci heaps and their uses in improved network optimization algorithms. J. Assoc. Comput. Mach. 34(3):1987;596-615.
9. Kesten Y., Pnueli A., Sifakis J., Yovine S. Decidable integration graphs. Inform. and Comput. 150(2):1999;209-243.
10. K.G. Larsen, G. Behrman, E. Brinksma, A. Fehnker, T. Hune, P. Petersson, J. Romijn, As cheap as possible: efficient cost-optimal reachability for priced timed automata, in: Proc. 13th Internat. Conf. on Computer aided Verification, CAV'01, Lecture Notes in Computer Science, Vol. 2102, Springer, Berlin, 2001, pp. 493-505.
11. S. La Torre, S. Mukhopadhyay, A. Murano, Optimal-reachability and control for acyclic weighted timed automata, in: Proc. 2nd IFIP Internat. Conf. Theoretical Computer Science, IFIP TCS'02, Kluwer Academic Publishers, Dordrecht, 2002, pp. 498-510.
12. Lygeros J., Tomlin C., Sastry S.S. Controllers for reachability specifications for hybrid systems. Automatica. 35(3):1999;349-370.
13. O. Maler, A. Pnueli, J. Sifakis, On the synthesis of discrete controllers for timed systems, in: Proc. 12th Annu. Symp. on Theoretical Aspects of Computer Science, STACS'95, Lecture Notes in Computer Science, Vol. 900, Springer, Berlin, 1995, pp. 229-242.
14. P. Niebert, S. Tripakis, S. Yovine, Minimum-time reachability for timed automata, in: Proc. 8th IEEE Mediterranean Conf. on Control and Automation, Rio, Greece, 2000.
15. O. Shakernia, G.J. Pappas, S. Sastry, Decidable controller synthesis for classes of linear systems, in: Proc. 3rd Internat. Workshop on Hybrid Systems: Computation and Control, HSCC'00, Lecture Notes in Computer Science, Vol. 1790, Springer, Berlin, 2000, pp. 407-420.
16. W. Thomas, On the synthesis of strategies in infinite games, in: 12th Annu. Symp. on Theoretical Aspects of Computer Science, STACS'95, Lecture Notes in Computer Science, Vol. 900, Springer, Berlin, 1995, pp. 1-13.
17. H. Wong-Toi, The synthesis of controllers for linear hybrid automata, in: Proc. 36th IEEE CDC, San Diego, CA, December, 1997.