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.