1. Introduction to the special section on self-optimizing mechatronic systems

   • Wilhelm Schäfer
   • Matthias Tichy

   Introduction 31 January 2008 Pages: 205 - 206

2. Tool support for the design of self-optimizing mechatronic multi-agent systems

   • Sven Burmester
   • Holger Giese
   • Peter Scheideler

   Secial Section SFB 614 29 January 2008 Pages: 207 - 222

3. A new approach for online multiobjective optimization of mechatronic systems

   • Katrin Witting
   • Bernd Schulz
   • Norbert Fröhleke

   Special Section SFB 614 01 February 2008 Pages: 223 - 231

4. Coping with large design spaces: design problem solving in fluidic engineering

   • Benno Stein

   Special Section SFB 614 30 January 2008 Pages: 233 - 245

5. Static verification of component composition in contextual composition frameworks

   • Mircea Trofin
   • John Murphy

   Regular Contribution 08 January 2008 Pages: 247 - 261

6. PHAVer: algorithmic verification of hybrid systems past HyTech

   • Goran Frehse

   Regular Contribution 08 January 2008 Pages: 263 - 279