You have Guest access.
Log In
Volume 1 / 1997 - Volume 14 / 2012
205-206
Introduction
Introduction to the special section on self-optimizing mechatronic systems
Wilhelm Schäfer and Matthias Tichy
207-222
Secial Section SFB 614
Tool support for the design of self-optimizing mechatronic multi-agent systems
Sven Burmester, Holger Giese, Eckehard Münch, Oliver Oberschelp and Florian Klein, et al.
223-231
Special Section SFB 614
A new approach for online multiobjective optimization of mechatronic systems
Katrin Witting, Bernd Schulz, Michael Dellnitz, Joachim Böcker and Norbert Fröhleke
233-245
Coping with large design spaces: design problem solving in fluidic engineering
Benno Stein
247-261
Regular Contribution
Static verification of component composition in contextual composition frameworks
Mircea Trofin and John Murphy
263-279
PHAVer: algorithmic verification of hybrid systems past HyTech
Goran Frehse
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info