Downloadable reports
- C.G. Cassandras and K. Gokbayrak, "Optimal Control for Discrete
Event and Hybrid Systems" (pdf, 301K)
- K. Larsen, G. Behrmann, E. Brinskma, A. Fehnker, T. Hune,
P. Pettersson, and J. Romijn, "As Cheap as Possible: Efficient
Cost-Optimal Reachability for Priced Timed Automata" (ps, 321K)
- K.G. Larsen, P. Pettersson, and W. Yi, "UPPAAL in a Nutshell"
(ps, 11M)
This page is maintained by Bart De
Schutter.
Last update: July 16, 2003.