@article{20177, abstract = {{One of the main challenges in automatic controller synthesis is to develop methods that can successfully be applied for complex tasks. The difficulty is increased even more in the case of settings with multiple interacting agents. We apply the artificial homeostatic hormone system (AHHS) approach, which is inspired by the signaling network of unicellular organisms, to control a system of several independently acting agents decentrally. The approach is designed for evaluation-minimal, artificial evolution in order to be applicable to complex modular robotics scenarios. The performance of AHHS controllers is compared with neuroevolution of augmenting topologies (NEAT) in the coupled inverted pendulums benchmark. AHHS controllers are found to be better for multimodular settings. We analyze the evolved controllers with regard to the usage of sensory inputs and the emerging oscillations, and we give a nonlinear dynamics interpretation. The generalization of evolved controllers to initial conditions far from the original conditions is investigated and found to be good. Similarly, the performance of controllers scales well even with module numbers different from the original domain the controller was evolved for. Two reference implementations of a similar controller approach are reported and shown to have shortcomings. We discuss the related work and conclude by summarizing the main contributions of our work.}}, author = {{Hamann, Heiko and Schmickl, Thomas and Crailsheim, Karl}}, issn = {{1064-5462}}, journal = {{Artificial Life}}, number = {{2}}, pages = {{165--198}}, title = {{{A Hormone-Based Controller for Evaluation-Minimal Evolution in Decentrally Controlled Systems}}}, doi = {{10.1162/artl_a_00058}}, volume = {{18}}, year = {{2012}}, } @article{20178, author = {{Hamann, Heiko and Schmickl, Thomas and Wörn, Heinz and Crailsheim, Karl}}, issn = {{0941-0643}}, journal = {{Neural Computing and Applications}}, number = {{2}}, pages = {{207--218}}, title = {{{Analysis of emergent symmetry breaking in collective decision making}}}, doi = {{10.1007/s00521-010-0368-6}}, volume = {{21}}, year = {{2012}}, } @inproceedings{20179, author = {{Hamann, Heiko and Engelbrecht, Andreas and Birattari, Mauro and Dorigo, Marco and Blum, Christian and Stuetzle, Thomas and Christensen, Anders Lyhne and Gross, Roderich}}, booktitle = {{Swarm Intelligence: 8th International Conference, ANTS 2012}}, isbn = {{9783642326493}}, issn = {{0302-9743}}, pages = {{168--179}}, publisher = {{Springer}}, title = {{{Towards Swarm Calculus: Universal Properties of Swarm Performance and Collective Decisions}}}, doi = {{10.1007/978-3-642-32650-9_15}}, volume = {{7461}}, year = {{2012}}, } @inproceedings{25744, author = {{Joy, M. tech. Mabel Mary and Becker, Markus and Mathews, Emi and Müller, Wolfgang}}, booktitle = {{ In Proceedings of Advanced Computing and Communications Conference 2012 (ADCOM 2012)}}, location = {{ Bangalore, 14. - 16. Dez. 2012, IEEE}}, publisher = {{IEEE}}, title = {{{Automated Source Code Annotation for Timing Analysis of Embedded Software}}}, year = {{2012}}, } @inproceedings{25749, author = {{Mauerer, Wolfgang and Hillier, Gernot and Sawallisch, Jan and Hönick, Stefan and Oberthür, Simon}}, booktitle = {{Proceedings of Embedded Linux Conference Europe, 5. - 7. Nov. 2012}}, title = {{{Real-Time Android: Deterministic Ease of Use}}}, year = {{2012}}, } @inproceedings{25752, author = {{Mathews, Emi and Graf, Tobias and Kulathunga, K. S. S. B.}}, booktitle = {{In Proceedings of IEEE International Conference on Systems, Man, and Cybernetics (SMC 2012)}}, publisher = {{IEEE Computer Society}}, title = {{{Biologically Inspired Swarm Robotic Network Ensuring Coverage and Connectivity}}}, year = {{2012}}, } @inproceedings{25758, author = {{Becker, Markus and Baldin, Daniel and Kuznik, Christoph and Joy, M. tech. Mabel Mary and Xie, Tao and Müller, Wolfgang}}, booktitle = {{EMSOFT'12: Teenth ACM International Conference on Embedded Software 2012 Proceedings }}, title = {{{XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software}}}, year = {{2012}}, } @inproceedings{25761, author = {{Oliveira, Marcio F. and Kuznik, Christoph and Le, Hoang M. and Große, Daniel and Haedicke, Finn and Müller, Wolfgang and Drechsler, Rolf and Ecker, Wolfgang and Esen, Volkan}}, booktitle = {{CODES/ISSS '12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings}}, title = {{{The System Verification Methodology for Advanced TLM Verification}}}, year = {{2012}}, } @inproceedings{25767, author = {{He, Da and Müller, Wolfgang}}, booktitle = {{15th Euromicro Conference on Digital System Design (DSD)}}, publisher = {{IEEE Xplore}}, title = {{{A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms}}}, year = {{2012}}, } @inproceedings{25776, author = {{Rasche, Christoph and Jungmann, Alexander and Schierbaum, Thomas and Werdehausen, Benjamin and Kleinjohann, Bernd}}, booktitle = {{ IEEE 10th International Conference on Industrial Informatics,}}, publisher = {{IEEE Xplore}}, title = {{{ Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots}}}, year = {{2012}}, } @inproceedings{25777, abstract = {{This paper presents a hierarchical hyprid planning approach developed for realizing self-optimizing mechatronic systems. The hybrid planning approach is based on a discrete plan and a forecast of continuous system behavior generated by simulation during runtime. This does not only allow an online adaptation of a previously generated plan with regard to the actual system state as well as the current environmental conditions, even the planning objectives may be adapted to newly arising needs during system operation. The planner exploits the hierarchy already present in the system model by considering hierarchical parameterizations of the system as a discrete dimension of choice. The parameterizations are proposed by a novel hierarchical multiobjective optimization, which calculates Pareto points in a bottom up fashion, taking into account the constraints imposed by lower levels of the system hierarchy on the higher ones. Evaluations of the hierarchical hybrid planner in the context of an innovative railbound transport system show that it outperforms its non-hierarchical predecessor. }}, author = {{Esau, Natascha and Krüger, Martin and Rasche, Christoph and Beringer, Steffen and Kleinjohann, Lisa and Kleinjohann, Bernd}}, booktitle = {{7th IEEE Conference in Industrial Electronics and Applications}}, location = {{Singapore, 18. - 20. Jul. 2012 IEEE, IEEE}}, publisher = {{IEEE}}, title = {{{Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System}}}, year = {{2012}}, } @inproceedings{25781, author = {{Stern, Claudius and Rasche, Christoph and Kleinjohann, Lisa and Kleinjohann, Bernd}}, booktitle = {{Proceedings of The 16th International Conference on Image Processing, Computer Vision, & Pattern Recognition}}, location = {{16. - 19. Jul. 2012; Las Vegas, Nevada, USA}}, title = {{{Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces}}}, year = {{2012}}, } @inproceedings{25783, author = {{Grösbrink, Stefan}}, booktitle = {{Symposium on System-integrated Intelligence}}, location = {{27. - 29. Jun. 2012}}, title = {{{A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems}}}, year = {{2012}}, } @inproceedings{26022, author = {{Becker, Markus and Kuznik, Christoph and Joy, M. tech. Mabel Mary and Xie, Tao and Müller, Wolfgang}}, booktitle = {{ 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)}}, title = {{{Binary Mutation Testing Through Dynamic Translation}}}, year = {{2012}}, } @inproceedings{26023, author = {{He, Da and Müller, Wolfgang}}, booktitle = {{Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012)}}, publisher = {{IEEE Xplore}}, title = {{{Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms}}}, year = {{2012}}, } @inproceedings{26024, author = {{Radke, Stephan and Rülke, Steffen and Oliveira, Marcio F. and Kuznik, Christoph and Müller, Wolfgang and Ecker, Wolfgang and Esen, Volkan and Hufnagel, Simon and Bannow, Nico and Oetjens, Jan-Hendrik and Brazdrum, Helmut and Janssen, Peter and Le, Hoang M. and Große, Daniel and Haedicke, Finn and Drechsler, Rolf and Koch, Gernot and Burger, Andreas and Bringmann, Oliver and Rosenstiel, Wolfgang and Görgen, Ralph}}, booktitle = {{edaWorkshop 12}}, title = {{{Compilation of Methodologies to Speed up the Verification Process at System Level}}}, year = {{2012}}, } @inbook{26025, author = {{Montealegre, Norma and Hagenkötter, Sebastian}}, booktitle = {{Journal of Intelligent Manufacturing 23(3)}}, pages = {{699--715}}, publisher = {{Published online on June 2010}}, title = {{{Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks}}}, year = {{2012}}, } @inproceedings{26026, author = {{Grösbrink, Stefan and Oberthür, Simon and Baldin, Daniel}}, booktitle = {{4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012)}}, title = {{{Towards Adaptive Resource Management for Virtualized Real-Time Systems}}}, year = {{2012}}, } @inproceedings{26027, author = {{Zhao, Yuhong and Rammig, Franz-Josef}}, booktitle = {{16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China}}, pages = {{154--161}}, publisher = {{ IEEE Computer Society}}, title = {{{Online Model Checking for Dependable Real-time Systems}}}, year = {{2012}}, } @inproceedings{26028, author = {{Montealegre, Norma and Rammig, Franz-Josef}}, booktitle = {{Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012)}}, title = {{{Agent-Based Modeling and Simulation of Artificial Immune Systems}}}, year = {{2012}}, }