MoTIVES 2007

Optimal Scheduling and Controller Synthesis

Kim G. Larsen
Center for Embedded Software Systems
Aalborg University
DENMARK

Slides

    Are available here.

Reading Material

• UPPAAL Cora (Priced Timed Automata):
  • Behrmann, Larsen, Rasmussen: Optimal Scheduling using Priced Timed Automata, ACM SIGMETRICS Performance Evaluation Review, vol. 32, nb. 4, 2005, pp. 34-40, ACM Press.
  • Priced Timed Automata: Algorithms, and Applications G. Behrmann, K. G. Larsen, J. I. Rasmussen. In proc. of FMCO'04, LNCS vol. 3657, pp. 162-186, Springer Verlag, 2005.
  • Patricia Bouyer. Weighted Timed Automata: Model-Checking and Games. In Proceedings of the 22nd Conference on Mathematical Foundations of Programming Semantics (MFPS'06), Genova, Italy, May 2006, ENTCS 158, pages 3-17. Elsevier Science Publishers.
• UPPAAL Tiga (Timed Games & Controller Synthesis):
  • Franck Cassez, Alexandre David, Emmanuel Fleury, Kim G. Larsen, and Didier Lime. Efficient on-the-fly algorithms for the analysis of timed games. CONCUR05, volume 3653 of Lecture Notes in Computer Science.
  • Patricia Bouyer and Fabrice Chevalier. On the Control of Timed and Hybrid Systems. EATCS Bulletin 89, pages 79-96, 2006.
  • J.J.Jessen, J.I.Rasmuss, K. G Larsen, A. David; Guided Controller Synthesis for Climate Controller using UPPAAL TIGA. Under Submission.