Skip to main content
SpringerLink
Log in

Methods for the Design and Development

  • Chapter
Design Methodology for Intelligent Technical Systems

Part of the book series: Lecture Notes in Mechanical Engineering ((LNME))

  • 1706 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)

    Google Scholar 

  2. 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)

    Google Scholar 

  3. 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)

    Google Scholar 

  4. 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)

    Google Scholar 

  5. 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)

    Google Scholar 

  6. Alur, R., Courcoubetis, C., Dill, D.: Model-Checking in Dense Real-time. Information and Computation 104, 2–34 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  7. 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)

    Chapter  Google Scholar 

  8. Alur, R., Dill, D.L.: A Theory of Timed Automata. Theoretical Computer Science 126, 183–235 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  9. Angluin, D.: Learning Regular Sets from Queries and Counterexamples. Information and Computation 75(2), 87–106 (1987)

    Article  MATH  MathSciNet  Google Scholar 

  10. 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)

    Chapter  Google Scholar 

  11. 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)

    Google Scholar 

  12. Babitski, G.: Inferenzalgorithmen zur Auswahl ontologiebasierter Situationsbeschreibungen für ein kontextadaptives Dialogsystem. Ph.D. thesis, Technische Universität Darmstadt (2004)

    Google Scholar 

  13. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)

    MATH  Google Scholar 

  14. 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)

    Chapter  Google Scholar 

  15. 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)

    Google Scholar 

  16. 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)

    Google Scholar 

  17. 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)

    Google Scholar 

  18. 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)

    Google Scholar 

  19. Bellifemine, F.L., Caire, G., Greenwood, D.: Developing Multi-agent Systems with JADE. John Wiley & Sons, Hoboken (2007)

    Book  Google Scholar 

  20. Ben-Gal, I.: Bayesian Networks. In: Encyclopedia of Statistics in Quality and Reliability (2007)

    Google Scholar 

  21. 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)

    Chapter  Google Scholar 

  22. Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American (2001)

    Google Scholar 

  23. 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)

    Google Scholar 

  24. Bertin, J.: Semiology of Graphics. University of Wisconsin Press, Wisconsin (1983)

    Google Scholar 

  25. 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)

    Chapter  Google Scholar 

  26. 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)

    Google Scholar 

  27. 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)

    Google Scholar 

  28. 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)

    Google Scholar 

  29. 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)

    Google Scholar 

  30. de Boor, C.: A Practical Guide to Splines. Springer, Heidelberg (2001)

    MATH  Google Scholar 

  31. 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)

    Chapter  Google Scholar 

  32. Brutzman, D., Zyda, M., Pullen, M., Morse, K.: XMSF 2002 Findings and Recommendations (2002)

    Google Scholar 

  33. 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)

    Google Scholar 

  34. 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)

    Google Scholar 

  35. 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)

    Google Scholar 

  36. 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)

    Google Scholar 

  37. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2000)

    Google Scholar 

  38. 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)

    Article  Google Scholar 

  39. 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)

    Google Scholar 

  40. 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)

    Google Scholar 

  41. 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)

    Google Scholar 

  42. 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)

    Google Scholar 

  43. 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)

    Google Scholar 

  44. 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)

    Chapter  Google Scholar 

  45. 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)

    Article  MATH  MathSciNet  Google Scholar 

  46. 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)

    Article  MATH  Google Scholar 

  47. Dellnitz, M., Witting, K.: Computation of robust Pareto points. International Journal of Computing Science and Mathematics 2(3), 243–266 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  48. DeMillo, R.A., Offutt, A.J.: Constraint-based Automatic Test Data Generation. IEEE Transactions on Software Engineering 17(9) (1991)

    Google Scholar 

  49. Ding, L., Davies, D., McMahon, C.A.: The Integration of Lightweight Representation and Annotation for Collaborative Design Representation 19(4), 223–238 (2009)

    Google Scholar 

  50. 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)

    Google Scholar 

  51. Ditze, C.: Towards Operating System Synthesis. Ph.D. thesis, Fachgruppe Entwurf Paralleler Systeme, Universität Paderborn, HNI-Verlagsschriftenreihe, Band 76, Paderborn (2000)

    Google Scholar 

  52. 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)

    Google Scholar 

  53. 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)

    Article  Google Scholar 

  54. 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)

    Chapter  Google Scholar 

  55. Eckardt, T., Henkler, S.: Synthesis of Reconfiguration Charts. Tech. Rep. tr-ri-10-314, Software Engineering Group, University of Paderborn (2010)

    Google Scholar 

  56. 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)

    Google Scholar 

  57. 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)

    Google Scholar 

  58. 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)

    Google Scholar 

  59. FG Rammig, University of Paderborn: ORCOS - Organic Reconfigurable Operating System, https://orcos.cs.uni-paderborn.de/doxygen/html (accessed August 12, 2013)

  60. 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)

    Google Scholar 

  61. 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)

    Google Scholar 

  62. 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)

    Article  MATH  MathSciNet  Google Scholar 

  63. 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)

    Google Scholar 

  64. 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)

    Google Scholar 

  65. Fox, M., Long, D.: PDDL 2.1: An Extension to PDDL for Expressing Temporal Planning Domains. Jornal of Artificial Intelligence Research, 189–208 (2003)

    Google Scholar 

  66. 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)

    Article  Google Scholar 

  67. 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)

    Google Scholar 

  68. 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)

    Article  Google Scholar 

  69. Gausemeier, J., Rammig, F.J., Schäfer, W., Sextro, W. (eds.): Dependability of Self-optimizing Mechatronic Systems. Springer, Heidelberg (2014)

    Google Scholar 

  70. 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)

    Google Scholar 

  71. 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)

    Google Scholar 

  72. 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)

    Google Scholar 

  73. 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)

    Google Scholar 

  74. Ghallab, M., Nau, D., Traverso, P.: Automated Planning - Theory and Practice. Elsevier, Amsterdam (2004)

    Google Scholar 

  75. 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)

    Google Scholar 

  76. 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)

    Article  MATH  MathSciNet  Google Scholar 

  77. 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)

    Google Scholar 

  78. 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)

    Article  Google Scholar 

  79. 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)

    Google Scholar 

  80. 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)

    Google Scholar 

  81. Griewank, A., Walther, A.: Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation. Society for Industrial and Applied Mathematics, Philadelphia (2008)

    Google Scholar 

  82. 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)

    Google Scholar 

  83. 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)

    Google Scholar 

  84. Guckenheimer, J., Holmes, P.: Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields. In: Applied Mathematical Sciences, vol. 42, Springer, Heidelberg (1983)

    Google Scholar 

  85. 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)

    Google Scholar 

  86. Gutiérrez, M., Vexo, F., Thalmann, D.: Stepping into Virtual Reality. Springer, Heidelberg (2008)

    Book  Google Scholar 

  87. 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)

    Google Scholar 

  88. 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)

    Google Scholar 

  89. 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)

    Google Scholar 

  90. 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)

    Google Scholar 

  91. 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)

    Google Scholar 

  92. Heinzemann, C., Henkler, S.: Timed Story Driven Modeling. Tech. Rep. tr-ri-11-326, University of Paderborn (2011)

    Google Scholar 

  93. 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)

    Google Scholar 

  94. 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)

    Google Scholar 

  95. 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)

    Google Scholar 

  96. 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)

    Google Scholar 

  97. 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)

    Google Scholar 

  98. Henzinger, T.A.: The Theory of Hybrid Automata. In: Logic in Computer Science, p. 278 (1996)

    Google Scholar 

  99. 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)

    Chapter  Google Scholar 

  100. Hillermeier, C.: Nonlinear Multiobjective Optimization - A Generalized Homotopy Approach. Birkhäuser (2001)

    Google Scholar 

  101. Hitzler, P., Krötzsch, M., Rudolph, S., Sure, Y.: Semantic Web - Grundlagen. Springer, Heidelberg (2008)

    MATH  Google Scholar 

  102. 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)

    Google Scholar 

  103. 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)

    Google Scholar 

  104. Howden, W.E.: Weak Mutation Testing and Completeness of Test Sets. IEEE Transactions on Software Engineering 8(4) (1982)

    Google Scholar 

  105. 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)

    Google Scholar 

  106. for Intelligent Physical Agents, F.: FIPA Propose Interaction Protocol Specification (2002), http://www.fipa.org/specs/fipa00036/SC00036H.pdf (accessed May 8, 2012)

  107. Jantsch, A., Tenhunen, H.: Networks on Chip. Kluwer Academic Publishers, Dordrecht (2003)

    Google Scholar 

  108. Jennings, N.R., Wooldrige, M.: Applying Agent Technology. Applied Artificial Intelligence 9(4), 357–369 (1995)

    Article  Google Scholar 

  109. 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)

    Google Scholar 

  110. 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)

    Google Scholar 

  111. 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)

    Google Scholar 

  112. 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)

    Google Scholar 

  113. 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)

    Chapter  Google Scholar 

  114. 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)

    Google Scholar 

  115. Kerstan, T., Oertel, M.: Design of a Real-time Optimized Emulation Method. In: Proceedings of the Design, Automation and Test in Europe, Dresden (2010)

    Google Scholar 

  116. 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)

    Google Scholar 

  117. 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)

    Google Scholar 

  118. 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)

    Google Scholar 

  119. 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)

    Article  Google Scholar 

  120. 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)

    Google Scholar 

  121. 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)

    Google Scholar 

  122. 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)

    Google Scholar 

  123. 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)

    Google Scholar 

  124. 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)

    Google Scholar 

  125. 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)

    Google Scholar 

  126. 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)

    Google Scholar 

  127. 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)

    Google Scholar 

  128. 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)

    Chapter  Google Scholar 

  129. 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

    Google Scholar 

  130. 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)

    Google Scholar 

  131. 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)

    Google Scholar 

  132. Leyendecker, S., Ober-Blöbaum, S.: A Variational Approach to Multirate Integration. In: Proceedings of the 4th European Conference on Computational Mechanics, Paris (2010)

    Google Scholar 

  133. 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)

    Google Scholar 

  134. 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)

    Article  MATH  MathSciNet  Google Scholar 

  135. 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)

    Google Scholar 

  136. Li, L., Littman, M.L., Littman, L.: Prioritized Sweeping Converges to the Optimal Value Function. Tech. Rep. DCS-TR-631 (2008)

    Google Scholar 

  137. 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)

    Google Scholar 

  138. 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)

    Google Scholar 

  139. Lynch, N.A.: Distributed Algorithms, 1st edn. Morgan Kaufmann, Burlington (1997)

    Google Scholar 

  140. Marsden, J.E., Ratiu, T.S.: Introduction to Mechanics and Symmetry, 2nd edn. Springer, Heidelberg (1999)

    Book  MATH  Google Scholar 

  141. Marsden, J.E., West, M.: Discrete Mechanics and Variational Integrators. Acta Numerica 10, 357–514 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  142. 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)

    Google Scholar 

  143. 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)

    Google Scholar 

  144. Milner, R.: A Calculus of Communicating Systems. Springer, Heidelberg (1982)

    Google Scholar 

  145. 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)

    Google Scholar 

  146. 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)

    Article  Google Scholar 

  147. Moore, A.W., Atkeson, C.G.: Prioritized Sweeping - Reinforcement Learning with less Data and less Time. Machine Learning 13(1), 103–130 (1993)

    Google Scholar 

  148. 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)

    Google Scholar 

  149. 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)

    Google Scholar 

  150. 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)

    Google Scholar 

  151. 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)

    Article  MATH  MathSciNet  Google Scholar 

  152. 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)

    Google Scholar 

  153. 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)

    Article  Google Scholar 

  154. 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)

    Google Scholar 

  155. 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)

    Google Scholar 

  156. 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)

    Google Scholar 

  157. 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)

    Google Scholar 

  158. Pahl, G., Beitz, W., Feldhusen, J., Grote, K.H.: Engineering Design - A Systematic Approach, 3rd edn. Springer, Heidelberg (2007)

    Google Scholar 

  159. 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)

    Google Scholar 

  160. Panzer, H., Mohring, J., Eid, R., Lohmann, B.: Parametric Model Order Reduction by Matrix Interpolation. at - Automatisierungstechnik 58, 475–484 (2010)

    Article  Google Scholar 

  161. 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)

    Google Scholar 

  162. 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)

    Google Scholar 

  163. 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)

    Google Scholar 

  164. 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)

    Google Scholar 

  165. 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)

    Google Scholar 

  166. 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)

    Google Scholar 

  167. Purnaprajna, M., Porrmann, M., Rueckert, U.: Run-time Reconfigurability in Embedded Multiprocessors. SIGARCH Computer Architecture News 37(2), 30–37 (2009)

    Article  Google Scholar 

  168. 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)

    Google Scholar 

  169. 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)

    Google Scholar 

  170. 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)

    Google Scholar 

  171. Radkowski, R.: Towards Semantic Virtual Prototypes for Automatic Model Combination. In: Proceedings of the 20th CIRP Design Conference, Global Product Development, Nantes (2010)

    Google Scholar 

  172. 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)

    Google Scholar 

  173. 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)

    Google Scholar 

  174. 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)

    Google Scholar 

  175. 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)

    Google Scholar 

  176. 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)

    Google Scholar 

  177. Restrepo, J.: A Visual Lexicon to Handle Semantic Similarity in Design Precedents. In: Proceedings of the 16th International Conference on Engineering Design, Paris (2007)

    Google Scholar 

  178. Reynolds, C.W.: Steering Behaviors For Autonomous Characters. In: Proceedings of Game Developers Conference, San Jose, pp. 763–782 (1999)

    Google Scholar 

  179. 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)

    Google Scholar 

  180. 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)

    Google Scholar 

  181. 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)

    Article  MathSciNet  Google Scholar 

  182. 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)

    Google Scholar 

  183. 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)

    Google Scholar 

  184. Rozenberg, G.: Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol. 1. World Scientific Publishing Co. Inc., River Edge (1997)

    Book  Google Scholar 

  185. 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)

    Article  Google Scholar 

  186. 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)

    Google Scholar 

  187. 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)

    Google Scholar 

  188. 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)

    Chapter  Google Scholar 

  189. 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)

    Google Scholar 

  190. 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)

    Chapter  Google Scholar 

  191. 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)

    Google Scholar 

  192. Spors, K., Martin, A., Leetz, A.: Möglichkeiten fotorealistischer Visualisierungen im Produktionsprozess eines Automobils. Automobiltechnische Zeitschrift 3, 1–8 (2009)

    Google Scholar 

  193. 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)

    Google Scholar 

  194. 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)

    Google Scholar 

  195. 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)

    Google Scholar 

  196. 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)

    Google Scholar 

  197. Sutton, R.S., Barto, A.G.: Reinforcement Learning: An Introduction (1998)

    Google Scholar 

  198. Szyperski, C.: Component Software: Beyond Object-oriented Programming. Addison-Wesley, Bonn (1998)

    Google Scholar 

  199. 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)

    Google Scholar 

  200. 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)

    Google Scholar 

  201. 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)

    Google Scholar 

  202. Tripakis, S., Yovine, S.: Analysis of Timed Systems Using Time-abstracting Bisimulations. Formal Methods in System Design 18(1), 25–68 (2001)

    Article  MATH  Google Scholar 

  203. University of Paderborn: TGG Interpreter Tool Suite (2012), http://www.cs.uni-paderborn.de/index.php?id=tgg-interpreter (accessed August 13, 2013)

  204. Wasson, C.S.: System Analysis, Design, and Development. John Wiley & Sons, Hoboken (2006)

    Google Scholar 

  205. Watkins, C.J.C.H., Dayan, P.: Q-Learning. Machine Learning 8(3-4), 279–292 (1992)

    Article  MATH  Google Scholar 

  206. 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)

    Google Scholar 

  207. Witting, K., Ober-Blöbaum, S., Dellnitz, M.: A Variational Approach to Define Robustness for Parametric Multiobjective Optimization Problems. Journal of Global Optimization (2012)

    Google Scholar 

  208. 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)

    Google Scholar 

  209. 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)

    Google Scholar 

  210. 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)

    Article  Google Scholar 

  211. Wonisch, D.: Increasing the Preciseness of Shape Analysis for Graph Transformation Systems. Ph.D. thesis, Institut für Informatik, Universität of Paderborn (2010)

    Google Scholar 

  212. 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)

    Chapter  Google Scholar 

  213. 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)

    Google Scholar 

  214. Zilberstein, S.: Using Anytime Algorithms in Intelligent Systems. AI Magazine 17(3), 73–83 (1996)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Project Group Mechatronic Systems Design, Fraunhofer Institute for Production Technology IPT, Zukunftsmeile 1, 33102, Paderborn, Germany

    Harald Anacker, Wolfgang Müller, Rafael Radkowski & Tao Xie

  2. Chair of Applied Mathematics, University of Paderborn, Warburger Straße 100, 33098, Paderborn, Germany

    Michael Dellnitz & Christian Horenkamp

  3. Computational Dynamics and Optimal Control, University of Paderborn, Warburger Straße 100, 33098, Paderborn, Germany

    Kathrin Flaßkamp & Sina Ober-Blöbaum

  4. Heinz Nixdorf Institute, University of Paderborn, Design of Distributed Embedded Systems, Fuerstenallee 11, 33102, Paderborn, Germany

    Stefan Groesbrink, Bernd Kleinjohann, Lisa Kleinjohann, Christoph Rasche & Katharina Stahl

  5. Heinz Nixdorf Institute, University of Paderborn, Business Computing, especially CIM, Fuerstenallee 11, D-33102, Paderborn, Germany

    Philip Hartmann

  6. Heinz Nixdorf Institute, University of Paderborn, Software Engineering Group, Zukunftsmeile 1, 33102, Paderborn, Germany

    Christian Heinzemann, Claudia Priesterjahn & Jan Rieke

  7. Heinz Nixdorf Institute, University of Paderborn, System and Circuit Technology, Fuerstenallee 11, 33102, Paderborn, Germany

    Sebastian Korf

  8. Heinz Nixdorf Institute, University of Paderborn, Control Engineering and Mechatronics, Fuerstenallee 11, D-33102, Paderborn, Germany

    Martin Krüger

  9. Design of Distributed Embedded Systems, Heinz Nixdorf Institute, University of Paderborn, Fuerstenallee 11, 33102, Paderborn, Germany

    Simon Oberthür

  10. Cornitronics and Sensor Systems, Center of Excellence Cognitive Interaction Technology, Bielefeld University, Universitätsstraße 21-23, 33615, Bielefeld, Germany

    Mario Porrmann

  11. Applied Mathematics, University of Paderborn, Warburger Straße 100, 33098, Paderborn, Germany

    Maik Ringkamp, Robert Timmermann, Ansgar Trächtler & Katrin Witting

  12. Specification and Modelling of Software Systems, University of Paderborn, Warburger Straße 100, 33098, Paderborn, Germany

    Dominik Steenken & Steffen Ziegert

  13. Heinz Nixdorf Institute, University of Paderborn, Product Engineering, Fuerstenallee 11, 33102, Paderborn, Germany

    Jörg Stöcklein

Authors
  1. Harald Anacker
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael Dellnitz
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Kathrin Flaßkamp
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Stefan Groesbrink
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Philip Hartmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Christian Heinzemann
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Christian Horenkamp
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. Bernd Kleinjohann
    View author publications

    You can also search for this author in PubMed Google Scholar

  9. Lisa Kleinjohann
    View author publications

    You can also search for this author in PubMed Google Scholar

  10. Sebastian Korf
    View author publications

    You can also search for this author in PubMed Google Scholar

  11. Martin Krüger
    View author publications

    You can also search for this author in PubMed Google Scholar

  12. Wolfgang Müller
    View author publications

    You can also search for this author in PubMed Google Scholar

  13. Sina Ober-Blöbaum
    View author publications

    You can also search for this author in PubMed Google Scholar

  14. Simon Oberthür
    View author publications

    You can also search for this author in PubMed Google Scholar

  15. Mario Porrmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  16. Claudia Priesterjahn
    View author publications

    You can also search for this author in PubMed Google Scholar

  17. Rafael Radkowski
    View author publications

    You can also search for this author in PubMed Google Scholar

  18. Christoph Rasche
    View author publications

    You can also search for this author in PubMed Google Scholar

  19. Jan Rieke
    View author publications

    You can also search for this author in PubMed Google Scholar

  20. Maik Ringkamp
    View author publications

    You can also search for this author in PubMed Google Scholar

  21. Katharina Stahl
    View author publications

    You can also search for this author in PubMed Google Scholar

  22. Dominik Steenken
    View author publications

    You can also search for this author in PubMed Google Scholar

  23. Jörg Stöcklein
    View author publications

    You can also search for this author in PubMed Google Scholar

  24. Robert Timmermann
    View author publications

    You can also search for this author in PubMed Google Scholar

  25. Ansgar Trächtler
    View author publications

    You can also search for this author in PubMed Google Scholar

  26. Katrin Witting
    View author publications

    You can also search for this author in PubMed Google Scholar

  27. Tao Xie
    View author publications

    You can also search for this author in PubMed Google Scholar

  28. Steffen Ziegert
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Harald Anacker .

Editor information

Editors and Affiliations

  1. Product Engineering, Heinz Nixdorf Institute, University of Paderborn, Paderborn, Germany

    Jürgen Gausemeier

  2. Design of Distributed Embedded Systems, Heinz Nixdorf Institute, University of Paderborn, Paderborn, Germany

    Franz Josef Rammig

  3. Software Engineering, Heinz Nixdorf Institute, University of Paderborn, Paderborn, Germany

    Wilhelm Schäfer

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation