Abstract
After the domain-spanning conceptual design, engineers from different domains work in parallel and apply their domain-specific methods and modeling languages to design the system. Vital for the successful design, are system optimization methods and the design of the reconfiguration behavior. The former methods enable the parametric adaption of the system’s behavior, e.g. an adaption of controller parameters, according to a current selection of the system’s objectives. The latter realizes structural adaption of the system’s behavior, e.g. the exchange of software or hardware parts. Altogether, this leads to a complex system behavior that is hard to overview. In addition, self-optimizing systems are used in safety-critical environments. Consequently, the system’s safety-critical behavior has to undergo a rigorous verification and testing process. Existing design methods do not address all of these challenges together. Indeed, a combination of established design methods for traditional technical systems with novel methods that focus on these challenges is necessary. In this chapter, we will focus on such new methods. We will introduce new system optimization and design methods to develop reconfigurations of the software and the microelectronics. In order to ensure the correctness of safety-critical functionality, we propose new testing methods and formal methods to ensure safety-properties of the software. We show how to apply virtual prototyping to deal with the complexity of self-optimizing systems and perform an early analysis of the overall system. As each domain applies its own modeling languages, the result of these methods are several overlapping models. In order to keep these domain-specific models consistent among all domains, we will introduce a new semi-automatic model synchronization technique. Each of these design methods are integrated with the reference process for the development of self-optimizing systems.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
- Virtual Machine
- Multiobjective Optimization
- Resource Description Framework
- Virtual Prototype
- Mechatronic System
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Adelt, P., Donoth, J., Gausemeier, J., Geisler, J., Henkler, S., Kahl, S., Klöpper, B., Krupp, A., Münch, E., Oberthür, S., Paiz, C., Porrmann, M., Radkowski, R., Romaus, C., Schmidt, A., Schulz, B., Vöcking, H., Witkowski, U., Witting, K., Znamenshchykov, O.: Selbstoptimierende Systeme des Maschinenbaus. In: Heinz Nixdorf Institut, Universität Paderborn, vol. 234. HNI-Verlagsschriftenreihe, Paderborn (2009)
Adelt, P., Esau, N., Hölscher, C., Kleinjohann, B., Kleinjohann, L., Krüger, M., Zimmer, D.: Hybrid Planning for Self-Optimization in Railbound Mechatronic Systems. In: Naik, G. (ed.) Intelligent Mechatronics, pp. 169–194. InTech Open Access Publisher, New York (2011)
Adelt, P., Esau, N., Schmidt, A.: Hybrid Planning for an Air Gap Adjustment System Using Fuzzy Models. Journal of Robotics and Mechatronics 21(5), 647–655 (2009)
Ali, M.I.A.H., Sitte, J., Witkowski, U.: Parallel Early Vision Algorithms for Mobile Robots. In: Proceedings of the 4th International Symposium on Autonomous Mini-robots for Research and Edutainment, Buenos Aires, pp. 133–140 (2007)
Alur, R.: Formal Verification of Hybrid Systems. In: Proceedings of the 9th ACM International Conference on Embedded Software, Taipei, pp. 273–278. ACM, New York (2011)
Alur, R., Courcoubetis, C., Dill, D.: Model-Checking in Dense Real-time. Information and Computation 104, 2–34 (1993)
Alur, R., Courcoubetis, C., Halbwachs, N., Dill, D.L., Wong-Toi, H.: Minimization of Timed Transition Systems. In: Cleaveland, W.R. (ed.) CONCUR 1992. LNCS, vol. 630, pp. 340–354. Springer, Heidelberg (1992)
Alur, R., Dill, D.L.: A Theory of Timed Automata. Theoretical Computer Science 126, 183–235 (1994)
Angluin, D.: Learning Regular Sets from Queries and Counterexamples. Information and Computation 75(2), 87–106 (1987)
Antoulas, A.C., Beattie, C.A., Gugercin, S.: Interpolatory Model Reduction of Large-Scale Dynamical Systems. In: Mohammadpour, J., Grigoriadis, K.M. (eds.) Efficient Modeling and Control of Large-Scale Systems, pp. 3–58. Springer, Heidelberg (2010)
Asada, M., Noda, S., Tawaratsumida, S., Hosoda, K.: Vision-based Reinforcement Learning for Purposive Behavior Acquisition. In: Proceedings of the IEEE International Conference on Robotics and Automation, Nagoya, pp. 146–153 (1995)
Babitski, G.: Inferenzalgorithmen zur Auswahl ontologiebasierter Situationsbeschreibungen für ein kontextadaptives Dialogsystem. Ph.D. thesis, Technische Universität Darmstadt (2004)
Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
Baldin, D., Kerstan, T.: Proteus, a Hybrid Virtualization Platform for Embedded Systems. In: Rettberg, A., Zanella, M.C., Amann, M., Keckeisen, M., Rammig, F.J. (eds.) IESS 2009. IFIP AICT, vol. 310, pp. 185–194. Springer, Heidelberg (2009)
Baolu, G., Shibo, X., Meili, C.: Research and Application of a Product Cooperative Design System Based on Multi-Agent. In: Proceedings of the 3rd International Symposium on Intelligent Information Technology Application, Nan Chang, pp. 198–201 (2009)
Barham, P., Dragovic, B., Fraser, K., Hand, S., Harris, T., Ho, A., Neugebauer, R., Pratt, I., Warfield, A.: Xen and the Art of Virtualization. In: Proceedings of the 19th ACM Symposium on Operating Systems Principles, Bolton Landing (2003)
Bauch, J., Radkowski, R., Zabel, H.: An Explorative Approach to the Virtual Prototyping of Self-optmizing Mechatronic Systems. In: Proceedings of the ProSTEP iViP Science Days - Cross Domain Engineering, Darmstadt (2005)
Becker, S., Brenner, C., Brink, C., Dziwok, S., Heinzemann, C., Löffler, R., Pohlmann, U., Schäfer, W., Suck, J., Sudmann, O.: The MechatronicUML Design Method - Process, Syntax, and Semantics. Tech. Rep. tr-ri-12-326, Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn (2012)
Bellifemine, F.L., Caire, G., Greenwood, D.: Developing Multi-agent Systems with JADE. John Wiley & Sons, Hoboken (2007)
Ben-Gal, I.: Bayesian Networks. In: Encyclopedia of Statistics in Quality and Reliability (2007)
Bengtsson, J.E., Yi, W.: Timed Automata - Semantics, Algorithms and Tools. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 87–124. Springer, Heidelberg (2004)
Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American (2001)
Berthelot, F., Nouvel, F., Houzet, D.: Partial and Dynamic Reconfiguration of FPGAs: A Top Down Design Methodology for an Automatic Implementation. In: Proceedings of the 20th International Parallel and Distributed Processing Symposium, Rhodes (2006)
Bertin, J.: Semiology of Graphics. University of Wisconsin Press, Wisconsin (1983)
Beyer, D., Henzinger, T.A., Théoduloz, G., Zufferey, D.: Shape Refinement Through Explicit Heap Analysis. In: Rosenblum, D.S., Taentzer, G. (eds.) FASE 2010. LNCS, vol. 6013, pp. 263–277. Springer, Heidelberg (2010)
Blesken, M., Ruckert, U., Steenken, D., Witting, K., Dellnitz, M.: Multiobjective Optimization for Transistor Sizing of CMOS Logic Standard Cells Using Set-oriented Numerical Techniques. In: Proceedings of the 27th Norchip Conference, Trondheim, pp. 1–4 (2009)
Bludau, C., Welp, E.: Semantic Web Services for the Knowledge-based Design of Mechatronic Systems. In: Proceedings of the International Conference on Engineering Design, Melbourne (2005)
Böke, C.: Software Synthesis of Real-Time Communication System Code for Distributed Embedded Applications. In: Proceedings of the 6th Annual Australasian Conf. on Parallel and Real-Time Systems, Melbourne (1999)
Böke, C.: Automatic Configuration of Real-Time Operating Systems and Real-Time Communication Systems for Distributed Embedded Applications. Ph.D. thesis, Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, HNI-Verlagschriftenreihe, Band 142, Paderborn (2003)
de Boor, C.: A Practical Guide to Splines. Springer, Heidelberg (2001)
Bozga, M., Daws, C., Maler, O., Olivero, A., Tripakis, S., Yovine, S.: Kronos - A Model-checking Tool for Real-time Systems. In: Vardi, M.Y. (ed.) CAV 1998. LNCS, vol. 1427, pp. 546–550. Springer, Heidelberg (1998)
Brutzman, D., Zyda, M., Pullen, M., Morse, K.: XMSF 2002 Findings and Recommendations (2002)
Burmester, S., Gehrke, M., Giese, H., Oberthür, S.: Making Mechatronic Agents Resource-Aware to Enable Safe Dynamic Resource Allocation. In: Proceedings of the 4th ACM International Conference on Embedded Software, Pisa (2004)
Campos, C., Junge, O., Ober-Blöbaum, S.: Higher Order Variational Time Discretization of Optimal Control Problems. In: Proceedings of the 20th International Symposium on Mathematical Theory of Networks and Systems, Melbourne (2012)
Chinapirom, T., Kaulmann, T., Witkowski, U., Rueckert, U.: Visual Object Recognition by 2D-Color Camera and On-Board Information Processing for Minirobots. In: Proceedings of the FIRA Robot World Congress, Busan (2004)
Chivukula, R.P., Böke, C., Rammig, F.J.: Customizing the Configuration Process of an Operating System Using Hierarchy and Clustering. In: Proceedings of the 5th IEEE International Symposium on Object-oriented Real-time Distributed Computing, Crystal City, pp. 280–287 (2002)
Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2000)
Commuri, S., Tadigotla, V., Sliger, L.: Task-based Hardware Reconfiguration in Mobile Robots Using FPGAs. Journal of Intelligent and Robotic Systems 49(2), 111–134 (2007)
Dahmann, J.S., Fujimoto, R.M., Weatherly, R.M.: The Department of Defense High Level Architecture. In: Proceedings of the 29th Conference on Winter Simulation, Atlanta, pp. 142–149 (1997)
David, A., Behrmann, G., Bulychev, P., Byg, J., Chatain, T., Larsen, K.G., Pettersson, P., Rasmussen, J.I., Srba, J., Yi, W., Joergensen, K.Y., Lime, D., Magnin, M., Roux, O.H., Traonouez, L.M.: Tools for Model-Checking Timed Systems. In: Roux, O.H., Jard, C. (eds.) Communicating Embedded Systems - Software and Design, pp. 165–225 (2009)
Dell’Aere, A.: Multi-Objective Optimization in Self-Optimizing Systems. In: Proceedings of the 32nd Annual Conference on IEEE Industrial Electronics, Paris, pp. 4755–4760 (2006)
Dell’Aere, A.: Numerical Methods for the Solution of Bi-level Multi-objective Optimization Problems. Ph.D. thesis, Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, HNI-Verlagschriftenreihe, Paderborn (2008)
Dell’Aere, A., Hirsch, M., Klöpper, B., Köster, M., Krupp, A., Krüger, M., Müller, T., Oberthür, S., Pook, S., Priesterjahn, C., Romaus, C., Schmidt, A., Sondermann-Wölke, C., Tichy, M., Vöcking, H., Zimmer, D.: Verlässlichkeit selbstoptimierender Systeme - Potenziale nutzen und Risiken vermeiden, vol. 235. HNI-Verlagsschriftenreihe, Paderborn (2009)
Dellnitz, M., Froyland, G., Junge, O.: The Algorithms Behind GAIO - Set Oriented Numerical Methods for Dynamical Systems. In: Fiedler, B. (ed.) Ergodic Theory, Analysis, and Efficient Simulation of Dynamical Systems, pp. 145–174. Springer, Heidelberg (2001)
Dellnitz, M., Ober-Blöbaum, S., Post, M., Schütze, O., Thiere, B.: A Multi-objective Approach to the Design of low Thrust Space Trajectories Using Optimal Control. Celestial Mechanics and Dynamical Astronomy 105(1), 33–59 (2009)
Dellnitz, M., Schütze, O., Hestermeyer, T.: Covering Pareto Sets by Multilevel Subdivision Techniques. Journal of Optimization Theory and Application 124(1), 113–136 (2005)
Dellnitz, M., Witting, K.: Computation of robust Pareto points. International Journal of Computing Science and Mathematics 2(3), 243–266 (2009)
DeMillo, R.A., Offutt, A.J.: Constraint-based Automatic Test Data Generation. IEEE Transactions on Software Engineering 17(9) (1991)
Ding, L., Davies, D., McMahon, C.A.: The Integration of Lightweight Representation and Annotation for Collaborative Design Representation 19(4), 223–238 (2009)
Ding, L., Matthews, J., Mullineux, G.: Annacon - Annotation with Constrains to Support Design. In: Proceedings of the International Conference on Engineering Design, Stanford, pp. 5–48 (2009)
Ditze, C.: Towards Operating System Synthesis. Ph.D. thesis, Fachgruppe Entwurf Paralleler Systeme, Universität Paderborn, HNI-Verlagsschriftenreihe, Band 76, Paderborn (2000)
Ebied, H.M., Witkowski, U., Rueckert, U., Abdel-Wahab, M.S.: Robot Localization Based on Visual Landmarks. In: Filipe, J., Andrade-Cetto, J., Ferrier, J.L. (eds.) Proceedings of the 5th IEEE International Conference on Informatics in Control, Automation and Robotics, Funchal, pp. 49–53 (2008)
Eckardt, T., Heinzemann, C., Henkler, S., Hirsch, M., Priesterjahn, C., Schäfer, W.: Modeling and Verifying Dynamic Communication Structures Based on Graph Transformations. Computer Science - Research and Development 28, 3–22 (2013)
Eckardt, T., Henkler, S.: Component Behavior Synthesis for Critical Systems. In: Giese, H. (ed.) ISARCS 2010. LNCS, vol. 6150, pp. 52–71. Springer, Heidelberg (2010)
Eckardt, T., Henkler, S.: Synthesis of Reconfiguration Charts. Tech. Rep. tr-ri-10-314, Software Engineering Group, University of Paderborn (2010)
Esau, N., Krüger, M., Rasche, C., Beringer, S., Kleinjohann, L., Kleinjohann, B.: Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System. In: Proceedings of the 7th IEEE Conference in Industrial Electronics and Applications, Singapore (2012)
Estler, H.C., Wehrheim, H.: Heuristic Search-based Planning for Graph Transformation Systems. In: Proceedings of the Workshop on Knowledge Engineering for Planning and Scheduling, Freiburg, pp. 54–61 (2011)
Feng, H.H., Kolesnikov, O.M., Fogla, P., Lee, W., Gong, W.: Anomaly Detection Using Call Stack Information. In: Proceedings of the 2003 IEEE Symposium on Security and Privacy, Berkeley (2003)
FG Rammig, University of Paderborn: ORCOS - Organic Reconfigurable Operating System, https://orcos.cs.uni-paderborn.de/doxygen/html (accessed August 12, 2013)
Flaßkamp, K., Murphey, T., Ober-Blöbaum, S.: Switching Time Optimization in Discretized Hybrid Dynamical Systems. In: Proceedings of the 51th IEEE Conference on Decision and Control, Maui, pp. 707–712 (2012)
Flaßkamp, K., Ober-Blöbaum, S.: Variational Formulation and Optimal Control of Hybrid Lagrangian systems. In: Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control, Chicago, pp. 241–250. ACM Press, New York (2011)
Flaßkamp, K., Ober-Blöbaum, S., Kobilarov, M.: Solving Optimal Control Problems by Exploiting Inherent Dynamical Systems Structures. Journal of Nonlinear Science 22(4), 599–629 (2012)
Flaßkamp, K., Ober-Blöbaum, S., Ringkamp, M., Schneider, T., Schulte, C., Böcker, J.: Berechnung optimaler Stromprofile für einen 6-phasigen, geschalteten Reluktanzantrieb. In: Tagungsband Vom 8. Paderborner Workshop Entwurf mechatronischer Systeme. Heinz Nixdorf Institut Verlagsschriftreihe, Paderborn (2011)
Flaßkamp, K., Timmermann, J., Ober-Blöbaum, S., Dellnitz, M., Trächtler, A.: Optimal Control on Stable Manifolds for a Double Pendulum. In: Applied Mathematics and Mechanics, vol. 12, pp. 723–724. Springer, Heidelberg (2012)
Fox, M., Long, D.: PDDL 2.1: An Extension to PDDL for Expressing Temporal Planning Domains. Jornal of Artificial Intelligence Research, 189–208 (2003)
Frazzoli, E., Dahleh, M.A., Feron, E.: Maneuver-based Motion Planning for Nonlinear Systems with Symmetries. IEEE Trans. on Robotics 21(6), 1077–1091 (2005)
Galea, A., Borg, J., Grech, A., Farrugia, P.: Towards Intelligent Design Tools for Micro-scale components. In: Proceedings of the International Conference on Engineering Design, Stanford, pp. 5–84 (2009)
Gausemeier, J., Frank, U., Donoth, J., Kahl, S.: Specification Technique for the Description of Self-optimizing Mechatronic Systems. Research in Engineering Design 20(4), 201–223 (2009)
Gausemeier, J., Rammig, F.J., Schäfer, W., Sextro, W. (eds.): Dependability of Self-optimizing Mechatronic Systems. Springer, Heidelberg (2014)
Gausemeier, J., Schäfer, W., Greenyer, J., Kahl, S., Pook, S., Rieke, J.: Management of Cross-Domain Model Consistency During the Development of Advanced Mechatronic Systems. In: Proceedings of the 17th International Conference on Engineering Design, Stanford (2009)
Geiger, C., Lehrenfeld, G., Müller, W.: Authoring Communicating Agents in Virtual Environments. In: Proceedings of the Computer Human Interaction, Adelaide, pp. 22–29 (1998)
Geisler, J., Witting, K., Trächtler, A., Dellnitz, M.: Multiobjective Optimization of Control Trajectories for the Guidance of a Rail-bound Vehicle. In: Proceedings of the 17th IFAC World Congress, Seoul (2008)
Geisler, J., Witting, K., Trächtler, A., Dellnitz, M.: Multiobjective Optimization of Control Trajectories for the Guidance of a Rail-bound Vehicle. In: Proceedings of the 17th World Congress International Federation of Automatic Control, Milano (2008)
Ghallab, M., Nau, D., Traverso, P.: Automated Planning - Theory and Practice. Elsevier, Amsterdam (2004)
Giese, H., Tichy, M., Burmester, S., Schäfer, W., Flake, S.: Towards the Compositional Verification of Real-time UML Designs. In: Proceedings of the 9th European Software Engineering Conference Held Jointly with the 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering, Helsinki, pp. 38–47. ACM Press, New York (2003)
Gill, P.E., Jay, L.O., Leonard, M.W., Petzold, L.R., Sharma, V.: An SQP Method for the Optimal Control of Large-scale Dynamical Systems. Journal of Computational and Applied Mathematics 120, 197–213 (2000)
Gilles, K., Groesbrink, S., Baldin, D., Kerstan, T.: Proteus Hypervisor - Full Virtualization and Paravirtualization for Multi-Core Embedded Systems. In: Proceedings of the International Embedded Systems Symposium, Paderborn (2013)
Greenyer, J., Kindler, E.: Comparing Relational Model Transformation Technologies: Implementing Query/View/Transformation with Triple Graph Grammars. Software and Systems Modeling 9, 21–46 (2010)
Greenyer, J., Pook, S., Rieke, J.: Preventing Information Loss in Incremental Model Synchronization by Reusing Elements. In: Proceedings of the 7th European Conference on Modelling Foundations and Applications, Birmingham (2011)
Griese, B., Oberthür, S., Porrmann, M.: Component Case Study of a Self-optimizing RCOS/RTOS System: A Reconfigurable Network Service. In: Proceedings of the International Embedded Systems Symposium - From Specification to Embedded Systems Application, Manaos, pp. 267–277 (2005)
Griewank, A., Walther, A.: Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation. Society for Industrial and Applied Mathematics, Philadelphia (2008)
Groesbrink, S.: A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems. In: Proceedings of the 1st Joint Symposium on System-Integrated Intelligence, Hannover (2012)
Groesbrink, S.: Basics of Virtual Machine Migration on Heterogeneous Architectures for Self-optimizing Mechatronic Systems - Necessary Conditions and Implementation Issues. In: Production Engineering Research & Development (11740) (2012)
Guckenheimer, J., Holmes, P.: Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields. In: Applied Mathematical Sciences, vol. 42, Springer, Heidelberg (1983)
Guleyupoglu, S., Ng, H.: Distributed Collaborative Virtual Reality Framework for System Prototyping and Training. In: Proceedings of the RTO IST Symposium on New Information Processing Techniques for Military Systems, Istanbul (2000)
Gutiérrez, M., Vexo, F., Thalmann, D.: Stepping into Virtual Reality. Springer, Heidelberg (2008)
Hagemeyer, J., Kettelhoit, B., Koester, M., Porrmann, M.: Design of Homogeneous Communication Infrastructures for Partially Reconfigurable FPGAs. In: International Conference on Engineering of Reconfigurable Systems and Algorithms, Las Vegas (2007)
Hagemeyer, J., Kettelhoit, B., Köster, M., Porrmann, M.: A Design Methodology for Communication Infrastructures on Partially Reconfigurable FPGAs. In: Proceedings of the 17th International Conference on Field Programmable Logic and Applications, Amsterdam (2007)
Hampton, M., Petithomme, S.: Leveraging a Commercial Mutation Analysis Tool for Research. In: Proceedings of the Testing Academic & Industrial Conference Practice and Research Techniques, Windsor (2007)
Heckel, R., Thöne, S.: Behavioral Refinement of Graph Transformation-based Models. In: Proceedings of the Workshop on Software Evolution through Transformations: Model-based vs. Implementation-level Solutions, Rom, pp. 101–111 (2005)
Heinzemann, C., Henkler, S.: Reusing Dynamic Communication Protocols in Self-Adaptive Embedded Component Architectures. In: Proceedings of the 14th International Symposium on Component Based Software Engineering, Boulder, pp. 109–118 (2011)
Heinzemann, C., Henkler, S.: Timed Story Driven Modeling. Tech. Rep. tr-ri-11-326, University of Paderborn (2011)
Heinzemann, C., Pohlmann, U., Rieke, J., Schäfer, W., Sudmann, O., Tichy, M.: Generating Simulink and Stateflow Models From Software Specifications. In: Proceedings of the 12h International Design Conference DESIGN, Dubrovnik (2012)
Heinzemann, C., Priesterjahn, C., Becker, S.: Towards Modeling Reconfiguration in Hierarchical Component Architectures. In: Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering, Bertinoro, pp. 23–28 (2012)
Heinzemann, C., Rieke, J., Schäfer, W.: Simulating self-adaptive component-based systems using matlab/simulink. In: Proceedings of the 7th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2013. IEEE Computer Society Press (2013)
Henkler, S., Meyer, J., Schäfer, W., Nickel, U.: Reverse Engineering mechatronischer Systeme. In: Proceedings of the 7th Paderborner Workshop Entwurf Mechatronischer Systeme, Paderborn (2010)
Henkler, S., Meyer, J., Schäfer, W., Nickel, U.A., von Detten, M.: Legacy Component Integration by the Fujaba Real-time Tool Suite. In: Proceedings of the 32nd International Conference on Software Engineering, Cape Town, vol. 2, pp. 267–270 (2010)
Henzinger, T.A.: The Theory of Hybrid Automata. In: Logic in Computer Science, p. 278 (1996)
Herbrechtsmeier, S., Witkowski, U., Rückert, U.: BeBot - A Modular Mobile Miniature Robot Platform Supporting Hardware Reconfiguration and Multi-standard Communication. In: Kim, J.-H., Ge, S.S., Vadakkepat, P., Jesse, N., Al Manum, A., Puthusserypady, K.S., Rückert, U., Sitte, J., Witkowski, U., Nakatsu, R., Braunl, T., Baltes, J., Anderson, J., Wong, C.-C., Verner, I., Ahlgren, D. (eds.) Progress in Robotics. CCIS, vol. 44, pp. 346–356. Springer, Heidelberg (2009)
Hillermeier, C.: Nonlinear Multiobjective Optimization - A Generalized Homotopy Approach. Birkhäuser (2001)
Hitzler, P., Krötzsch, M., Rudolph, S., Sure, Y.: Semantic Web - Grundlagen. Springer, Heidelberg (2008)
Hölscher, C., Keßler, J.H., Krüger, M., Trächtler, A., Zimmer, D.: Hierarchical Optimization of Coupled Self-optimizing Systems. In: Proceedings of the 10th IEEE International Conference on Industrial Informatics, Beijing (2012)
Horta, E.L., Lockwood, J.W.: PARBIT: A Tool to Transform Bitfiles to Implement Partial Reconfiguration of Field Programmable Gate Arrays (FPGAs). Tech. rep. (2001)
Howden, W.E.: Weak Mutation Testing and Completeness of Test Sets. IEEE Transactions on Software Engineering 8(4) (1982)
Hussmann, M., Thies, M., Kastens, U., Purnaprajna, M., Porrmann, M., Rueckert, U.: Compiler-driven Reconfiguration of Multiprocessors. In: Proceedings of the Workshop on Application Specific Processors, Salzburg, pp. 3–10 (2007)
for Intelligent Physical Agents, F.: FIPA Propose Interaction Protocol Specification (2002), http://www.fipa.org/specs/fipa00036/SC00036H.pdf (accessed May 8, 2012)
Jantsch, A., Tenhunen, H.: Networks on Chip. Kluwer Academic Publishers, Dordrecht (2003)
Jennings, N.R., Wooldrige, M.: Applying Agent Technology. Applied Artificial Intelligence 9(4), 357–369 (1995)
Jungeblut, T., Ax, J., Porrmann, M., Rueckert, U.: A TCMS-based Architecture for GALS NoCs. In: Proceedings of the IEEE International Symposium on Circuits and Systems, Seoul (2012)
Jungeblut, T., Liss, C., Porrmann, M., Rueckert, U.: Design-space Exploration for Flexible WLAN Hardware. In: Zorba, N., Skianis, C., Verikoukis, C. (eds.) Cross Layer Designs in WLAN Systems, pp. 521–564. Troubador Publishing, Leicester (2011)
Jungmann, A., Kleinjohann, B., Kleinjohann, L., Bieshaar, M.: Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems. In: Proceedings of the 4th International Conference on Resource Intensive Applications and Services, St. Maarten (2012)
Kalte, H., Lee, G., Porrmann, M., Rückert, U.: REPLICA: A Bitstream Manipulation Filter for Module Relocation in Partial Reconfigurable Systems. In: Proceedings of the 19th International Parallel and Distributed Processing Symposium - Reconfigurable Architectures Workshop (2005)
Kastenberg, H., Rensink, A.: Model Checking Dynamic States in GROOVE. In: Valmari, A. (ed.) SPIN 2006. LNCS, vol. 3925, pp. 299–305. Springer, Heidelberg (2006)
Katzenbach, A., Haasis, S.: Virtual and Mixed Reality in a SOA Based Engineering Environment. In: Proceedings of the CIRP Design Conference Design Synthesis, Enschede (2008)
Kerstan, T., Oertel, M.: Design of a Real-time Optimized Emulation Method. In: Proceedings of the Design, Automation and Test in Europe, Dresden (2010)
Kettelhoit, B., Porrmann, M.: A Layer Model for Systematically Designing Dynamically Reconfigurable Systems. In: Proceedings of the 16th International Conference on Field Programmable Logic and Applications, Madrid (2006)
Klinker, G., Dutoit, A., Bauer, M., Bayer, J., Novak, V.: Fata Morgana - A Presentation System for Product Design. In: Proceedings of the International Symposium on Mixed and Augmented Reality, Darmstadt (2002)
Klöpper, B.: Ein Beitrag zur Verhaltensplanung für interagierende intelligente mechatronische Systeme in nicht-deterministischen Umgebungen. Ph.D. thesis, Fakultät für Wirtschaftswissenschaften, Universität Paderborn, HNI-Verlagsschriftenreihe, Band 253, Paderborn (2009)
Klöpper, B., Aufenanger, M., Adelt, P.: Planning for Mechatronics Systems - Architechture, Methods and Case Study. Engineering Applications of Artificial Intelligence 25(1), 174–188 (2012)
Koester, M., Kalte, H., Porrmann, M.: Run-time Defragmentation for Partially Reconfigurable Systems. In: Proceedings of the IFIP International Conference on Very Large Scale Integration, Madrid, pp. 109–115 (2005)
Koester, M., Kalte, H., Porrmann, M.: Task Placement for Heterogeneous Reconfigurable Architectures. In: Proceedings of the IEEE 2005 Conference on Field-Programmable Technology, Singapore, pp. 43–50 (2005)
Koester, M., Kalte, H., Porrmann, M.: Task Placement for Heterogeneous Reconfigurable Architectures. In: Proceedings of the IEEE 2005 Conference on Field-Programmable Technology, Singapore, pp. 43–50 (2005)
Koester, M., Luk, W., Hagemeyer, J., Porrmann, M.: Design Optimizations to Improve Placeability of Partial Reconfiguration Modules. In: Proceedings of the International Conference on Design, Automation and Test in Europe, Nice (2009)
Koester, M., Porrmann, M., Rückert, U.: Placement-oriented Modeling of Partially Reconfigurable Architectures. In: Proceedings of the 19th International Parallel and Distributed Processing Symposium - Reconfigurable Architectures Workshop, Phoenix (2005)
Köpper, B., Sondermann-Wölke, C., Romaus, C.: Probabilistic Planning for Predictive Condition Monitoring and Adaptation within the Self-Optimizing Energy Management of an Autonomous Railway Vehicle. Journal for Robotics and Mechatronics 24, 5–15 (2012)
Korf, S., Cozzi, D., Koester, M., Hagemeyer, J., Porrmann, M., Rückert, U., Santambrogio, M.D.: Automatic HDL-based Generation of Homogeneous Hard Macros for FPGAs. In: Proceedings of the IEEE 19th Annual International Symposium on Field-Programmable Custom Computing Machines, Salt Lake City, pp. 125–132 (2011)
Kramer, J., Magee, J.: Analysing Dynamic Change in Software Architectures: A Case Study. In: Proceedings of the International Conference on Configurable Distributed Systems, Annapolis (1998)
Krause, F.L., Jansen, H., Kind, C., Rothenburg, U.: Virtual Product Development as an Engine for Innovation. In: Krause, F.L. (ed.) The Future of Product Development, pp. 703–713. Springer, Heidelberg (2007)
Krüger, M., Trächtler, A.: Approximation of Pareto-optimal Systems Using Parametric Model-order Reduction. In: 7th Vienna International Conference on Mathematical Modelling, Wien
Krüger, M., Witting, K., Dellnitz, M., Trächtler, A.: Robust Pareto Points with Respect to Crosswind of an Active Suspension System. In: Proceedings of the 1st Joint International Symposium on System-Integrated Intelligence, Hannover (2012)
Krüger, M., Witting, K., Trächtler, A., Dellnitz, M.: Parametric Model-order Reduction in Hierarchical Multiobjective Optimization of Mechatronic Systems. In: Proceedings of the 18th IFAC World Congress, Milano (2011)
Leyendecker, S., Ober-Blöbaum, S.: A Variational Approach to Multirate Integration. In: Proceedings of the 4th European Conference on Computational Mechanics, Paris (2010)
Leyendecker, S., Ober-Blöbaum, S.: A Variational Approach to Multirate Integration for Constrained Systems. In: Fisette, P., Samin, J.C. (eds.) Proceedings of the ECCOMAS Thematic Conference: Multibody Dynamics: Computational Methods and Applications, Brüssel (2011)
Leyendecker, S., Ober-Blöbaum, S., Marsden, J.E., Ortiz, M.: Discrete Mechanics and Optimal Control for Constrained Systems. Optimal Control, Applications and Methods 31(6), 505–528 (2010)
Li, C., McMahon, C., Newnes, L.: Annotation in Design Processes: Classification of Approcches. In: Proceedings of the International Conference on Engineering Design, Stanford, pp. 8–262 (2009)
Li, L., Littman, M.L., Littman, L.: Prioritized Sweeping Converges to the Optimal Value Function. Tech. Rep. DCS-TR-631 (2008)
Loginov, A., Reps, T., Sagiv, M.: Abstraction Refinement via Inductive Learning. In: Proceedings of the 17th International Conference on Computer Aided Verification, Edinburgh, pp. 519–533 (2005)
Luetkemeier, S., Porrmann, M., Jungeblut, T., Rueckert, U.: A 200 mV 32-bit Subthreshold Processor with Adaptive Supply Voltage Control. In: Proceedings of the 2012 IEEE International Solid-state Circuits Conference, San Francisco, pp. 484–485 (2012)
Lynch, N.A.: Distributed Algorithms, 1st edn. Morgan Kaufmann, Burlington (1997)
Marsden, J.E., Ratiu, T.S.: Introduction to Mechanics and Symmetry, 2nd edn. Springer, Heidelberg (1999)
Marsden, J.E., West, M.: Discrete Mechanics and Variational Integrators. Acta Numerica 10, 357–514 (2001)
Mendez, G., de Antonio, A.: An Agent-based Architecture for Collaborative Virtual Environments for Training. In: Proceedings of the 5th WSEAS Int. Conf. on Multimedia, Internet and Video Technologies, Corfu, pp. 29–34 (2005)
Mescheder, D., Tuyls, K., Kaisers, M.: POMDP Opponent Models for Best Response Behavior. In: Proceedings of the 23rd Benelux Conference on Artificial Intelligence, Gent (2011)
Milner, R.: A Calculus of Communicating Systems. Springer, Heidelberg (1982)
Moctezuma Eugenio, J.C., Arias Estrada, M.: Hardware/Software FPGA Architecture for Robotics Applications. In: Proceedings of the 5th International Workshop on Reconfigurable Computing: Architectures, Tools and Applications, Karlsruhe, pp. 27–38 (2009)
Moore, A., Ober-Blöbaum, S., Marsden, J.E.: Trajectory Design Combining Invariant Manifolds with Discrete Mechanics and Optimal Control. Journal of Guidance, Control, and Dynamics 35(5), 1507–1525 (2012)
Moore, A.W., Atkeson, C.G.: Prioritized Sweeping - Reinforcement Learning with less Data and less Time. Machine Learning 13(1), 103–130 (1993)
Münch, E., Gambuzza, A., Paiz, C., Pohl, C., Porrmann, M.: FPGA-in-the-Loop Simulations with CAMEL-View. In: Proceedings of the 7th International Heinz Nixdorf Symposium, Paderborn (2008)
Nava, F., Sciuto, D., Santambrogio, M.D., Herbrechtsmeier, S., Porrmann, M., Witkowski, U., Rueckert, U.: Applying Dynamic Reconfiguration in the Mobile Robotics Domain - A Case Study on Computer Vision Algorithms. ACM Transactions on Reconfigurable Technology and Systems 4(3), 29:1–29:22 (2011)
Niemann, J.C., Puttmann, C., Porrmann, M., Rückert, U.: Resource Efficiency of the GigaNetIC Chip Multiprocessor Architecture. Journal of Systems Architecture (JSA), Special Issue on Architectural Premises for Pervasive Computing 53(5-6), 285–299 (2007)
Ober-Blöbaum, S., Junge, O., Marsden, J.E.: Discrete Mechanics and Optimal Control: An Analysis. Control, Optimisation and Calculus of Variations 17(2), 322–352 (2011)
Ober-Blöbaum, S., Ringkamp, M., Zum Felde, G.: Solving Multiobjective Optimal Control Problems in Space Mission Design using Discrete Mechanics and Reference Point Techniques. In: Proceedings of the 51th IEEE Conference on Decision and Control, Maui, pp. 5711–5716 (2012)
Ober-Blöbaum, S., Walther, A.: Computation of Derivatives for Structure Preserving Optimal Control Using Automatic Differentiation. Proceedings of Applied Mathematics and Mechanics 10(1), 585–586 (2010)
Oberthür, S.: Towards an RTOS for Self-optimizing Mechatronic Systems. Ph.D. thesis, Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, HNI-Verlagschriftenreihe, Paderborn (2009)
Oberthür, S.: Towards an RTOS for Self-optimizing Mechatronic Systems. Ph.D. thesis, Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, HNI-Verlagschriftenreihe, Paderborn (2010)
Oberthür, S., Böke, C.: Flexible Resource Management - A Framework for Self-optimizing Real-time Systems. In: Gao, G.R., Kopetz, H., Kleinjohann, L., Rettberg, A. (eds.) Proceedings of IFIP Working Conference on Distributed and Parallel Embedded Systems, Toulouse (2004)
Oberthür, S., Zaramba, L., Lichte, H.S.: Flexible Resource Management for Self-X Systems: An Evaluation. In: Proceedings of the 1st IEEE Workshop on Self-Organizing Real-Time Systems, Carmona (2010)
Pahl, G., Beitz, W., Feldhusen, J., Grote, K.H.: Engineering Design - A Systematic Approach, 3rd edn. Springer, Heidelberg (2007)
Paiz, C., Hagemeyer, J., Pohl, C., Porrmann, M., Rückert, U., Schulz, B., Peters, W., Böcker, J.: FPGA-Based Realization of Self-Optimizing Drive-Controllers. In: Proceedings of the 35th Annual Conference of the IEEE Industrial Electronics Society, Porto (2009)
Panzer, H., Mohring, J., Eid, R., Lohmann, B.: Parametric Model Order Reduction by Matrix Interpolation. at - Automatisierungstechnik 58, 475–484 (2010)
Payne, T.: Agent-based Team Aiding in a Time Critical Task. In: Proceeding of the 44rd Hawaii International Conference on System Sciences, Maui, vol. 1 (2000)
Pohl, C., Paiz, C., Porrmann, M.: A Hardware-in-the-Loop Design Environment for FPGAs. In: Proceedings of the Design, Automation and Test in Europe, München (2008)
Pohl, C., Paiz, C., Porrmann, M.: vMAGIC - VHDL Manipulation and Automation for Reliable System Development. In: Proceedings of the 3rd International Workshop on Reconfigurable Computing Education, Karlsruhe (2008)
Porrmann, M., Hagemeyer, J., Pohl, C., Romoth, J., Strugholtz, M.: RAPTOR - A Scalable Platform for Rapid Prototyping and FPGA-based Cluster Computing. In: Proceedings of the Parallel Computing: From Multicores and GPUs to Petascale, Lyon, pp. 592–599 (2010)
Porrmann, M., Purnaprajna, M., Puttmann, C.: Self-optimization of MPSoCs Targeting Resource Efficiency and Fault Tolerance. In: Proceedings of the NASA/ESA Conference on Adaptive Hardware and Systems, San Francisco, pp. 467–473 (2009)
Priesterjahn, C.: Hazard Analysis of Self-optimizing Mechatronic Systems. In: Proceedings of the Doctoral Symposium of the 7th Joint Meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Amsterdam (2009)
Purnaprajna, M., Porrmann, M., Rueckert, U.: Run-time Reconfigurability in Embedded Multiprocessors. SIGARCH Computer Architecture News 37(2), 30–37 (2009)
Purnaprajna, M., Porrmann, M., Rueckert, U., Hussmann, M., Thies, M., Kastens, U.: Runtime Reconfiguration of Multiprocessors Based on Compile-time Analysis. ACM Transactions on Reconfigurable Technology and Systems (TRETS) 3(3), 17:1–17:25 (2010)
Purnaprajna, M., Puttmann, C., Porrmann, M.: Power Aware Reconfigurable Multiprocessor for Elliptic Curve Cryptography. In: Proceedings of the Conference on Design, Automation and Test in Europe, München, pp. 1462–1467 (2008)
Puttmann, C., Niemann, J.C., Porrmann, M., Rückert, U.: GigaNoC – A Hierarchical Network-on-Chip for Scalable Chip-Multiprocessors. In: Proceedings of the 10th EUROMICRO Conference on Digital System Design, Lübeck, pp. 495–502 (2007)
Radkowski, R.: Towards Semantic Virtual Prototypes for Automatic Model Combination. In: Proceedings of the 20th CIRP Design Conference, Global Product Development, Nantes (2010)
Radkowski, R., Waßmann, H.: Augmented Reality-based Approach for the Visual Analysis of Intelligent Mechatronic Systems. In: Proceedings of the Workshop at the IDETC/CIE Design Engineering Technical Conference & Computer and Information in Engineering Conference, New York (2008)
Radkowski, R., Waßmann, H.: Software-agent Supported Virtual Experimental Environment for Virtual Prototypes of Mechatronic Systems. In: Proceedings of the ASME 2010 World Conference on Innovative Virtual Reality, Ames (2010)
Rana, V., Santambrogio, M., Sciuto, D., Kettelhoit, B., Koester, M., Porrmann, M., Rückert, U.: Partial Dynamic Reconfiguration in a Multi-FPGA Clustered Architecture Based on Linux. In: Proceedings of the 21st International Parallel and Distributed Processing Symposium: Reconfigurable Architectures Workshop, Long Beach (2007)
Reinold, P., Nachtigal, V., Trächtler, A.: An Advanced Electric Vehicle for the Development and Test of New Vehicle-Dynamics Control Strategies. In: Proceedings of the 6th IFAC Symposium on Advances in Automotive Control AAC, München (2010)
Reps, T., Sagiv, M., Loginov, A.: Finite Differencing of Logical Formulas for Static Analysis (ESOP). In: Proceedings of European Symposium on Programming, Las Vegas, vol. 32, pp. 393–412 (2003)
Restrepo, J.: A Visual Lexicon to Handle Semantic Similarity in Design Precedents. In: Proceedings of the 16th International Conference on Engineering Design, Paris (2007)
Reynolds, C.W.: Steering Behaviors For Autonomous Characters. In: Proceedings of Game Developers Conference, San Jose, pp. 763–782 (1999)
Richter, U., Mnif, M., Branke, J., Müller-Schloer, C., Schmeck, H.: Towards a Generic Observer/Controller Architecture for Organic Computing. In: Tagungsband vom 36, pp. 112–119. Jahrestagung der Gesellschaft für Informatik - Informatik für Menschen, Dresden (2006)
Rieke, J., Dorociak, R., Sudmann, O., Gausemeier, J., Schäfer, W.: Management of Cross-domain Model Consistency for Behavioral Models of Mechatronic Systems. In: Proceedings of the 12th International Design Conference, Dubrovnik (2012)
Ringkamp, M., Ober-Blöbaum, S., Dellnitz, M., Schütze, O.: Handling High Dimensional Problems with Multi-objective Continuation Methods via Successive Approximation of the Tangent Space. Engineering Optimization 44(9), 1117–1146 (2012)
Ringkamp, M., Walther, A., Reinold, P., Witting, K., Dellnitz, M., Trächtler, A.: Using Algorithmic Differentiation for the Multiobjective Optimization of a Test Vehicle. In: Proceedings of EVOLVE, Mexico City (2012)
Romaus, C., Bocker, J., Witting, K., Seifried, A., Znamenshchykov, O.: Optimal Energy Management for a Hybrid Energy Storage System Combining Batteries and Double Layer Capacitors. In: Proceedings of the Energy Conversion Congress and Exposition, San Jose, pp. 1640–1647 (2009)
Rozenberg, G.: Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol. 1. World Scientific Publishing Co. Inc., River Edge (1997)
Sagiv, M., Reps, T., Wilhelm, R.: Parametric Shape Analysis via 3-valued Logic. ACM Transactions on Programming Languages and Systems 24(3), 217–298 (2002)
Schenk, M., Straßburger, S., Kissner, H.: Combining Virtual Reality and Assembly Simulation for Production Planning and Worker Qualification. In: Zaeh, M., Reinhart, G. (eds.) Proceedings of the International Conference on Changeable, Agile, Reconfigurable and Virtual Production, München, pp. 411–414 (2005)
Schneider, T., Schulz, B., Henke, C., Witting, K., Steenken, D., Böcker, J.: Energy Transfer via Linear Doubly-fed Motor in Different Operating Modes. In: Proceedings of the International Electric Machines and Drives Conference, Miami, pp. 598–605 (2009)
Schürr, A.: Specification of Graph Translators with Triple Graph Grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol. 903, pp. 151–163. Springer, Heidelberg (1995)
Schütze, O., Dell’Aere, A., Dellnitz, M.: On Continuation Methods for the Numerical Treatment of Multi-objective Optimization Problems. In: Proceedings of the Practical Approaches to Multi-objective Optimization, Dagstuhl (2005)
Schütze, O., Witting, K., Ober-Blöbaum, S., Dellnitz, M.: Set Oriented Methods for the Numerical Treatment of Multi-objective Optimization Problems. In: Tantar, E., Tantar, A.-A., Bouvry, P., Del Moral, P., Legrand, P., Coello Coello, C.A., Schütze, O. (eds.) EVOLVE- A bridge between Probability. SCI, vol. 447, pp. 187–219. Springer, Heidelberg (2013)
Serrestou, Y., Beroulle, V., Robach, C.: Functional Verification of RTL Designs Driven by Mutation Testing Metrics. In: Proceedings of the 10th Euromicro Conference on Digital System Design, Lebeck, pp. 222–227 (2007)
Spors, K., Martin, A., Leetz, A.: Möglichkeiten fotorealistischer Visualisierungen im Produktionsprozess eines Automobils. Automobiltechnische Zeitschrift 3, 1–8 (2009)
Steenken, D., Wehrheim, H., Wonisch, D.: Sound and Complete Abstract Graph Transformation. In: Proceedings of the Brazilian Symposium on Formal Methods, Sao Paulo, pp. 92–107 (2011)
Steenken, D., Wonisch, D.: Using Shape Analysis to verify Graph Transformations in Model Driven Design. In: Proceedings of the 9th IEEE International Conference on Industrial Informatics, Lisbon, pp. 457–462 (2011)
Groesbrink, S., Baldin, D.: Towards Adaptive Resource Management for Virtualized Real-Time Systems. In: Proceedings of the 4th Workshop on Adaptive and Reconfigurable Embedded Systems, Beijing (2012)
Suck, J., Heinzemann, C., Schäfer, W.: Formalizing Model Checking on Timed Graph Transformation Systems. Tech. Rep. tr-ri-11-316, Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn (2011)
Sutton, R.S., Barto, A.G.: Reinforcement Learning: An Introduction (1998)
Szyperski, C.: Component Software: Beyond Object-oriented Programming. Addison-Wesley, Bonn (1998)
Thiere, B., Ober-Blöbaum, S., Pergola, P.: Detecting Initial Guesses for Trajectories in the (P)CRTBP. In: Proceedings of the AIAA/AAS Astrodynamics Specialist Conference, Toronto (2010)
Tichy, M., Henkler, S., Holtmann, J., Oberthür, S.: Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems. In: Proceedings of the 4th Workshop on Object-oriented Modeling of Embedded Real-time Systems, Paderborn, pp. 27–39 (2008)
Timmermann, R., Horenkamp, C., Dellnitz, M., Keßler, J.H., Trächtler, A.: Optimale Umschaltstrategien bei Aktorausfall mit Pfadverfolgungstechniken. In: Gausemeier, J., Rammig, F.J., Schäfer, W., Trächtler, A. (eds.) Tagungsband vom 9. Paderborner Workshop Entwurf mechatronischer Systeme. HNI-Verlagsschriftenreihe, Paderborn (2013)
Tripakis, S., Yovine, S.: Analysis of Timed Systems Using Time-abstracting Bisimulations. Formal Methods in System Design 18(1), 25–68 (2001)
University of Paderborn: TGG Interpreter Tool Suite (2012), http://www.cs.uni-paderborn.de/index.php?id=tgg-interpreter (accessed August 13, 2013)
Wasson, C.S.: System Analysis, Design, and Development. John Wiley & Sons, Hoboken (2006)
Watkins, C.J.C.H., Dayan, P.: Q-Learning. Machine Learning 8(3-4), 279–292 (1992)
Witting, K.: Numerical Algorithms for the Treatment of Parametric Multiobjective Optimization Problems and Applications. Ph.D. thesis, Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, HNI-Verlagschriftenreihe, Paderborn (2011)
Witting, K., Ober-Blöbaum, S., Dellnitz, M.: A Variational Approach to Define Robustness for Parametric Multiobjective Optimization Problems. Journal of Global Optimization (2012)
Witting, K., Schulz, B., Dellnitz, M., Böcker, J., Fröhleke, N.: A new Approach for Online Multiobjective Optimization of Mechatronic Systems. International Journal on Software Tools for Technology Transfer STTT 10(3), 223–231 (2008)
Wittke, M.: AR in der PKW-Entwicklung bei Volkswagen. In: Schenk, M. (ed.) Tagungsband zur 4. Fachtagung zu Virtual RealityIFF-Wissenschaftstage - Virtual Reality und Augmented Reality zum Planen, Testen und Betreiben technischer Systeme, Magdeburg (2007)
Wolf, W., Jerraya, A., Martin, G.: Multiprocessor System-on-Chip (MPSoC) Technology. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 27(10), 1701–1713 (2008)
Wonisch, D.: Increasing the Preciseness of Shape Analysis for Graph Transformation Systems. Ph.D. thesis, Institut für Informatik, Universität of Paderborn (2010)
Ye, J., Badiyani, S., Raja, V., Schlegel, T.: Applications of Virtual Reality in Product Design Evaluation. In: Jacko, J.A. (ed.) Human-Computer Interaction, Part IV, HCII 2007. LNCS, vol. 4553, pp. 1190–1199. Springer, Heidelberg (2007)
Zhang, J., Cheng, B.H.C.: Model-based Development of Dynamically Adaptive Software. In: Proceedings of the 28th International Conference on Software Engineering, Shanghai (2006)
Zilberstein, S.: Using Anytime Algorithms in Intelligent Systems. AI Magazine 17(3), 73–83 (1996)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Anacker, H. et al. (2014). Methods for the Design and Development. In: Gausemeier, J., Rammig, F., Schäfer, W. (eds) Design Methodology for Intelligent Technical Systems. Lecture Notes in Mechanical Engineering. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-45435-6_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-45435-6_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-45434-9
Online ISBN: 978-3-642-45435-6
eBook Packages: EngineeringEngineering (R0)