Centrum Wiskunde & Informatica

Ariadne: a framework for reachability analysis of hybrid automata In Proceedings

A. Balluchi, A. Casagrande, P.J. Collins (Pieter), A. Ferrari, T. Villa and A. Sangiovanni-Vincentelli

January 2006
Controlling a class of nonlinear systems on rectangles Article

IEEE Transactions on Automatic Control, 1749-1759.

C. Belta and L.C.G.J.M. Habets (Luc)

January 2006
Fint: Tool support for aspect mining In Proceedings

A.M. Marin (Marius), L.M.F. Moonen (Leon) and A. van Deursen (Arie)

January 2006
A common framework for aspect mining based on crosscutting concern sorts In Proceedings

A.M. Marin (Marius), L.M.F. Moonen (Leon) and A. van Deursen (Arie)

January 2006
Aerodynamic shape optimization by means of sequential linear programming techniques In Proceedings

G. Carpentieri (Giampietro), M.J.L. van Tooren and B. Koren (Barry)

January 2006
Improving the efficiency of aerodynamic shape optimization on unstructured meshes In Proceedings

G. Carpentieri (Giampietro), M.J.L. van Tooren and B. Koren (Barry)

January 2006
Aspects of goal-oriented model-error estimation in convection-diffusion problems In Proceedings

J. M. Cnossen (Jelmer), H. Bijl, M.I. Gerritsma and B. Koren (Barry)

January 2006
Generalised Hybrid Trajectory Spaces In Proceedings

P.J. Collins (Pieter)

January 2006

Previous

Next