Minimum-cost reachability for priced timed automata

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

Volumn 2034, Issue , 2001, Pages 147-161

  Behrmann, Gerd ^a   Fehnker, Ansgar ^c   Hune, Thomas ^b   Larsen, Kim ^a   Pettersson, Paul ^d   Romijn, Judi ^c   Vaandrager, Frits ^c  

^a AALBORG UNIVERSITY   (Denmark)

^b AARHUS UNIVERSITY   (Denmark)

^c RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

^d UPPSALA UNIVERSITY   (Sweden)

Author keywords

Algorithms; Data structures; Optimization; Timed automata; Verification

Indexed keywords

ALGORITHMS; DATA STRUCTURES; HYBRID SYSTEMS; OPTIMIZATION; STRUCTURAL OPTIMIZATION; VERIFICATION;

ALGORITHMIC SOLUTIONS; BRANCH AND BOUND TECHNIQUES; INITIAL STATE; MINIMUM TIME; REACHABILITY; REACHABILITY PROBLEM; SYMBOLIC REPRESENTATION; TIMED AUTOMATA;

AUTOMATA THEORY;

EID: 84944256570     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45351-2_15     Document Type: Conference Paper

References (18)

1. Parosh Aziz Abdulla and Aletta Nylèn. Better is better than well: On efficient Verification of infinite-state systems. In Proc. of the 14th IEEE Symp. on Logic in Computer Science. IEEE, 2000.
2. R. Alur, C. Courcoubetis, and T. A. Henzinger. Computing accumulated delays in real-time systems. In Proc. of the 5th Int. Conf. on Computer Aided Verification, number 697 in Lecture Notes in Computer Science, pages 181-193, 1993.
3. R. Alur and D. Dill. Automata for Modelling Real-Time Systems. Theoretical Computer Science, 126(2):183-236, April 1994.
4. E. Asarin and O. Maler. As soon as possible: Time optimal control for timed automata. In Hybrid Systems: Computation and Control, number 1569 in Lecture Notes in Computer Science, pages 19-30. Springer-Verlag, March 1999.
5. Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Larsen, Paul Pettersson, and Judi Romijn. Efficient guiding towards cost-optimality in uppaal. Accepted for TACAS 2001.
6. Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Larsen, Paul Pettersson, Judi Romijn, and Frits Vaandrager. Minimum-cost reachability for priced timed automata. Technical Report RS-01-03, BRICS, January 2001.
7. Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, and Sergio Yovine. Kronos: A Model-Checking Tool for Real-Time Systems. In Proc. of the 10th Int. Conf. on Computer Aided Verification, number 1427 in Lecture Notes in Computer Science, pages 546-550. Springer-Verlag, 1998.
8. David Dill. Timing Assumptions and Verification of Finite-State Concurrent Systems. In J. Sifakis, editor, Proc. of Automatic Verification Methods for Finite State Systems, number 407 in Lecture Notes in Computer Science, pages 197-212. Springer-Verlag, 1989.
9. Ansgar Fehnker. Scheduling a steel plant with timed automata. In Proceedings of the 6th International Conference on Real-Time Computing Systems and Applications (RTCSA99), pages 280-286. IEEE Computer Society, 1999.
10. T. A. Henzinger. The theory of hybrid automata. In Proc. of 11th Annual Symp. on Logic in Computer Science (LICS 96), pages 278-292. IEEE Computer Society Press, 1996.
11. Thomas A. Henzinger, Pei-Hsin Ho, and Howard Wong-Toi. HyTech: A Model Checker for Hybird Systems. In Orna Grumberg, editor, Proc. of the 9th Int. Conf. on Computer Aided Verification, number 1254 in Lecture Notes in Computer Science, pages 460-463. Springer-Verlag, 1997.
12. G. Higman. Ordering by divisibility in abstract algebras. Proc. of the London Math. Soc., 2:326-336, 1952.
13. Thomas Hune, Kim G. Larsen, and Paul Pettersson. Guided Synthesis of Control Programs Using Uppaal. In Ten H. Lai, editor, Proc. of the IEEE ICDCS International Workshop on Distributed Systems Verification and Validation, pages E15-E22. IEEE Computer Society Press, April 2000.
14. Kim G. Larsen, Paul Pettersson, and Wang Yi. Uppaal in a Nutshell. Int. Journal on Software Tools for Technology Transfer, 1(1-2):134-152, October 1997.
15. Kim G. Larsen, Carsten Weise, Wang Yi, and Justin Pearson. Clock difference diagrams. Nordic Journal of Computing, 6(3):271-298, 1999.
16. J. Moller, J. Lichtenberg, H. R. Andersen, and H. Hulgaard. Difference decision diagrams. Technical Report IT-TR-1999-023, Department of Information Technology, Technical University of Denmark, February 1999.
17. Peter Niebert, Stavros Tripakis, and Sergio Yovine. Minimum-time reachability for timed automata. In IEEE Mediteranean Control Conference, 2000.
18. Peter Niebert and Sergio Yovine. Computing optimal operation schemes for multi batch operation of chemical plants. VHS deliverable, May 1999. Draft.