Optimal-reachability and control for acyclic weighted timed automata

IFIP Advances in Information and Communication Technology

Volumn 96, Issue , 2002, Pages 485-497

  La Torre, Salvatore ^a,b   Mukhopadhyay, Supratik ^a   Murano, Aniello ^b  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b UNIVERSITY OF SALERNO   (Italy)

Author keywords

Control synthesis; Optimization; Timed automata

Indexed keywords

AUTOMATA THEORY; COMPUTER HARDWARE DESCRIPTION LANGUAGES; OPTIMIZATION; POLYNOMIAL APPROXIMATION;

CONTROL SYNTHESIS; EXPONENTIAL TIME; NONDETERMINISTIC POLYNOMIAL; PRACTICAL PROBLEMS; REACHABILITY PROBLEM; STATIC SCHEDULING; TIMED AUTOMATA; WEIGHTED TIMED AUTOMATA;

AIR TRAFFIC CONTROL;

EID: 84891128671     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-0-387-35608-2_40     Document Type: Article

References (18)

1. R. Alur, C. Courcoubetis, and T.A. Henzinger. Computing accumulated delays in real-time system. In Proc. of the Fifth International Conference on ComputerAided Verification, CAV'93, LNCS 697, pages 181-193. Springer, 1993.
2. R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 1994.
3. R. Alur, S. La Torre and S. Mukhopadhyay. Subclasses of Timed Automata with NP-complete Reachability Problem. CIS Department, University of Pennsylvania, 2001. URL: "http://wv.cis.upenn.edu/latorre/Papers/ata.ps.gz".
4. R. Alur, S. La Torre, and G. J. Pappas. Optimal paths in weighted timed automata. In Proc. of the 4th International Workshop on Hybrid Systems: Computation and Control, HSCC'OJ, LNCS 2034, pages Springer, 2001.
5. E. Asarin and O. Maler. As soon as possible: Time optimal control for timed automata. In Proc. of the 2nd International Workshop on Hybrid Systems: Computation and Control, LNCS 1569, pages Springer, 1999.
6. Y. Abdedaim and O. Maler. Job-shop scheduling using timed automata. In Proc. of the 13th Intern. Conference on Computer Aided Verification, CAV'Ol, LNCS 2102, pages 478-492, 2001.
7. E. Asarin, O. Maler, and A. Pnueli. Symbolic controller synthesis for discrete and timed systems. In Proc. of the 2nd International Workshop on Hybrid Systems, LNCS 999, pages 1-20. Springer, 1995.
8. G. Behrman, T. Hune, A. Fehnker, K. Larsen, P. Pettersson, R. Romijn, and F. Vaandrager. Minimum-cost reachability for priced timed automata. In Proc. of the 4th International Workshop on Hybrid Systems: Computation and Control, HSCC'01, LNCS 2034, pages 147-161. Springer, 2001.
9. C. Courcoubetis and M. Yannakakis. Minimum and maximum delay problems in real-time systems. In Proc. of the 3rd International Conference on Computer Aided Verification, LNCS 575, pages 399-409. Springer, 1991.
10. D. D'Souza and P. Madhusudan. Timed control synthesis for external specifications. In Proc. of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS'02, LNCS 2285, pages Springer, 2002.
11. M. Faella, S. La Torre, and A. Murano. Automata-theoretic decision of timed games. In Proc. of the 3rd Intern. Workshop on Verification, Model Checking, and Abstract Interpretation, VMCAI'02, LNCS 2294, pages Springer, 2002.
12. M. Faella, S. La Torre, and A. Murano. Dense Real-time Games. In Proc. of the 17th Annual IEEE Symposium on Logic in Computer Science, LICS'02, IEEE Computer Society Press, 2002.
13. J. Ferrante and C. Rackoff. A decision procedure for the first order theory on real addition with order. SIAM Journal of Computing, 4(1):69-76, 1975.
14. T. Henzinger, B. Horowitz, and R. Majumdar. Rectangular hybrid games. In Proc. of the 10th International Conference on Concurrency Theory, CONCUR'gg, LNCS 1664, pages 320-335, 1999.
15. T. Henzinger and P. Kopke. Discrete-time control for rectangular hybrid automata. Theoretical Computer Science, 221(1-2):369-392, 1999.
16. K. G. Larsen, G. Behrman, E. Brinksma, A. Fehnker, T. Hune, P. Petersson, and J. Romijn. As cheap as possible: Efficient cost-optimal reachability for priced timed automata. In Proc. of the 13th International Conference on Computer Aided Verification, CAV'Ol, LNCS, pages. Springer, 2001.
17. O. Maler, A. Pnueli, and J. Sifakis. On the synthesis of discrete controllers for timed systems. In Proc. of the 12th Annual Symposium on Theoretical Aspects of Computer Science, STACS'95, LNCS 900, Springer, 1995.
18. P. Niebert, S. Tripakis, and S. Yovine. Minimum-time reachability for timed automata. In Proc. of the 8-th IEEE Mediterranean Conference on Control and Automation, 2000.