Research Output 1998 2015

Filter
Article
2002
20 Citations

Verification and Optimization of a PLC Control Schedule

Brinksma, H., Mader, A. H., Fehnker, A. & Fehnker, A. 2002 4, 1, p. 21-33 13 p.

Research output: Scientific - peer-reviewArticle

Model checking
Programmable logic controllers
Controllers
Chemical plants
Hybrid systems
2001
85 Citations

Efficient Guiding Towards Cost-Optimality in Uppaal

Behrmann, G., Fehnker, A., Hune, T., Larsen, K. G., Pettersson, P. & Romijn, J. M. T. 2001 In : Lecture notes in artificial intelligence. 2031, p. - 188 p.

Research output: Scientific - peer-reviewArticle

179 Citations

Minimum-Cost Reachability for Priced Timed Automata

Larsen, K. G., Fehnker, A., Hune, T. & Vaandrager, F. 2001 In : Lecture notes in artificial intelligence. 2034, p. 147-161

Research output: Scientific - peer-reviewArticle

Uppaal - Now, Next, and Future

Amnell, T., Behrmann, G., Bengtsson, J., d' Argenio, P. R., David, A., Fehnker, A., Hune, T., Jeannet, B., Larsen, K. G., Möller, O., Pettersson, P., Weise, C. & Yi, W. 2001 In : Lecture notes in artificial intelligence. 2067, p. 100-125

Research output: Scientific - peer-reviewArticle