{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T04:13:55Z","timestamp":1746159235655,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":214,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642454349"},{"type":"electronic","value":"9783642454356"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-45435-6_5","type":"book-chapter","created":{"date-parts":[[2014,1,28]],"date-time":"2014-01-28T08:47:50Z","timestamp":1390898870000},"page":"183-350","source":"Crossref","is-referenced-by-count":0,"title":["Methods for the Design and Development"],"prefix":"10.1007","author":[{"given":"Harald","family":"Anacker","sequence":"first","affiliation":[]},{"given":"Michael","family":"Dellnitz","sequence":"additional","affiliation":[]},{"given":"Kathrin","family":"Fla\u00dfkamp","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Groesbrink","sequence":"additional","affiliation":[]},{"given":"Philip","family":"Hartmann","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Heinzemann","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Horenkamp","sequence":"additional","affiliation":[]},{"given":"Bernd","family":"Kleinjohann","sequence":"additional","affiliation":[]},{"given":"Lisa","family":"Kleinjohann","sequence":"additional","affiliation":[]},{"given":"Sebastian","family":"Korf","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Kr\u00fcger","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"M\u00fcller","sequence":"additional","affiliation":[]},{"given":"Sina","family":"Ober-Bl\u00f6baum","sequence":"additional","affiliation":[]},{"given":"Simon","family":"Oberth\u00fcr","sequence":"additional","affiliation":[]},{"given":"Mario","family":"Porrmann","sequence":"additional","affiliation":[]},{"given":"Claudia","family":"Priesterjahn","sequence":"additional","affiliation":[]},{"given":"Rafael","family":"Radkowski","sequence":"additional","affiliation":[]},{"given":"Christoph","family":"Rasche","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Rieke","sequence":"additional","affiliation":[]},{"given":"Maik","family":"Ringkamp","sequence":"additional","affiliation":[]},{"given":"Katharina","family":"Stahl","sequence":"additional","affiliation":[]},{"given":"Dominik","family":"Steenken","sequence":"additional","affiliation":[]},{"given":"J\u00f6rg","family":"St\u00f6cklein","sequence":"additional","affiliation":[]},{"given":"Robert","family":"Timmermann","sequence":"additional","affiliation":[]},{"given":"Ansgar","family":"Tr\u00e4chtler","sequence":"additional","affiliation":[]},{"given":"Katrin","family":"Witting","sequence":"additional","affiliation":[]},{"given":"Tao","family":"Xie","sequence":"additional","affiliation":[]},{"given":"Steffen","family":"Ziegert","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","volume-title":"Heinz Nixdorf Institut, Universit\u00e4t Paderborn","author":"P. Adelt","year":"2009","unstructured":"Adelt, P., Donoth, J., Gausemeier, J., Geisler, J., Henkler, S., Kahl, S., Kl\u00f6pper, B., Krupp, A., M\u00fcnch, E., Oberth\u00fcr, S., Paiz, C., Porrmann, M., Radkowski, R., Romaus, C., Schmidt, A., Schulz, B., V\u00f6cking, H., Witkowski, U., Witting, K., Znamenshchykov, O.: Selbstoptimierende Systeme des Maschinenbaus. In: Heinz Nixdorf Institut, Universit\u00e4t Paderborn, vol.\u00a0234. HNI-Verlagsschriftenreihe, Paderborn (2009)"},{"key":"5_CR2","first-page":"169","volume-title":"Intelligent Mechatronics","author":"P. Adelt","year":"2011","unstructured":"Adelt, P., Esau, N., H\u00f6lscher, C., Kleinjohann, B., Kleinjohann, L., Kr\u00fcger, M., Zimmer, D.: Hybrid Planning for Self-Optimization in Railbound Mechatronic Systems. In: Naik, G. (ed.) Intelligent Mechatronics, pp. 169\u2013194. InTech Open Access Publisher, New York (2011)"},{"issue":"5","key":"5_CR3","doi-asserted-by":"crossref","first-page":"647","DOI":"10.20965\/jrm.2009.p0647","volume":"21","author":"P. Adelt","year":"2009","unstructured":"Adelt, P., Esau, N., Schmidt, A.: Hybrid Planning for an Air Gap Adjustment System Using Fuzzy Models. Journal of Robotics and Mechatronics\u00a021(5), 647\u2013655 (2009)","journal-title":"Journal of Robotics and Mechatronics"},{"key":"5_CR4","unstructured":"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\u2013140 (2007)"},{"key":"5_CR5","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1145\/2038642.2038685","volume-title":"Proceedings of the 9th ACM International Conference on Embedded Software","author":"R. Alur","year":"2011","unstructured":"Alur, R.: Formal Verification of Hybrid Systems. In: Proceedings of the 9th ACM International Conference on Embedded Software, Taipei, pp. 273\u2013278. ACM, New York (2011)"},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R. Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Dill, D.: Model-Checking in Dense Real-time. Information and Computation\u00a0104, 2\u201334 (1993)","journal-title":"Information and Computation"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1007\/BFb0084802","volume-title":"CONCUR \u201992","author":"R. Alur","year":"1992","unstructured":"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.\u00a0630, pp. 340\u2013354. Springer, Heidelberg (1992)"},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A Theory of Timed Automata. Theoretical Computer Science\u00a0126, 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"5_CR9","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"75","author":"D. Angluin","year":"1987","unstructured":"Angluin, D.: Learning Regular Sets from Queries and Counterexamples. Information and Computation\u00a075(2), 87\u2013106 (1987)","journal-title":"Information and Computation"},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-1-4419-5757-3_1","volume-title":"Efficient Modeling and Control of Large-Scale Systems","author":"A.C. Antoulas","year":"2010","unstructured":"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\u201358. Springer, Heidelberg (2010)"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"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\u2013153 (1995)","DOI":"10.1109\/ROBOT.1995.525277"},{"key":"5_CR12","unstructured":"Babitski, G.: Inferenzalgorithmen zur Auswahl ontologiebasierter Situationsbeschreibungen f\u00fcr ein kontextadaptives Dialogsystem. Ph.D. thesis, Technische Universit\u00e4t Darmstadt (2004)"},{"key":"5_CR13","volume-title":"Principles of Model Checking","author":"C. Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"5_CR14","series-title":"IFIP AICT","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/978-3-642-04284-3_17","volume-title":"Analysis, Architectures and Modelling of Embedded Systems","author":"D. Baldin","year":"2009","unstructured":"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.\u00a0310, pp. 185\u2013194. Springer, Heidelberg (2009)"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"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\u2013201 (2009)","DOI":"10.1109\/IITA.2009.391"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1145\/945445.945462"},{"key":"5_CR17","unstructured":"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)"},{"key":"5_CR18","unstructured":"Becker, S., Brenner, C., Brink, C., Dziwok, S., Heinzemann, C., L\u00f6ffler, R., Pohlmann, U., Sch\u00e4fer, 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)"},{"key":"5_CR19","doi-asserted-by":"publisher","DOI":"10.1002\/9780470058411","volume-title":"Developing Multi-agent Systems with JADE","author":"F.L. Bellifemine","year":"2007","unstructured":"Bellifemine, F.L., Caire, G., Greenwood, D.: Developing Multi-agent Systems with JADE. John Wiley & Sons, Hoboken (2007)"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Ben-Gal, I.: Bayesian Networks. In: Encyclopedia of Statistics in Quality and Reliability (2007)","DOI":"10.1002\/9780470061572.eqr089"},{"key":"5_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-540-27755-2_3","volume-title":"Lectures on Concurrency and Petri Nets","author":"J.E. Bengtsson","year":"2004","unstructured":"Bengtsson, J.E., Yi, W.: Timed Automata - Semantics, Algorithms and Tools. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol.\u00a03098, pp. 87\u2013124. Springer, Heidelberg (2004)"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American (2001)","DOI":"10.1038\/scientificamerican0501-34"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/IPDPS.2006.1639466"},{"key":"5_CR24","volume-title":"Semiology of Graphics","author":"J. Bertin","year":"1983","unstructured":"Bertin, J.: Semiology of Graphics. University of Wisconsin Press, Wisconsin (1983)"},{"key":"5_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/978-3-642-12029-9_19","volume-title":"Fundamental Approaches to Software Engineering","author":"D. Beyer","year":"2010","unstructured":"Beyer, D., Henzinger, T.A., Th\u00e9oduloz, G., Zufferey, D.: Shape Refinement Through Explicit Heap Analysis. In: Rosenblum, D.S., Taentzer, G. (eds.) FASE 2010. LNCS, vol.\u00a06013, pp. 263\u2013277. Springer, Heidelberg (2010)"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"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\u20134 (2009)","DOI":"10.1109\/NORCHP.2009.5397800"},{"key":"5_CR27","unstructured":"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)"},{"key":"5_CR28","unstructured":"B\u00f6ke, 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)"},{"key":"5_CR29","unstructured":"B\u00f6ke, C.: Automatic Configuration of Real-Time Operating Systems and Real-Time Communication Systems for Distributed Embedded Applications. Ph.D. thesis, Fakult\u00e4t f\u00fcr Elektrotechnik, Informatik und Mathematik, Universit\u00e4t Paderborn, HNI-Verlagschriftenreihe, Band 142, Paderborn (2003)"},{"key":"5_CR30","volume-title":"A Practical Guide to Splines","author":"C. de Boor","year":"2001","unstructured":"de Boor, C.: A Practical Guide to Splines. Springer, Heidelberg (2001)"},{"key":"5_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1007\/BFb0028779","volume-title":"Computer Aided Verification","author":"M. Bozga","year":"1998","unstructured":"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.\u00a01427, pp. 546\u2013550. Springer, Heidelberg (1998)"},{"key":"5_CR32","unstructured":"Brutzman, D., Zyda, M., Pullen, M., Morse, K.: XMSF 2002 Findings and Recommendations (2002)"},{"key":"5_CR33","doi-asserted-by":"crossref","unstructured":"Burmester, S., Gehrke, M., Giese, H., Oberth\u00fcr, 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)","DOI":"10.1145\/1017753.1017783"},{"key":"5_CR34","unstructured":"Campos, C., Junge, O., Ober-Bl\u00f6baum, 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)"},{"key":"5_CR35","unstructured":"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)"},{"key":"5_CR36","doi-asserted-by":"crossref","unstructured":"Chivukula, R.P., B\u00f6ke, 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\u2013287 (2002)","DOI":"10.1109\/ISORC.2002.1003730"},{"key":"5_CR37","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2000)"},{"issue":"2","key":"5_CR38","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/s10846-007-9131-3","volume":"49","author":"S. Commuri","year":"2007","unstructured":"Commuri, S., Tadigotla, V., Sliger, L.: Task-based Hardware Reconfiguration in Mobile Robots Using FPGAs. Journal of Intelligent and Robotic Systems\u00a049(2), 111\u2013134 (2007)","journal-title":"Journal of Intelligent and Robotic Systems"},{"key":"5_CR39","doi-asserted-by":"crossref","unstructured":"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\u2013149 (1997)","DOI":"10.1145\/268437.268465"},{"key":"5_CR40","doi-asserted-by":"crossref","unstructured":"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\u2013225 (2009)","DOI":"10.1002\/9781118558188.ch6"},{"key":"5_CR41","doi-asserted-by":"crossref","unstructured":"Dell\u2019Aere, A.: Multi-Objective Optimization in Self-Optimizing Systems. In: Proceedings of the 32nd Annual Conference on IEEE Industrial Electronics, Paris, pp. 4755\u20134760 (2006)","DOI":"10.1109\/IECON.2006.348080"},{"key":"5_CR42","unstructured":"Dell\u2019Aere, A.: Numerical Methods for the Solution of Bi-level Multi-objective Optimization Problems. Ph.D. thesis, Fakult\u00e4t f\u00fcr Elektrotechnik, Informatik und Mathematik, Universit\u00e4t Paderborn, HNI-Verlagschriftenreihe, Paderborn (2008)"},{"key":"5_CR43","volume-title":"Verl\u00e4sslichkeit selbstoptimierender Systeme - Potenziale nutzen und Risiken vermeiden","author":"A. Dell\u2019Aere","year":"2009","unstructured":"Dell\u2019Aere, A., Hirsch, M., Kl\u00f6pper, B., K\u00f6ster, M., Krupp, A., Kr\u00fcger, M., M\u00fcller, T., Oberth\u00fcr, S., Pook, S., Priesterjahn, C., Romaus, C., Schmidt, A., Sondermann-W\u00f6lke, C., Tichy, M., V\u00f6cking, H., Zimmer, D.: Verl\u00e4sslichkeit selbstoptimierender Systeme - Potenziale nutzen und Risiken vermeiden, vol.\u00a0235. HNI-Verlagsschriftenreihe, Paderborn (2009)"},{"key":"5_CR44","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-642-56589-2_7","volume-title":"Ergodic Theory, Analysis, and Efficient Simulation of Dynamical Systems","author":"M. Dellnitz","year":"2001","unstructured":"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\u2013174. Springer, Heidelberg (2001)"},{"issue":"1","key":"5_CR45","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/s10569-009-9229-y","volume":"105","author":"M. Dellnitz","year":"2009","unstructured":"Dellnitz, M., Ober-Bl\u00f6baum, S., Post, M., Sch\u00fctze, O., Thiere, B.: A Multi-objective Approach to the Design of low Thrust Space Trajectories Using Optimal Control. Celestial Mechanics and Dynamical Astronomy\u00a0105(1), 33\u201359 (2009)","journal-title":"Celestial Mechanics and Dynamical Astronomy"},{"issue":"1","key":"5_CR46","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/s10957-004-6468-7","volume":"124","author":"M. Dellnitz","year":"2005","unstructured":"Dellnitz, M., Sch\u00fctze, O., Hestermeyer, T.: Covering Pareto Sets by Multilevel Subdivision Techniques. Journal of Optimization Theory and Application\u00a0124(1), 113\u2013136 (2005)","journal-title":"Journal of Optimization Theory and Application"},{"issue":"3","key":"5_CR47","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1504\/IJCSM.2009.027876","volume":"2","author":"M. Dellnitz","year":"2009","unstructured":"Dellnitz, M., Witting, K.: Computation of robust Pareto points. International Journal of Computing Science and Mathematics\u00a02(3), 243\u2013266 (2009)","journal-title":"International Journal of Computing Science and Mathematics"},{"key":"5_CR48","doi-asserted-by":"crossref","unstructured":"DeMillo, R.A., Offutt, A.J.: Constraint-based Automatic Test Data Generation. IEEE Transactions on Software Engineering 17(9) (1991)","DOI":"10.1109\/32.92910"},{"key":"5_CR49","doi-asserted-by":"crossref","unstructured":"Ding, L., Davies, D., McMahon, C.A.: The Integration of Lightweight Representation and Annotation for Collaborative Design Representation 19(4), 223\u2013238 (2009)","DOI":"10.1007\/s00163-008-0052-3"},{"key":"5_CR50","unstructured":"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\u201348 (2009)"},{"key":"5_CR51","unstructured":"Ditze, C.: Towards Operating System Synthesis. Ph.D. thesis, Fachgruppe Entwurf Paralleler Systeme, Universit\u00e4t Paderborn, HNI-Verlagsschriftenreihe, Band 76, Paderborn (2000)"},{"key":"5_CR52","doi-asserted-by":"crossref","unstructured":"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\u201353 (2008)","DOI":"10.5220\/0001484400490053"},{"key":"5_CR53","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s00450-011-0184-y","volume":"28","author":"T. Eckardt","year":"2013","unstructured":"Eckardt, T., Heinzemann, C., Henkler, S., Hirsch, M., Priesterjahn, C., Sch\u00e4fer, W.: Modeling and Verifying Dynamic Communication Structures Based on Graph Transformations. Computer Science - Research and Development\u00a028, 3\u201322 (2013)","journal-title":"Computer Science - Research and Development"},{"key":"5_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-642-13556-9_4","volume-title":"Architecting Critical Systems","author":"T. Eckardt","year":"2010","unstructured":"Eckardt, T., Henkler, S.: Component Behavior Synthesis for Critical Systems. In: Giese, H. (ed.) ISARCS 2010. LNCS, vol.\u00a06150, pp. 52\u201371. Springer, Heidelberg (2010)"},{"key":"5_CR55","unstructured":"Eckardt, T., Henkler, S.: Synthesis of Reconfiguration Charts. Tech. Rep. tr-ri-10-314, Software Engineering Group, University of Paderborn (2010)"},{"key":"5_CR56","doi-asserted-by":"crossref","unstructured":"Esau, N., Kr\u00fcger, 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)","DOI":"10.1109\/ICIEA.2012.6360937"},{"key":"5_CR57","unstructured":"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\u201361 (2011)"},{"key":"5_CR58","unstructured":"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)"},{"key":"5_CR59","unstructured":"FG Rammig, University of Paderborn: ORCOS - Organic Reconfigurable Operating System, https:\/\/orcos.cs.uni-paderborn.de\/doxygen\/html (accessed August 12, 2013)"},{"key":"5_CR60","doi-asserted-by":"crossref","unstructured":"Fla\u00dfkamp, K., Murphey, T., Ober-Bl\u00f6baum, S.: Switching Time Optimization in Discretized Hybrid Dynamical Systems. In: Proceedings of the 51th IEEE Conference on Decision and Control, Maui, pp. 707\u2013712 (2012)","DOI":"10.1109\/CDC.2012.6426414"},{"key":"5_CR61","first-page":"241","volume-title":"Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control","author":"K. Fla\u00dfkamp","year":"2011","unstructured":"Fla\u00dfkamp, K., Ober-Bl\u00f6baum, 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\u2013250. ACM Press, New York (2011)"},{"issue":"4","key":"5_CR62","doi-asserted-by":"publisher","first-page":"599","DOI":"10.1007\/s00332-012-9140-7","volume":"22","author":"K. Fla\u00dfkamp","year":"2012","unstructured":"Fla\u00dfkamp, K., Ober-Bl\u00f6baum, S., Kobilarov, M.: Solving Optimal Control Problems by Exploiting Inherent Dynamical Systems Structures. Journal of Nonlinear Science\u00a022(4), 599\u2013629 (2012)","journal-title":"Journal of Nonlinear Science"},{"key":"5_CR63","series-title":"Paderborner Workshop Entwurf mechatronischer Systeme","volume-title":"Tagungsband Vom 8","author":"K. Fla\u00dfkamp","year":"2011","unstructured":"Fla\u00dfkamp, K., Ober-Bl\u00f6baum, S., Ringkamp, M., Schneider, T., Schulte, C., B\u00f6cker, J.: Berechnung optimaler Stromprofile f\u00fcr einen 6-phasigen, geschalteten Reluktanzantrieb. In: Tagungsband Vom 8. Paderborner Workshop Entwurf mechatronischer Systeme. Heinz Nixdorf Institut Verlagsschriftreihe, Paderborn (2011)"},{"key":"5_CR64","first-page":"723","volume-title":"Applied Mathematics and Mechanics","author":"K. Fla\u00dfkamp","year":"2012","unstructured":"Fla\u00dfkamp, K., Timmermann, J., Ober-Bl\u00f6baum, S., Dellnitz, M., Tr\u00e4chtler, A.: Optimal Control on Stable Manifolds for a Double Pendulum. In: Applied Mathematics and Mechanics, vol.\u00a012, pp. 723\u2013724. Springer, Heidelberg (2012)"},{"key":"5_CR65","doi-asserted-by":"crossref","unstructured":"Fox, M., Long, D.: PDDL 2.1: An Extension to PDDL for Expressing Temporal Planning Domains. Jornal of Artificial Intelligence Research, 189\u2013208 (2003)","DOI":"10.1613\/jair.1129"},{"issue":"6","key":"5_CR66","doi-asserted-by":"publisher","first-page":"1077","DOI":"10.1109\/TRO.2005.852260","volume":"21","author":"E. Frazzoli","year":"2005","unstructured":"Frazzoli, E., Dahleh, M.A., Feron, E.: Maneuver-based Motion Planning for Nonlinear Systems with Symmetries. IEEE Trans. on Robotics\u00a021(6), 1077\u20131091 (2005)","journal-title":"IEEE Trans. on Robotics"},{"key":"5_CR67","unstructured":"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\u201384 (2009)"},{"issue":"4","key":"5_CR68","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/s00163-008-0058-x","volume":"20","author":"J. Gausemeier","year":"2009","unstructured":"Gausemeier, J., Frank, U., Donoth, J., Kahl, S.: Specification Technique for the Description of Self-optimizing Mechatronic Systems. Research in Engineering Design\u00a020(4), 201\u2013223 (2009)","journal-title":"Research in Engineering Design"},{"volume-title":"Dependability of Self-optimizing Mechatronic Systems","year":"2014","key":"5_CR69","unstructured":"Gausemeier, J., Rammig, F.J., Sch\u00e4fer, W., Sextro, W. (eds.): Dependability of Self-optimizing Mechatronic Systems. Springer, Heidelberg (2014)"},{"key":"5_CR70","unstructured":"Gausemeier, J., Sch\u00e4fer, 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)"},{"key":"5_CR71","doi-asserted-by":"crossref","unstructured":"Geiger, C., Lehrenfeld, G., M\u00fcller, W.: Authoring Communicating Agents in Virtual Environments. In: Proceedings of the Computer Human Interaction, Adelaide, pp. 22\u201329 (1998)","DOI":"10.1109\/OZCHI.1998.732191"},{"key":"5_CR72","doi-asserted-by":"crossref","unstructured":"Geisler, J., Witting, K., Tr\u00e4chtler, 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)","DOI":"10.3182\/20080706-5-KR-1001.00738"},{"key":"5_CR73","doi-asserted-by":"crossref","unstructured":"Geisler, J., Witting, K., Tr\u00e4chtler, 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)","DOI":"10.3182\/20080706-5-KR-1001.00738"},{"key":"5_CR74","volume-title":"Automated Planning - Theory and Practice","author":"M. Ghallab","year":"2004","unstructured":"Ghallab, M., Nau, D., Traverso, P.: Automated Planning - Theory and Practice. Elsevier, Amsterdam (2004)"},{"key":"5_CR75","first-page":"38","volume-title":"Proceedings of the 9th European Software Engineering Conference Held Jointly with the 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering","author":"H. Giese","year":"2003","unstructured":"Giese, H., Tichy, M., Burmester, S., Sch\u00e4fer, 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\u201347. ACM Press, New York (2003)"},{"key":"5_CR76","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/S0377-0427(00)00310-1","volume":"120","author":"P.E. Gill","year":"2000","unstructured":"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\u00a0120, 197\u2013213 (2000)","journal-title":"Journal of Computational and Applied Mathematics"},{"key":"5_CR77","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1007\/978-3-642-38853-8_27"},{"key":"5_CR78","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s10270-009-0121-8","volume":"9","author":"J. Greenyer","year":"2010","unstructured":"Greenyer, J., Kindler, E.: Comparing Relational Model Transformation Technologies: Implementing Query\/View\/Transformation with Triple Graph Grammars. Software and Systems Modeling\u00a09, 21\u201346 (2010)","journal-title":"Software and Systems Modeling"},{"key":"5_CR79","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1007\/978-3-642-21470-7_11"},{"key":"5_CR80","doi-asserted-by":"crossref","unstructured":"Griese, B., Oberth\u00fcr, 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\u2013277 (2005)","DOI":"10.1007\/11523277_26"},{"key":"5_CR81","doi-asserted-by":"crossref","unstructured":"Griewank, A., Walther, A.: Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation. Society for Industrial and Applied Mathematics, Philadelphia (2008)","DOI":"10.1137\/1.9780898717761"},{"key":"5_CR82","unstructured":"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)"},{"key":"5_CR83","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1007\/s11740-012-0421-7"},{"key":"5_CR84","volume-title":"Applied Mathematical Sciences","author":"J. Guckenheimer","year":"1983","unstructured":"Guckenheimer, J., Holmes, P.: Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields. In: Applied Mathematical Sciences, vol.\u00a042, Springer, Heidelberg (1983)"},{"key":"5_CR85","unstructured":"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)"},{"key":"5_CR86","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84800-117-6","volume-title":"Stepping into Virtual Reality","author":"M. Guti\u00e9rrez","year":"2008","unstructured":"Guti\u00e9rrez, M., Vexo, F., Thalmann, D.: Stepping into Virtual Reality. Springer, Heidelberg (2008)"},{"key":"5_CR87","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/FPL.2007.4380668"},{"key":"5_CR88","doi-asserted-by":"crossref","unstructured":"Hagemeyer, J., Kettelhoit, B., K\u00f6ster, 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)","DOI":"10.1109\/FPL.2007.4380668"},{"key":"5_CR89","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/TAIC.PART.2007.39"},{"key":"5_CR90","unstructured":"Heckel, R., Th\u00f6ne, 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\u2013111 (2005)"},{"key":"5_CR91","doi-asserted-by":"crossref","unstructured":"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\u2013118 (2011)","DOI":"10.1145\/2000229.2000246"},{"key":"5_CR92","unstructured":"Heinzemann, C., Henkler, S.: Timed Story Driven Modeling. Tech. Rep. tr-ri-11-326, University of Paderborn (2011)"},{"key":"5_CR93","unstructured":"Heinzemann, C., Pohlmann, U., Rieke, J., Sch\u00e4fer, W., Sudmann, O., Tichy, M.: Generating Simulink and Stateflow Models From Software Specifications. In: Proceedings of the 12h International Design Conference DESIGN, Dubrovnik (2012)"},{"key":"5_CR94","doi-asserted-by":"crossref","unstructured":"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\u201328 (2012)","DOI":"10.1145\/2304736.2304742"},{"key":"5_CR95","doi-asserted-by":"crossref","unstructured":"Heinzemann, C., Rieke, J., Sch\u00e4fer, 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)","DOI":"10.1109\/SASO.2013.17"},{"key":"5_CR96","unstructured":"Henkler, S., Meyer, J., Sch\u00e4fer, W., Nickel, U.: Reverse Engineering mechatronischer Systeme. In: Proceedings of the 7th Paderborner Workshop Entwurf Mechatronischer Systeme, Paderborn (2010)"},{"key":"5_CR97","doi-asserted-by":"crossref","unstructured":"Henkler, S., Meyer, J., Sch\u00e4fer, 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.\u00a02, pp. 267\u2013270 (2010)","DOI":"10.1145\/1810295.1810349"},{"key":"5_CR98","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A.: The Theory of Hybrid Automata. In: Logic in Computer Science, p. 278 (1996)","DOI":"10.1109\/LICS.1996.561342"},{"key":"5_CR99","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1007\/978-3-642-03986-7_40","volume-title":"Progress in Robotics","author":"S. Herbrechtsmeier","year":"2009","unstructured":"Herbrechtsmeier, S., Witkowski, U., R\u00fcckert, 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\u00fcckert, 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.\u00a044, pp. 346\u2013356. Springer, Heidelberg (2009)"},{"key":"5_CR100","doi-asserted-by":"crossref","unstructured":"Hillermeier, C.: Nonlinear Multiobjective Optimization - A Generalized Homotopy Approach. Birkh\u00e4user (2001)","DOI":"10.1007\/978-3-0348-8280-4"},{"key":"5_CR101","volume-title":"Semantic Web - Grundlagen","author":"P. Hitzler","year":"2008","unstructured":"Hitzler, P., Kr\u00f6tzsch, M., Rudolph, S., Sure, Y.: Semantic Web - Grundlagen. Springer, Heidelberg (2008)"},{"key":"5_CR102","doi-asserted-by":"crossref","unstructured":"H\u00f6lscher, C., Ke\u00dfler, J.H., Kr\u00fcger, M., Tr\u00e4chtler, A., Zimmer, D.: Hierarchical Optimization of Coupled Self-optimizing Systems. In: Proceedings of the 10th IEEE International Conference on Industrial Informatics, Beijing (2012)","DOI":"10.1109\/INDIN.2012.6301199"},{"key":"5_CR103","unstructured":"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)"},{"key":"5_CR104","doi-asserted-by":"crossref","unstructured":"Howden, W.E.: Weak Mutation Testing and Completeness of Test Sets. IEEE Transactions on Software Engineering\u00a08(4) (1982)","DOI":"10.1109\/TSE.1982.235571"},{"key":"5_CR105","unstructured":"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\u201310 (2007)"},{"key":"5_CR106","unstructured":"for Intelligent Physical\u00a0Agents, F.: FIPA Propose Interaction Protocol Specification (2002), http:\/\/www.fipa.org\/specs\/fipa00036\/SC00036H.pdf (accessed May 8, 2012)"},{"key":"5_CR107","doi-asserted-by":"crossref","DOI":"10.1007\/b105353","volume-title":"Networks on Chip","author":"A. Jantsch","year":"2003","unstructured":"Jantsch, A., Tenhunen, H.: Networks on Chip. Kluwer Academic Publishers, Dordrecht (2003)"},{"issue":"4","key":"5_CR108","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1080\/08839519508945480","volume":"9","author":"N.R. Jennings","year":"1995","unstructured":"Jennings, N.R., Wooldrige, M.: Applying Agent Technology. Applied Artificial Intelligence\u00a09(4), 357\u2013369 (1995)","journal-title":"Applied Artificial Intelligence"},{"key":"5_CR109","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/ISCAS.2012.6271870"},{"key":"5_CR110","first-page":"521","volume-title":"Cross Layer Designs in WLAN Systems","author":"T. Jungeblut","year":"2011","unstructured":"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\u2013564. Troubador Publishing, Leicester (2011)"},{"key":"5_CR111","unstructured":"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)"},{"key":"5_CR112","unstructured":"Kalte, H., Lee, G., Porrmann, M., R\u00fcckert, 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)"},{"key":"5_CR113","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/11691617_19","volume-title":"Model Checking Software","author":"H. Kastenberg","year":"2006","unstructured":"Kastenberg, H., Rensink, A.: Model Checking Dynamic States in GROOVE. In: Valmari, A. (ed.) SPIN 2006. LNCS, vol.\u00a03925, pp. 299\u2013305. Springer, Heidelberg (2006)"},{"key":"5_CR114","unstructured":"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)"},{"key":"5_CR115","doi-asserted-by":"crossref","unstructured":"Kerstan, T., Oertel, M.: Design of a Real-time Optimized Emulation Method. In: Proceedings of the Design, Automation and Test in Europe, Dresden (2010)","DOI":"10.1109\/DATE.2010.5457126"},{"key":"5_CR116","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/FPL.2006.311265"},{"key":"5_CR117","unstructured":"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)"},{"key":"5_CR118","unstructured":"Kl\u00f6pper, B.: Ein Beitrag zur Verhaltensplanung f\u00fcr interagierende intelligente mechatronische Systeme in nicht-deterministischen Umgebungen. Ph.D. thesis, Fakult\u00e4t f\u00fcr Wirtschaftswissenschaften, Universit\u00e4t Paderborn, HNI-Verlagsschriftenreihe, Band 253, Paderborn (2009)"},{"issue":"1","key":"5_CR119","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1016\/j.engappai.2011.08.004","volume":"25","author":"B. Kl\u00f6pper","year":"2012","unstructured":"Kl\u00f6pper, B., Aufenanger, M., Adelt, P.: Planning for Mechatronics Systems - Architechture, Methods and Case Study. Engineering Applications of Artificial Intelligence\u00a025(1), 174\u2013188 (2012)","journal-title":"Engineering Applications of Artificial Intelligence"},{"key":"5_CR120","unstructured":"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\u2013115 (2005)"},{"key":"5_CR121","doi-asserted-by":"crossref","unstructured":"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\u201350 (2005)","DOI":"10.1109\/FPT.2005.1568523"},{"key":"5_CR122","doi-asserted-by":"crossref","unstructured":"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\u201350 (2005)","DOI":"10.1109\/FPT.2005.1568523"},{"key":"5_CR123","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/DATE.2009.5090806"},{"key":"5_CR124","unstructured":"Koester, M., Porrmann, M., R\u00fcckert, U.: Placement-oriented Modeling of Partially Reconfigurable Architectures. In: Proceedings of the 19th International Parallel and Distributed Processing Symposium - Reconfigurable Architectures Workshop, Phoenix (2005)"},{"key":"5_CR125","doi-asserted-by":"crossref","first-page":"5","DOI":"10.20965\/jrm.2012.p0005","volume":"24","author":"B. K\u00f6pper","year":"2012","unstructured":"K\u00f6pper, B., Sondermann-W\u00f6lke, 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\u00a024, 5\u201315 (2012)","journal-title":"Journal for Robotics and Mechatronics"},{"key":"5_CR126","doi-asserted-by":"crossref","unstructured":"Korf, S., Cozzi, D., Koester, M., Hagemeyer, J., Porrmann, M., R\u00fcckert, 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\u2013132 (2011)","DOI":"10.1109\/FCCM.2011.36"},{"key":"5_CR127","unstructured":"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)"},{"key":"5_CR128","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1007\/978-3-540-69820-3_68","volume-title":"The Future of Product Development","author":"F.L. Krause","year":"2007","unstructured":"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\u2013713. Springer, Heidelberg (2007)"},{"key":"5_CR129","unstructured":"Kr\u00fcger, M., Tr\u00e4chtler, A.: Approximation of Pareto-optimal Systems Using Parametric Model-order Reduction. In: 7th Vienna International Conference on Mathematical Modelling, Wien"},{"key":"5_CR130","unstructured":"Kr\u00fcger, M., Witting, K., Dellnitz, M., Tr\u00e4chtler, 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)"},{"key":"5_CR131","doi-asserted-by":"crossref","unstructured":"Kr\u00fcger, M., Witting, K., Tr\u00e4chtler, A., Dellnitz, M.: Parametric Model-order Reduction in Hierarchical Multiobjective Optimization of Mechatronic Systems. In: Proceedings of the 18th IFAC World Congress, Milano (2011)","DOI":"10.3182\/20110828-6-IT-1002.02487"},{"key":"5_CR132","unstructured":"Leyendecker, S., Ober-Bl\u00f6baum, S.: A Variational Approach to Multirate Integration. In: Proceedings of the 4th European Conference on Computational Mechanics, Paris (2010)"},{"key":"5_CR133","unstructured":"Leyendecker, S., Ober-Bl\u00f6baum, 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\u00fcssel (2011)"},{"issue":"6","key":"5_CR134","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1002\/oca.912","volume":"31","author":"S. Leyendecker","year":"2010","unstructured":"Leyendecker, S., Ober-Bl\u00f6baum, S., Marsden, J.E., Ortiz, M.: Discrete Mechanics and Optimal Control for Constrained Systems. Optimal Control, Applications and Methods\u00a031(6), 505\u2013528 (2010)","journal-title":"Optimal Control, Applications and Methods"},{"key":"5_CR135","unstructured":"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\u2013262 (2009)"},{"key":"5_CR136","unstructured":"Li, L., Littman, M.L., Littman, L.: Prioritized Sweeping Converges to the Optimal Value Function. Tech. Rep. DCS-TR-631 (2008)"},{"key":"5_CR137","doi-asserted-by":"crossref","unstructured":"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\u2013533 (2005)","DOI":"10.1007\/11513988_50"},{"key":"5_CR138","doi-asserted-by":"crossref","unstructured":"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\u2013485 (2012)","DOI":"10.1109\/ISSCC.2012.6177101"},{"key":"5_CR139","volume-title":"Distributed Algorithms","author":"N.A. Lynch","year":"1997","unstructured":"Lynch, N.A.: Distributed Algorithms, 1st edn. Morgan Kaufmann, Burlington (1997)","edition":"1"},{"key":"5_CR140","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-21792-5","volume-title":"Introduction to Mechanics and Symmetry","author":"J.E. Marsden","year":"1999","unstructured":"Marsden, J.E., Ratiu, T.S.: Introduction to Mechanics and Symmetry, 2nd edn. Springer, Heidelberg (1999)","edition":"2"},{"key":"5_CR141","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1017\/S096249290100006X","volume":"10","author":"J.E. Marsden","year":"2001","unstructured":"Marsden, J.E., West, M.: Discrete Mechanics and Variational Integrators. Acta Numerica\u00a010, 357\u2013514 (2001)","journal-title":"Acta Numerica"},{"key":"5_CR142","unstructured":"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\u201334 (2005)"},{"key":"5_CR143","unstructured":"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)"},{"key":"5_CR144","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1982","unstructured":"Milner, R.: A Calculus of Communicating Systems. Springer, Heidelberg (1982)"},{"key":"5_CR145","doi-asserted-by":"crossref","unstructured":"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\u201338 (2009)","DOI":"10.1007\/978-3-642-00641-8_6"},{"issue":"5","key":"5_CR146","doi-asserted-by":"publisher","first-page":"1507","DOI":"10.2514\/1.55426","volume":"35","author":"A. Moore","year":"2012","unstructured":"Moore, A., Ober-Bl\u00f6baum, S., Marsden, J.E.: Trajectory Design Combining Invariant Manifolds with Discrete Mechanics and Optimal Control. Journal of Guidance, Control, and Dynamics\u00a035(5), 1507\u20131525 (2012)","journal-title":"Journal of Guidance, Control, and Dynamics"},{"issue":"1","key":"5_CR147","first-page":"103","volume":"13","author":"A.W. Moore","year":"1993","unstructured":"Moore, A.W., Atkeson, C.G.: Prioritized Sweeping - Reinforcement Learning with less Data and less Time. Machine Learning\u00a013(1), 103\u2013130 (1993)","journal-title":"Machine Learning"},{"key":"5_CR148","unstructured":"M\u00fcnch, 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)"},{"issue":"3","key":"5_CR149","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2000832.2000841","volume":"4","author":"F. Nava","year":"2011","unstructured":"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\u00a04(3), 29:1\u201329:22 (2011)","journal-title":"ACM Transactions on Reconfigurable Technology and Systems"},{"issue":"5-6","key":"5_CR150","first-page":"285","volume":"53","author":"J.C. Niemann","year":"2007","unstructured":"Niemann, J.C., Puttmann, C., Porrmann, M., R\u00fcckert, U.: Resource Efficiency of the GigaNetIC Chip Multiprocessor Architecture. Journal of Systems Architecture (JSA), Special Issue on Architectural Premises for Pervasive Computing\u00a053(5-6), 285\u2013299 (2007)","journal-title":"Journal of Systems Architecture (JSA), Special Issue on Architectural Premises for Pervasive Computing"},{"issue":"2","key":"5_CR151","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1051\/cocv\/2010012","volume":"17","author":"S. Ober-Bl\u00f6baum","year":"2011","unstructured":"Ober-Bl\u00f6baum, S., Junge, O., Marsden, J.E.: Discrete Mechanics and Optimal Control: An Analysis. Control, Optimisation and Calculus of Variations\u00a017(2), 322\u2013352 (2011)","journal-title":"Control, Optimisation and Calculus of Variations"},{"key":"5_CR152","doi-asserted-by":"crossref","unstructured":"Ober-Bl\u00f6baum, 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\u20135716 (2012)","DOI":"10.1109\/CDC.2012.6426285"},{"issue":"1","key":"5_CR153","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1002\/pamm.201010285","volume":"10","author":"S. Ober-Bl\u00f6baum","year":"2010","unstructured":"Ober-Bl\u00f6baum, S., Walther, A.: Computation of Derivatives for Structure Preserving Optimal Control Using Automatic Differentiation. Proceedings of Applied Mathematics and Mechanics\u00a010(1), 585\u2013586 (2010)","journal-title":"Proceedings of Applied Mathematics and Mechanics"},{"key":"5_CR154","unstructured":"Oberth\u00fcr, S.: Towards an RTOS for Self-optimizing Mechatronic Systems. Ph.D. thesis, Fakult\u00e4t f\u00fcr Elektrotechnik, Informatik und Mathematik, Universit\u00e4t Paderborn, HNI-Verlagschriftenreihe, Paderborn (2009)"},{"key":"5_CR155","unstructured":"Oberth\u00fcr, S.: Towards an RTOS for Self-optimizing Mechatronic Systems. Ph.D. thesis, Fakult\u00e4t f\u00fcr Elektrotechnik, Informatik und Mathematik, Universit\u00e4t Paderborn, HNI-Verlagschriftenreihe, Paderborn (2010)"},{"key":"5_CR156","unstructured":"Oberth\u00fcr, S., B\u00f6ke, 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)"},{"key":"5_CR157","doi-asserted-by":"crossref","unstructured":"Oberth\u00fcr, 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)","DOI":"10.1109\/ISORCW.2010.30"},{"key":"5_CR158","volume-title":"Engineering Design - A Systematic Approach","author":"G. Pahl","year":"2007","unstructured":"Pahl, G., Beitz, W., Feldhusen, J., Grote, K.H.: Engineering Design - A Systematic Approach, 3rd edn. Springer, Heidelberg (2007)","edition":"3"},{"key":"5_CR159","doi-asserted-by":"crossref","unstructured":"Paiz, C., Hagemeyer, J., Pohl, C., Porrmann, M., R\u00fcckert, U., Schulz, B., Peters, W., B\u00f6cker, J.: FPGA-Based Realization of Self-Optimizing Drive-Controllers. In: Proceedings of the 35th Annual Conference of the IEEE Industrial Electronics Society, Porto (2009)","DOI":"10.1109\/IECON.2009.5415402"},{"key":"5_CR160","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1524\/auto.2010.0863","volume":"58","author":"H. Panzer","year":"2010","unstructured":"Panzer, H., Mohring, J., Eid, R., Lohmann, B.: Parametric Model Order Reduction by Matrix Interpolation. at - Automatisierungstechnik\u00a058, 475\u2013484 (2010)","journal-title":"at - Automatisierungstechnik"},{"key":"5_CR161","doi-asserted-by":"crossref","unstructured":"Payne, T.: Agent-based Team Aiding in a Time Critical Task. In: Proceeding of the 44rd Hawaii International Conference on System Sciences, Maui, vol.\u00a01 (2000)","DOI":"10.1109\/HICSS.2000.926632"},{"key":"5_CR162","unstructured":"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\u00fcnchen (2008)"},{"key":"5_CR163","unstructured":"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)"},{"key":"5_CR164","doi-asserted-by":"crossref","unstructured":"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\u2013599 (2010)","DOI":"10.3233\/978-1-60750-530-3-592"},{"key":"5_CR165","doi-asserted-by":"crossref","unstructured":"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\u2013473 (2009)","DOI":"10.1109\/AHS.2009.52"},{"key":"5_CR166","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1145\/1595782.1595790"},{"issue":"2","key":"5_CR167","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/1577129.1577135","volume":"37","author":"M. Purnaprajna","year":"2009","unstructured":"Purnaprajna, M., Porrmann, M., Rueckert, U.: Run-time Reconfigurability in Embedded Multiprocessors. SIGARCH Computer Architecture News\u00a037(2), 30\u201337 (2009)","journal-title":"SIGARCH Computer Architecture News"},{"issue":"3","key":"5_CR168","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1839480.1839487","volume":"3","author":"M. Purnaprajna","year":"2010","unstructured":"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)\u00a03(3), 17:1\u201317:25 (2010)","journal-title":"ACM Transactions on Reconfigurable Technology and Systems (TRETS)"},{"key":"5_CR169","doi-asserted-by":"crossref","unstructured":"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\u00fcnchen, pp. 1462\u20131467 (2008)","DOI":"10.1145\/1403375.1403727"},{"key":"5_CR170","doi-asserted-by":"crossref","unstructured":"Puttmann, C., Niemann, J.C., Porrmann, M., R\u00fcckert, U.: GigaNoC \u2013 A Hierarchical Network-on-Chip for Scalable Chip-Multiprocessors. In: Proceedings of the 10th EUROMICRO Conference on Digital System Design, L\u00fcbeck, pp. 495\u2013502 (2007)","DOI":"10.1109\/DSD.2007.4341514"},{"key":"5_CR171","doi-asserted-by":"crossref","unstructured":"Radkowski, R.: Towards Semantic Virtual Prototypes for Automatic Model Combination. In: Proceedings of the 20th CIRP Design Conference, Global Product Development, Nantes (2010)","DOI":"10.1007\/978-3-642-15973-2_30"},{"key":"5_CR172","doi-asserted-by":"crossref","unstructured":"Radkowski, R., Wa\u00dfmann, 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)","DOI":"10.1115\/DETC2008-49870"},{"key":"5_CR173","doi-asserted-by":"crossref","unstructured":"Radkowski, R., Wa\u00dfmann, 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)","DOI":"10.1115\/WINVR2010-3749"},{"key":"5_CR174","doi-asserted-by":"crossref","unstructured":"Rana, V., Santambrogio, M., Sciuto, D., Kettelhoit, B., Koester, M., Porrmann, M., R\u00fcckert, 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)","DOI":"10.1109\/IPDPS.2007.370363"},{"key":"5_CR175","doi-asserted-by":"crossref","unstructured":"Reinold, P., Nachtigal, V., Tr\u00e4chtler, 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\u00fcnchen (2010)","DOI":"10.3182\/20100712-3-DE-2013.00172"},{"key":"5_CR176","doi-asserted-by":"crossref","unstructured":"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.\u00a032, pp. 393\u2013412 (2003)","DOI":"10.1007\/3-540-36575-3_26"},{"key":"5_CR177","unstructured":"Restrepo, J.: A Visual Lexicon to Handle Semantic Similarity in Design Precedents. In: Proceedings of the 16th International Conference on Engineering Design, Paris (2007)"},{"key":"5_CR178","unstructured":"Reynolds, C.W.: Steering Behaviors For Autonomous Characters. In: Proceedings of Game Developers Conference, San Jose, pp. 763\u2013782 (1999)"},{"key":"5_CR179","first-page":"112","volume-title":"Tagungsband vom 36","author":"U. Richter","year":"2006","unstructured":"Richter, U., Mnif, M., Branke, J., M\u00fcller-Schloer, C., Schmeck, H.: Towards a Generic Observer\/Controller Architecture for Organic Computing. In: Tagungsband vom 36, pp. 112\u2013119. Jahrestagung der Gesellschaft f\u00fcr Informatik - Informatik f\u00fcr Menschen, Dresden (2006)"},{"key":"5_CR180","unstructured":"Rieke, J., Dorociak, R., Sudmann, O., Gausemeier, J., Sch\u00e4fer, W.: Management of Cross-domain Model Consistency for Behavioral Models of Mechatronic Systems. In: Proceedings of the 12th International Design Conference, Dubrovnik (2012)"},{"issue":"9","key":"5_CR181","doi-asserted-by":"publisher","first-page":"1117","DOI":"10.1080\/0305215X.2011.634407","volume":"44","author":"M. Ringkamp","year":"2012","unstructured":"Ringkamp, M., Ober-Bl\u00f6baum, S., Dellnitz, M., Sch\u00fctze, O.: Handling High Dimensional Problems with Multi-objective Continuation Methods via Successive Approximation of the Tangent Space. Engineering Optimization\u00a044(9), 1117\u20131146 (2012)","journal-title":"Engineering Optimization"},{"key":"5_CR182","unstructured":"Ringkamp, M., Walther, A., Reinold, P., Witting, K., Dellnitz, M., Tr\u00e4chtler, A.: Using Algorithmic Differentiation for the Multiobjective Optimization of a Test Vehicle. In: Proceedings of EVOLVE, Mexico City (2012)"},{"key":"5_CR183","doi-asserted-by":"crossref","unstructured":"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\u20131647 (2009)","DOI":"10.1109\/ECCE.2009.5316428"},{"key":"5_CR184","series-title":"Foundations","doi-asserted-by":"publisher","DOI":"10.1142\/3303","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"G. Rozenberg","year":"1997","unstructured":"Rozenberg, G.: Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol.\u00a01. World Scientific Publishing Co. Inc., River Edge (1997)"},{"issue":"3","key":"5_CR185","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1145\/514188.514190","volume":"24","author":"M. Sagiv","year":"2002","unstructured":"Sagiv, M., Reps, T., Wilhelm, R.: Parametric Shape Analysis via 3-valued Logic. ACM Transactions on Programming Languages and Systems\u00a024(3), 217\u2013298 (2002)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"5_CR186","unstructured":"Schenk, M., Stra\u00dfburger, 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\u00fcnchen, pp. 411\u2013414 (2005)"},{"key":"5_CR187","doi-asserted-by":"crossref","unstructured":"Schneider, T., Schulz, B., Henke, C., Witting, K., Steenken, D., B\u00f6cker, 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\u2013605 (2009)","DOI":"10.1109\/IEMDC.2009.5075267"},{"key":"5_CR188","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/3-540-59071-4_45","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"A. Sch\u00fcrr","year":"1995","unstructured":"Sch\u00fcrr, A.: Specification of Graph Translators with Triple Graph Grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol.\u00a0903, pp. 151\u2013163. Springer, Heidelberg (1995)"},{"key":"5_CR189","unstructured":"Sch\u00fctze, O., Dell\u2019Aere, 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)"},{"key":"5_CR190","series-title":"SCI","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-642-32726-1_5","volume-title":"EVOLVE- A bridge between Probability, Set Oriented Numerics and Evolutionary Computation","author":"O. Sch\u00fctze","year":"2013","unstructured":"Sch\u00fctze, O., Witting, K., Ober-Bl\u00f6baum, 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\u00fctze, O. (eds.) EVOLVE- A bridge between Probability. SCI, vol.\u00a0447, pp. 187\u2013219. Springer, Heidelberg (2013)"},{"key":"5_CR191","doi-asserted-by":"crossref","unstructured":"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\u2013227 (2007)","DOI":"10.1109\/DSD.2007.4341472"},{"key":"5_CR192","first-page":"1","volume":"3","author":"K. Spors","year":"2009","unstructured":"Spors, K., Martin, A., Leetz, A.: M\u00f6glichkeiten fotorealistischer Visualisierungen im Produktionsprozess eines Automobils. Automobiltechnische Zeitschrift\u00a03, 1\u20138 (2009)","journal-title":"Automobiltechnische Zeitschrift"},{"key":"5_CR193","doi-asserted-by":"crossref","unstructured":"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\u2013107 (2011)","DOI":"10.1007\/978-3-642-25032-3_7"},{"key":"5_CR194","doi-asserted-by":"crossref","unstructured":"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\u2013462 (2011)","DOI":"10.1109\/INDIN.2011.6034922"},{"key":"5_CR195","unstructured":"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)"},{"key":"5_CR196","unstructured":"Suck, J., Heinzemann, C., Sch\u00e4fer, 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)"},{"key":"5_CR197","doi-asserted-by":"crossref","unstructured":"Sutton, R.S., Barto, A.G.: Reinforcement Learning: An Introduction (1998)","DOI":"10.1109\/TNN.1998.712192"},{"key":"5_CR198","volume-title":"Component Software: Beyond Object-oriented Programming","author":"C. Szyperski","year":"1998","unstructured":"Szyperski, C.: Component Software: Beyond Object-oriented Programming. Addison-Wesley, Bonn (1998)"},{"key":"5_CR199","doi-asserted-by":"crossref","unstructured":"Thiere, B., Ober-Bl\u00f6baum, S., Pergola, P.: Detecting Initial Guesses for Trajectories in the (P)CRTBP. In: Proceedings of the AIAA\/AAS Astrodynamics Specialist Conference, Toronto (2010)","DOI":"10.2514\/6.2010-7962"},{"key":"5_CR200","unstructured":"Tichy, M., Henkler, S., Holtmann, J., Oberth\u00fcr, 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\u201339 (2008)"},{"key":"5_CR201","series-title":"Paderborner Workshop Entwurf mechatronischer Systeme","volume-title":"Tagungsband vom 9","author":"R. Timmermann","year":"2013","unstructured":"Timmermann, R., Horenkamp, C., Dellnitz, M., Ke\u00dfler, J.H., Tr\u00e4chtler, A.: Optimale Umschaltstrategien bei Aktorausfall mit Pfadverfolgungstechniken. In: Gausemeier, J., Rammig, F.J., Sch\u00e4fer, W., Tr\u00e4chtler, A. (eds.) Tagungsband vom 9. Paderborner Workshop Entwurf mechatronischer Systeme. HNI-Verlagsschriftenreihe, Paderborn (2013)"},{"issue":"1","key":"5_CR202","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1023\/A:1008734703554","volume":"18","author":"S. Tripakis","year":"2001","unstructured":"Tripakis, S., Yovine, S.: Analysis of Timed Systems Using Time-abstracting Bisimulations. Formal Methods in System Design\u00a018(1), 25\u201368 (2001)","journal-title":"Formal Methods in System Design"},{"key":"5_CR203","unstructured":"University of Paderborn: TGG Interpreter Tool Suite (2012), http:\/\/www.cs.uni-paderborn.de\/index.php?id=tgg-interpreter (accessed August 13, 2013)"},{"key":"5_CR204","volume-title":"System Analysis, Design, and Development","author":"C.S. Wasson","year":"2006","unstructured":"Wasson, C.S.: System Analysis, Design, and Development. John Wiley & Sons, Hoboken (2006)"},{"issue":"3-4","key":"5_CR205","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/BF00992698","volume":"8","author":"C.J.C.H. Watkins","year":"1992","unstructured":"Watkins, C.J.C.H., Dayan, P.: Q-Learning. Machine Learning\u00a08(3-4), 279\u2013292 (1992)","journal-title":"Machine Learning"},{"key":"5_CR206","unstructured":"Witting, K.: Numerical Algorithms for the Treatment of Parametric Multiobjective Optimization Problems and Applications. Ph.D. thesis, Fakult\u00e4t f\u00fcr Elektrotechnik, Informatik und Mathematik, Universit\u00e4t Paderborn, HNI-Verlagschriftenreihe, Paderborn (2011)"},{"key":"5_CR207","doi-asserted-by":"crossref","unstructured":"Witting, K., Ober-Bl\u00f6baum, S., Dellnitz, M.: A Variational Approach to Define Robustness for Parametric Multiobjective Optimization Problems. Journal of Global Optimization (2012)","DOI":"10.1007\/s10898-012-9972-6"},{"issue":"3","key":"5_CR208","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/s10009-008-0066-1","volume":"10","author":"K. Witting","year":"2008","unstructured":"Witting, K., Schulz, B., Dellnitz, M., B\u00f6cker, J., Fr\u00f6hleke, N.: A new Approach for Online Multiobjective Optimization of Mechatronic Systems. International Journal on Software Tools for Technology Transfer STTT\u00a010(3), 223\u2013231 (2008)","journal-title":"International Journal on Software Tools for Technology Transfer STTT"},{"key":"5_CR209","series-title":"Fachtagung zu Virtual RealityIFF-Wissenschaftstage - Virtual Reality und Augmented Reality zum Planen","volume-title":"Tagungsband zur 4","author":"M. Wittke","year":"2007","unstructured":"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)"},{"issue":"10","key":"5_CR210","doi-asserted-by":"publisher","first-page":"1701","DOI":"10.1109\/TCAD.2008.923415","volume":"27","author":"W. Wolf","year":"2008","unstructured":"Wolf, W., Jerraya, A., Martin, G.: Multiprocessor System-on-Chip (MPSoC) Technology. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems\u00a027(10), 1701\u20131713 (2008)","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"5_CR211","unstructured":"Wonisch, D.: Increasing the Preciseness of Shape Analysis for Graph Transformation Systems. Ph.D. thesis, Institut f\u00fcr Informatik, Universit\u00e4t of Paderborn (2010)"},{"key":"5_CR212","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1190","DOI":"10.1007\/978-3-540-73111-5_130","volume-title":"Human-Computer Interaction. HCI Applications and Services","author":"J. Ye","year":"2007","unstructured":"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.\u00a04553, pp. 1190\u20131199. Springer, Heidelberg (2007)"},{"key":"5_CR213","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1145\/1134285.1134337"},{"issue":"3","key":"5_CR214","first-page":"73","volume":"17","author":"S. Zilberstein","year":"1996","unstructured":"Zilberstein, S.: Using Anytime Algorithms in Intelligent Systems. AI Magazine\u00a017(3), 73\u201383 (1996)","journal-title":"AI Magazine"}],"container-title":["Lecture Notes in Mechanical Engineering","Design Methodology for Intelligent Technical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45435-6_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T17:56:35Z","timestamp":1746122195000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-45435-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642454349","9783642454356"],"references-count":214,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45435-6_5","relation":{},"ISSN":["2195-4356","2195-4364"],"issn-type":[{"type":"print","value":"2195-4356"},{"type":"electronic","value":"2195-4364"}],"subject":[],"published":{"date-parts":[[2014]]}}}