[{"citation":{"ama":"Thuy A.  Comparison of periodic and aperiodic task models for cyber-physical-systems. In: <i>Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2011 6th International Workshop On </i>. IEEE Xplore; 2011.","ieee":"A. Thuy, “ Comparison of periodic and aperiodic task models for cyber-physical-systems,” presented at the 20. - 22. Jun. 2011, 2011.","chicago":"Thuy, Andreas. “ Comparison of Periodic and Aperiodic Task Models for Cyber-Physical-Systems.” In <i>Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2011 6th International Workshop On </i>. IEEE Xplore, 2011.","apa":"Thuy, A. (2011).  Comparison of periodic and aperiodic task models for cyber-physical-systems. <i>Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2011 6th International Workshop On </i>. 20. - 22. Jun. 2011.","bibtex":"@inproceedings{Thuy_2011, title={ Comparison of periodic and aperiodic task models for cyber-physical-systems}, booktitle={Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), 2011 6th International Workshop on }, publisher={IEEE Xplore}, author={Thuy, Andreas}, year={2011} }","mla":"Thuy, Andreas. “ Comparison of Periodic and Aperiodic Task Models for Cyber-Physical-Systems.” <i>Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2011 6th International Workshop On </i>, IEEE Xplore, 2011.","short":"A. Thuy, in: Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2011 6th International Workshop On , IEEE Xplore, 2011."},"year":"2011","conference":{"name":"20. - 22. Jun. 2011"},"title":" Comparison of periodic and aperiodic task models for cyber-physical-systems","author":[{"full_name":"Thuy, Andreas","last_name":"Thuy","first_name":"Andreas"}],"date_created":"2021-10-21T12:31:52Z","publisher":"IEEE Xplore","date_updated":"2022-01-06T06:57:26Z","status":"public","publication":"Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), 2011 6th International Workshop on ","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"672"}],"user_id":"21240","_id":"26702"},{"conference":{"name":"Jun. 2011 - 16th North American User Group Meeting (NASCUG)"},"title":"Verification Closure of SystemC Designs with Functional Coverage","date_created":"2021-10-21T12:37:44Z","author":[{"first_name":"Christoph","full_name":"Kuznik, Christoph","last_name":"Kuznik"},{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"}],"date_updated":"2022-01-06T06:57:26Z","citation":{"short":"C. Kuznik, W. Müller, North American SystemC User Group Meeting (16th) (2011).","bibtex":"@article{Kuznik_Müller_2011, title={Verification Closure of SystemC Designs with Functional Coverage}, journal={North American SystemC User Group Meeting (16th)}, author={Kuznik, Christoph and Müller, Wolfgang}, year={2011} }","mla":"Kuznik, Christoph, and Wolfgang Müller. “Verification Closure of SystemC Designs with Functional Coverage.” <i>North American SystemC User Group Meeting (16th)</i>, 2011.","apa":"Kuznik, C., &#38; Müller, W. (2011). Verification Closure of SystemC Designs with Functional Coverage. <i>North American SystemC User Group Meeting (16th)</i>. Jun. 2011 - 16th North American User Group Meeting (NASCUG).","ama":"Kuznik C, Müller W. Verification Closure of SystemC Designs with Functional Coverage. <i>North American SystemC User Group Meeting (16th)</i>. Published online 2011.","chicago":"Kuznik, Christoph, and Wolfgang Müller. “Verification Closure of SystemC Designs with Functional Coverage.” <i>North American SystemC User Group Meeting (16th)</i>, 2011.","ieee":"C. Kuznik and W. Müller, “Verification Closure of SystemC Designs with Functional Coverage,” <i>North American SystemC User Group Meeting (16th)</i>, 2011."},"year":"2011","language":[{"iso":"eng"}],"department":[{"_id":"672"}],"user_id":"21240","_id":"26705","status":"public","abstract":[{"text":"In the area of dynamic verification of virtual prototypes, functional coverage is a valuable tool for answering the \"Are we done?\" question and achieving verification closure. Recent verification methodologies such as OVM and UVM contain multi-language support that provides a basic SystemC version. However, due to language shortcoming they cannot be utilized for the same amount of verification tasks in the SystemC ecosystem as in other supported hardware design and verification languages. In this presentation, we propose to boost the verification capabilities of SystemC by implementing functional coverage collection and evaluation according to the same metric as defined in the widely accepted IEEE-1800 SystemVerilog cover group feature. We implement a functional coverage library to enable coverage-driven verification of SystemC designs on multiple levels of abstraction enabling value, transition, and expression coverage. To our knowledge, the overall functionalities are not available in the IEEE-1666 SystemC standard or the SCV add-on library, nor are they complete compared to the aforementioned in any publicly available SystemC library.\r\n","lang":"eng"}],"publication":"North American SystemC User Group Meeting (16th)","type":"journal_article"},{"year":"2011","citation":{"short":"E. Mathews, H. Frey, in: IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM),  IEEE Computer Society, 2011, pp. 1–9.","mla":"Mathews, Emi, and Hannes Frey. “A Localized Planarization Algorithm for Realistic Wireless Networks.” <i>IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM)</i>,  IEEE Computer Society, 2011, pp. 1–9.","bibtex":"@inproceedings{Mathews_Frey_2011, title={A Localized Planarization Algorithm for Realistic Wireless Networks}, booktitle={IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM)}, publisher={ IEEE Computer Society}, author={Mathews, Emi and Frey, Hannes}, year={2011}, pages={1–9} }","apa":"Mathews, E., &#38; Frey, H. (2011). A Localized Planarization Algorithm for Realistic Wireless Networks. <i>IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM)</i>, 1–9.","ama":"Mathews E, Frey H. A Localized Planarization Algorithm for Realistic Wireless Networks. In: <i>IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM)</i>.  IEEE Computer Society; 2011:1-9.","chicago":"Mathews, Emi, and Hannes Frey. “A Localized Planarization Algorithm for Realistic Wireless Networks.” In <i>IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM)</i>, 1–9.  IEEE Computer Society, 2011.","ieee":"E. Mathews and H. Frey, “A Localized Planarization Algorithm for Realistic Wireless Networks,” in <i>IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM)</i>, 2011, pp. 1–9."},"page":"1-9","title":"A Localized Planarization Algorithm for Realistic Wireless Networks","date_updated":"2022-01-06T06:57:26Z","publisher":" IEEE Computer Society","date_created":"2021-10-21T12:40:58Z","author":[{"last_name":"Mathews","full_name":"Mathews, Emi","first_name":"Emi"},{"first_name":"Hannes","last_name":"Frey","full_name":"Frey, Hannes"}],"abstract":[{"text":"Planar graph routing works provably correct if the underlying network graph is connected and planar. Typically, wireless networks modeled as 2D graphs, are not planar and planar graph routing applied on such unprocessed network graphs may fail. Planarizing a given connected graph by removing intersecting links might be impossible if the outcome still needs to be a connected subgraph. It becomes even more difficult with distributed planarization techniques, where each node is allowed to use only the information about its local neighborhood. Furthermore, it is getting complicated if the nodes' assigned positions do not reflect the exact physical location. With or without exact location information, the outcome might be disconnected, nonplanar, or both of it. With all these unsolvable problems, the question arises how to apply planar graph routing in a realistic network setting? Fortunately, wireless network graphs bear one property which distinguishes them from arbitrary graphs: due to limited communication range, network links cannot become arbitrarily long. In this work we exploit this locality property to build a new localized planarization algorithm, which is location fault tolerant and which produces planar connected graphs in most cases in realistic wireless models. We evaluate our algorithm using the Log Normal Shadowing model and show that our algorithm always produces planar connected graphs in all simulations even when large location errors are present.\r\n","lang":"eng"}],"status":"public","type":"conference","publication":"IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM)","language":[{"iso":"eng"}],"_id":"26707","user_id":"21240","department":[{"_id":"672"}]},{"volume":294,"author":[{"last_name":"Becker","full_name":"Becker, Markus","first_name":"Markus"},{"first_name":"Henning","full_name":"Zabel, Henning","last_name":"Zabel"},{"full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller","first_name":"Wolfgang"},{"first_name":"Ahmed","last_name":"Elfeky","full_name":"Elfeky, Ahmed"},{"full_name":"DiPasquale, Anthony","last_name":"DiPasquale","first_name":"Anthony"}],"date_created":"2021-10-21T12:46:10Z","date_updated":"2022-01-06T06:57:26Z","publisher":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","title":"Virtual Prototyping softwareintensiver mechatronischer Systeme – Eine Fallstudie","page":"315-327","intvolume":"       294","citation":{"ama":"Becker M, Zabel H, Müller W, Elfeky A, DiPasquale A. Virtual Prototyping softwareintensiver mechatronischer Systeme – Eine Fallstudie. In: <i>8. Paderborner Workshop Entwurf Mechatronischer Systeme, Band 294</i>. Vol 294. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2011:315-327.","ieee":"M. Becker, H. Zabel, W. Müller, A. Elfeky, and A. DiPasquale, “Virtual Prototyping softwareintensiver mechatronischer Systeme – Eine Fallstudie,” in <i>8. Paderborner Workshop Entwurf mechatronischer Systeme, Band 294</i>, 2011, vol. 294, pp. 315–327.","chicago":"Becker, Markus, Henning Zabel, Wolfgang Müller, Ahmed Elfeky, and Anthony DiPasquale. “Virtual Prototyping Softwareintensiver Mechatronischer Systeme – Eine Fallstudie.” In <i>8. Paderborner Workshop Entwurf Mechatronischer Systeme, Band 294</i>, 294:315–27. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.","apa":"Becker, M., Zabel, H., Müller, W., Elfeky, A., &#38; DiPasquale, A. (2011). Virtual Prototyping softwareintensiver mechatronischer Systeme – Eine Fallstudie. <i>8. Paderborner Workshop Entwurf Mechatronischer Systeme, Band 294</i>, <i>294</i>, 315–327.","short":"M. Becker, H. Zabel, W. Müller, A. Elfeky, A. DiPasquale, in: 8. Paderborner Workshop Entwurf Mechatronischer Systeme, Band 294, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011, pp. 315–327.","bibtex":"@inproceedings{Becker_Zabel_Müller_Elfeky_DiPasquale_2011, title={Virtual Prototyping softwareintensiver mechatronischer Systeme – Eine Fallstudie}, volume={294}, booktitle={8. Paderborner Workshop Entwurf mechatronischer Systeme, Band 294}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Becker, Markus and Zabel, Henning and Müller, Wolfgang and Elfeky, Ahmed and DiPasquale, Anthony}, year={2011}, pages={315–327} }","mla":"Becker, Markus, et al. “Virtual Prototyping Softwareintensiver Mechatronischer Systeme – Eine Fallstudie.” <i>8. Paderborner Workshop Entwurf Mechatronischer Systeme, Band 294</i>, vol. 294, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011, pp. 315–27."},"year":"2011","department":[{"_id":"672"}],"user_id":"21240","_id":"26710","language":[{"iso":"eng"}],"publication":"8. Paderborner Workshop Entwurf mechatronischer Systeme, Band 294","type":"conference","status":"public"},{"title":"Coordinated Exploration and Goal-Oriented Path Planning using Multiple UAVs","date_created":"2021-10-21T12:56:18Z","author":[{"full_name":"Rasche, Christoph","last_name":"Rasche","first_name":"Christoph"},{"last_name":"Stern","full_name":"Stern, Claudius","first_name":"Claudius"},{"first_name":"Lisa","last_name":"Kleinjohann","full_name":"Kleinjohann, Lisa","id":"15588"},{"last_name":"Kleinjohann","full_name":"Kleinjohann, Bernd","first_name":"Bernd"}],"date_updated":"2022-01-06T06:57:26Z","citation":{"chicago":"Rasche, Christoph, Claudius Stern, Lisa Kleinjohann, and Bernd Kleinjohann. “Coordinated Exploration and Goal-Oriented Path Planning Using Multiple UAVs.” <i>ThinkMind, International Journal On Advances in Software 3 (3&#38;4)</i>, 2011, 351–70.","ieee":"C. Rasche, C. Stern, L. Kleinjohann, and B. Kleinjohann, “Coordinated Exploration and Goal-Oriented Path Planning using Multiple UAVs,” <i>ThinkMind, International Journal On Advances in Software 3 (3&#38;4)</i>, pp. 351–370, 2011.","ama":"Rasche C, Stern C, Kleinjohann L, Kleinjohann B. Coordinated Exploration and Goal-Oriented Path Planning using Multiple UAVs. <i>ThinkMind, International Journal On Advances in Software 3 (3&#38;4)</i>. Published online 2011:351-370.","apa":"Rasche, C., Stern, C., Kleinjohann, L., &#38; Kleinjohann, B. (2011). Coordinated Exploration and Goal-Oriented Path Planning using Multiple UAVs. <i>ThinkMind, International Journal On Advances in Software 3 (3&#38;4)</i>, 351–370.","bibtex":"@article{Rasche_Stern_Kleinjohann_Kleinjohann_2011, title={Coordinated Exploration and Goal-Oriented Path Planning using Multiple UAVs}, journal={ThinkMind, International Journal On Advances in Software 3 (3&#38;4)}, author={Rasche, Christoph and Stern, Claudius and Kleinjohann, Lisa and Kleinjohann, Bernd}, year={2011}, pages={351–370} }","short":"C. Rasche, C. Stern, L. Kleinjohann, B. Kleinjohann, ThinkMind, International Journal On Advances in Software 3 (3&#38;4) (2011) 351–370.","mla":"Rasche, Christoph, et al. “Coordinated Exploration and Goal-Oriented Path Planning Using Multiple UAVs.” <i>ThinkMind, International Journal On Advances in Software 3 (3&#38;4)</i>, 2011, pp. 351–70."},"page":"351-370","year":"2011","language":[{"iso":"eng"}],"user_id":"21240","department":[{"_id":"672"}],"_id":"26711","status":"public","type":"journal_article","publication":"ThinkMind, International Journal On Advances in Software 3 (3&4)"},{"status":"public","type":"conference","publication":"14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW)","language":[{"iso":"eng"}],"user_id":"21240","department":[{"_id":"672"}],"_id":"26712","citation":{"apa":"Khaluf, Y., Mathews, E., &#38; Rammig, F.-J. (2011).  Self-Organized Cooperation in Swarm Robotics. <i>14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW)</i>, 217–226.","bibtex":"@inproceedings{Khaluf_Mathews_Rammig_2011, place={Newport Beach, California, USA}, title={ Self-Organized Cooperation in Swarm Robotics}, booktitle={14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW)}, publisher={IEEE Computer Society}, author={Khaluf, Yara and Mathews, Emi and Rammig, Franz-Josef}, year={2011}, pages={217–226} }","mla":"Khaluf, Yara, et al. “ Self-Organized Cooperation in Swarm Robotics.” <i>14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW)</i>, IEEE Computer Society, 2011, pp. 217–26.","short":"Y. Khaluf, E. Mathews, F.-J. Rammig, in: 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), IEEE Computer Society, Newport Beach, California, USA, 2011, pp. 217–226.","ieee":"Y. Khaluf, E. Mathews, and F.-J. Rammig, “ Self-Organized Cooperation in Swarm Robotics,” in <i>14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW)</i>, 2011, pp. 217–226.","chicago":"Khaluf, Yara, Emi Mathews, and Franz-Josef Rammig. “ Self-Organized Cooperation in Swarm Robotics.” In <i>14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW)</i>, 217–26. Newport Beach, California, USA: IEEE Computer Society, 2011.","ama":"Khaluf Y, Mathews E, Rammig F-J.  Self-Organized Cooperation in Swarm Robotics. In: <i>14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW)</i>. IEEE Computer Society; 2011:217-226."},"page":"217-226","place":"Newport Beach, California, USA","year":"2011","conference":{"name":"Newport Beach, California, USA, 28. - 31. Mrz. 2011 IEEE, IEEE Computer Society"},"title":" Self-Organized Cooperation in Swarm Robotics","date_created":"2021-10-21T12:59:04Z","author":[{"first_name":"Yara","last_name":"Khaluf","full_name":"Khaluf, Yara"},{"last_name":"Mathews","full_name":"Mathews, Emi","first_name":"Emi"},{"first_name":"Franz-Josef","last_name":"Rammig","full_name":"Rammig, Franz-Josef"}],"publisher":"IEEE Computer Society","date_updated":"2022-01-06T06:57:26Z"},{"_id":"26713","user_id":"21240","department":[{"_id":"672"}],"language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of Design, Automation, Test Europe - DATE2011","status":"public","publisher":"IEEE Computer Society Press","date_updated":"2022-01-06T06:57:26Z","date_created":"2021-10-21T13:01:47Z","author":[{"full_name":"Klobedanz, Kay","last_name":"Klobedanz","first_name":"Kay"},{"first_name":"A.","last_name":"König","full_name":"König, A."},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"}],"title":"A Reconfiguration Approach for Fault-Tolerant FlexRay Networks","conference":{"location":"14. - 18. Mrz. 2011"},"year":"2011","place":"Grenoble, France","citation":{"ama":"Klobedanz K, König A, Müller W. A Reconfiguration Approach for Fault-Tolerant FlexRay Networks. In: <i>Proceedings of Design, Automation, Test Europe - DATE2011</i>. IEEE Computer Society Press; 2011.","ieee":"K. Klobedanz, A. König, and W. Müller, “A Reconfiguration Approach for Fault-Tolerant FlexRay Networks,” 14. - 18. Mrz. 2011, 2011.","chicago":"Klobedanz, Kay, A. König, and Wolfgang Müller. “A Reconfiguration Approach for Fault-Tolerant FlexRay Networks.” In <i>Proceedings of Design, Automation, Test Europe - DATE2011</i>. Grenoble, France: IEEE Computer Society Press, 2011.","mla":"Klobedanz, Kay, et al. “A Reconfiguration Approach for Fault-Tolerant FlexRay Networks.” <i>Proceedings of Design, Automation, Test Europe - DATE2011</i>, IEEE Computer Society Press, 2011.","short":"K. Klobedanz, A. König, W. Müller, in: Proceedings of Design, Automation, Test Europe - DATE2011, IEEE Computer Society Press, Grenoble, France, 2011.","bibtex":"@inproceedings{Klobedanz_König_Müller_2011, place={Grenoble, France}, title={A Reconfiguration Approach for Fault-Tolerant FlexRay Networks}, booktitle={Proceedings of Design, Automation, Test Europe - DATE2011}, publisher={IEEE Computer Society Press}, author={Klobedanz, Kay and König, A. and Müller, Wolfgang}, year={2011} }","apa":"Klobedanz, K., König, A., &#38; Müller, W. (2011). A Reconfiguration Approach for Fault-Tolerant FlexRay Networks. <i>Proceedings of Design, Automation, Test Europe - DATE2011</i>."}},{"publication":"Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011","type":"conference","status":"public","department":[{"_id":"672"}],"user_id":"21240","_id":"26714","language":[{"iso":"eng"}],"citation":{"apa":"Klobedanz, K., König, A., Müller, W., &#38; Rettberg, A. (2011). Self-Reconfiguration for Fault-Tolerant FlexRay Networks. <i>Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011</i>.","bibtex":"@inproceedings{Klobedanz_König_Müller_Rettberg_2011, place={Newport Beach, California, USA}, title={Self-Reconfiguration for Fault-Tolerant FlexRay Networks}, booktitle={Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011}, publisher={IEEE Computer Society Press}, author={Klobedanz, Kay and König, A. and Müller, Wolfgang and Rettberg, Achim}, year={2011} }","short":"K. Klobedanz, A. König, W. Müller, A. Rettberg, in: Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011, IEEE Computer Society Press, Newport Beach, California, USA, 2011.","mla":"Klobedanz, Kay, et al. “Self-Reconfiguration for Fault-Tolerant FlexRay Networks.” <i>Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011</i>, IEEE Computer Society Press, 2011.","ieee":"K. Klobedanz, A. König, W. Müller, and A. Rettberg, “Self-Reconfiguration for Fault-Tolerant FlexRay Networks,” 2011.","chicago":"Klobedanz, Kay, A. König, Wolfgang Müller, and Achim Rettberg. “Self-Reconfiguration for Fault-Tolerant FlexRay Networks.” In <i>Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011</i>. Newport Beach, California, USA: IEEE Computer Society Press, 2011.","ama":"Klobedanz K, König A, Müller W, Rettberg A. Self-Reconfiguration for Fault-Tolerant FlexRay Networks. In: <i>Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011</i>. IEEE Computer Society Press; 2011."},"place":"Newport Beach, California, USA","year":"2011","author":[{"full_name":"Klobedanz, Kay","last_name":"Klobedanz","first_name":"Kay"},{"first_name":"A.","last_name":"König","full_name":"König, A."},{"full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller","first_name":"Wolfgang"},{"last_name":"Rettberg","full_name":"Rettberg, Achim","first_name":"Achim"}],"date_created":"2021-10-21T13:06:26Z","date_updated":"2022-01-06T06:57:26Z","publisher":"IEEE Computer Society Press","title":"Self-Reconfiguration for Fault-Tolerant FlexRay Networks"},{"department":[{"_id":"672"}],"user_id":"21240","_id":"26715","language":[{"iso":"eng"}],"publication":"Proceedings of DVCON ","type":"conference","status":"public","abstract":[{"lang":"eng","text":"SystemC is a versatile C++ based design and verification language, offering various mechanisms and constructs required for embedded systems modeling. Using the add-on SystemC Verification Library (SCV) elemental constrained-random stimuli techniques may be used for verification. However, SCV has several drawbacks such as lack of a functional coverage facility supporting coverage collection on RTL and TLM models. In this article we present a functional coverage library which implements parts of the IEEE 1800-2005 SystemVerilog standard capturing functional coverage throughout the design and verification process, and allows to facilitate coverage-driven verification in SystemC."}],"author":[{"last_name":"Kuznik","full_name":"Kuznik, Christoph","first_name":"Christoph"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"}],"date_created":"2021-10-21T13:10:10Z","date_updated":"2022-01-06T06:57:26Z","title":"Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction","citation":{"ieee":"C. Kuznik and W. Müller, “Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction,” 2011.","chicago":"Kuznik, Christoph, and Wolfgang Müller. “Functional Coverage-Driven Verification with SystemC on Multiple Level of Abstraction.” In <i>Proceedings of DVCON </i>, 2011.","ama":"Kuznik C, Müller W. Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction. In: <i>Proceedings of DVCON </i>. ; 2011.","short":"C. Kuznik, W. Müller, in: Proceedings of DVCON , 2011.","mla":"Kuznik, Christoph, and Wolfgang Müller. “Functional Coverage-Driven Verification with SystemC on Multiple Level of Abstraction.” <i>Proceedings of DVCON </i>, 2011.","bibtex":"@inproceedings{Kuznik_Müller_2011, title={Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction}, booktitle={Proceedings of DVCON }, author={Kuznik, Christoph and Müller, Wolfgang}, year={2011} }","apa":"Kuznik, C., &#38; Müller, W. (2011). Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction. <i>Proceedings of DVCON </i>."},"year":"2011"},{"citation":{"bibtex":"@inproceedings{Mischkalla_He_Müller_2011, title={A Retargetable SysML-based Front-End for High-Level Synthesis}, booktitle={Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED)}, author={Mischkalla, Fabian and He, Da and Müller, Wolfgang}, year={2011} }","short":"F. Mischkalla, D. He, W. Müller, in: Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED), 2011.","mla":"Mischkalla, Fabian, et al. “A Retargetable SysML-Based Front-End for High-Level Synthesis.” <i>Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED)</i>, 2011.","apa":"Mischkalla, F., He, D., &#38; Müller, W. (2011). A Retargetable SysML-based Front-End for High-Level Synthesis. <i>Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED)</i>.","ieee":"F. Mischkalla, D. He, and W. Müller, “A Retargetable SysML-based Front-End for High-Level Synthesis,” 2011.","chicago":"Mischkalla, Fabian, Da He, and Wolfgang Müller. “A Retargetable SysML-Based Front-End for High-Level Synthesis.” In <i>Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED)</i>, 2011.","ama":"Mischkalla F, He D, Müller W. A Retargetable SysML-based Front-End for High-Level Synthesis. In: <i>Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED)</i>. ; 2011."},"year":"2011","title":"A Retargetable SysML-based Front-End for High-Level Synthesis","author":[{"last_name":"Mischkalla","full_name":"Mischkalla, Fabian","first_name":"Fabian"},{"last_name":"He","full_name":"He, Da","first_name":"Da"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"date_created":"2021-10-21T13:16:24Z","date_updated":"2022-01-06T06:57:26Z","status":"public","abstract":[{"text":"UML profiles like SysML and MARTE have been a major research topic in electronic system design, but are mainly applied for specification and analysis in early design phases. High-Level Synthesis (HLS), however, addresses the physical implementation aspect of electronic systems, and thus leads to different requirements on the accuracy of models. For this, modular interfaces are a novel object-oriented synthesizable technique to overcome the conflict between a higher degree of abstraction and necessary details for further synthesis. In this paper, we present our approach to use SysML as an adequate modeling language for modular interfaces and C/C++/SystemC-based HLS. We extended SysML with annotations for synthesizable SystemC and high-level synthesis constraints and implemented a code generation scheme to achieve design flow automation. Based on the SysML editor Artisan Studio and an industrial case study, we demonstrate the applicability of SysML as a retargetable front-end for HLS design flows.","lang":"eng"}],"publication":"Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED)","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"672"}],"user_id":"21240","_id":"26716"},{"language":[{"iso":"eng"}],"_id":"26717","user_id":"21240","department":[{"_id":"672"}],"status":"public","type":"conference","publication":"Proceedings of 1st international QEMU Users Forum","title":"A SysML-based Framework with QEMU-SystemC Code Generation","date_updated":"2022-01-06T06:57:26Z","date_created":"2021-10-21T13:18:27Z","author":[{"full_name":"He, Da","last_name":"He","first_name":"Da"},{"last_name":"Mischkalla","full_name":"Mischkalla, Fabian","first_name":"Fabian"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"year":"2011","citation":{"bibtex":"@inproceedings{He_Mischkalla_Müller_2011, title={A SysML-based Framework with QEMU-SystemC Code Generation}, booktitle={Proceedings of 1st international QEMU Users Forum}, author={He, Da and Mischkalla, Fabian and Müller, Wolfgang}, year={2011} }","mla":"He, Da, et al. “A SysML-Based Framework with QEMU-SystemC Code Generation.” <i>Proceedings of 1st International QEMU Users Forum</i>, 2011.","short":"D. He, F. Mischkalla, W. Müller, in: Proceedings of 1st International QEMU Users Forum, 2011.","apa":"He, D., Mischkalla, F., &#38; Müller, W. (2011). A SysML-based Framework with QEMU-SystemC Code Generation. <i>Proceedings of 1st International QEMU Users Forum</i>.","chicago":"He, Da, Fabian Mischkalla, and Wolfgang Müller. “A SysML-Based Framework with QEMU-SystemC Code Generation.” In <i>Proceedings of 1st International QEMU Users Forum</i>, 2011.","ieee":"D. He, F. Mischkalla, and W. Müller, “A SysML-based Framework with QEMU-SystemC Code Generation,” 2011.","ama":"He D, Mischkalla F, Müller W. A SysML-based Framework with QEMU-SystemC Code Generation. In: <i>Proceedings of 1st International QEMU Users Forum</i>. ; 2011."}},{"year":"2011","citation":{"apa":"Becker, M. (2011). QEMU/SystemC Cosimulation at Different Abstraction Levels. <i>1st International QEMU Users Forum (QUF’11)</i>.","bibtex":"@inproceedings{Becker_2011, title={QEMU/SystemC Cosimulation at Different Abstraction Levels}, booktitle={1st International QEMU Users Forum (QUF’11)}, author={Becker, Markus}, year={2011} }","short":"M. Becker, in: 1st International QEMU Users Forum (QUF’11), 2011.","mla":"Becker, Markus. “QEMU/SystemC Cosimulation at Different Abstraction Levels.” <i>1st International QEMU Users Forum (QUF’11)</i>, 2011.","ieee":"M. Becker, “QEMU/SystemC Cosimulation at Different Abstraction Levels,” 2011.","chicago":"Becker, Markus. “QEMU/SystemC Cosimulation at Different Abstraction Levels.” In <i>1st International QEMU Users Forum (QUF’11)</i>, 2011.","ama":"Becker M. QEMU/SystemC Cosimulation at Different Abstraction Levels. In: <i>1st International QEMU Users Forum (QUF’11)</i>. ; 2011."},"title":"QEMU/SystemC Cosimulation at Different Abstraction Levels","date_updated":"2022-01-06T06:57:28Z","author":[{"first_name":"Markus","last_name":"Becker","full_name":"Becker, Markus"}],"date_created":"2021-10-25T09:44:40Z","status":"public","publication":"1st International QEMU Users Forum (QUF'11)","type":"conference","language":[{"iso":"eng"}],"_id":"26782","department":[{"_id":"672"}],"user_id":"21240"},{"title":"Hybrid Planning for Self-Optimization in Railbound Mechatronic Systems","publisher":"InTech Open Access Publisher","date_updated":"2022-01-06T06:57:28Z","date_created":"2021-10-25T09:49:51Z","author":[{"last_name":"Adelt","full_name":"Adelt, Philipp","first_name":"Philipp"},{"first_name":"Natascha","full_name":"Esau, Natascha","last_name":"Esau"},{"full_name":"Hölscher, Christian","last_name":"Hölscher","first_name":"Christian"},{"full_name":"Kleinjohann, Bernd","last_name":"Kleinjohann","first_name":"Bernd"},{"first_name":"Lisa","last_name":"Kleinjohann","id":"15588","full_name":"Kleinjohann, Lisa"},{"full_name":"Krüger, Martin","last_name":"Krüger","first_name":"Martin"},{"last_name":"Zimmer","id":"604","full_name":"Zimmer, Detmar","first_name":"Detmar"}],"year":"2011","citation":{"ama":"Adelt P, Esau N, Hölscher C, et al. Hybrid Planning for Self-Optimization in Railbound Mechatronic Systems. In: <i> Intelligent Mechatronics; Kapitel 10</i>. InTech Open Access Publisher; 2011:169-194.","chicago":"Adelt, Philipp, Natascha Esau, Christian Hölscher, Bernd Kleinjohann, Lisa Kleinjohann, Martin Krüger, and Detmar Zimmer. “Hybrid Planning for Self-Optimization in Railbound Mechatronic Systems.” In <i> Intelligent Mechatronics; Kapitel 10</i>, 169–94. InTech Open Access Publisher, 2011.","ieee":"P. Adelt <i>et al.</i>, “Hybrid Planning for Self-Optimization in Railbound Mechatronic Systems,” in <i> Intelligent Mechatronics; Kapitel 10</i>, InTech Open Access Publisher, 2011, pp. 169–194.","apa":"Adelt, P., Esau, N., Hölscher, C., Kleinjohann, B., Kleinjohann, L., Krüger, M., &#38; Zimmer, D. (2011). Hybrid Planning for Self-Optimization in Railbound Mechatronic Systems. In <i> Intelligent Mechatronics; Kapitel 10</i> (pp. 169–194). InTech Open Access Publisher.","short":"P. Adelt, N. Esau, C. Hölscher, B. Kleinjohann, L. Kleinjohann, M. Krüger, D. Zimmer, in:  Intelligent Mechatronics; Kapitel 10, InTech Open Access Publisher, 2011, pp. 169–194.","bibtex":"@inbook{Adelt_Esau_Hölscher_Kleinjohann_Kleinjohann_Krüger_Zimmer_2011, title={Hybrid Planning for Self-Optimization in Railbound Mechatronic Systems}, booktitle={ Intelligent Mechatronics; Kapitel 10}, publisher={InTech Open Access Publisher}, author={Adelt, Philipp and Esau, Natascha and Hölscher, Christian and Kleinjohann, Bernd and Kleinjohann, Lisa and Krüger, Martin and Zimmer, Detmar}, year={2011}, pages={169–194} }","mla":"Adelt, Philipp, et al. “Hybrid Planning for Self-Optimization in Railbound Mechatronic Systems.” <i> Intelligent Mechatronics; Kapitel 10</i>, InTech Open Access Publisher, 2011, pp. 169–94."},"page":"169-194","language":[{"iso":"eng"}],"_id":"26783","user_id":"21240","department":[{"_id":"672"}],"status":"public","type":"book_chapter","publication":" Intelligent Mechatronics; Kapitel 10"},{"language":[{"iso":"eng"}],"department":[{"_id":"672"}],"user_id":"21240","_id":"26784","status":"public","publication":"Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)","type":"conference","title":"Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk","author":[{"last_name":"Gnokam Defo","full_name":"Gnokam Defo, Gilles Bertrand","first_name":"Gilles Bertrand"},{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"}],"date_created":"2021-10-25T09:57:05Z","date_updated":"2022-01-06T06:57:28Z","citation":{"apa":"Gnokam Defo, G. B., &#38; Müller, W. (2011). Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk. <i>Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV)</i>.","mla":"Gnokam Defo, Gilles Bertrand, and Wolfgang Müller. “Synchronisation Eines SystemC Restbus-Simulators Mit Einem Hardware-In-the-Loop FlexRay Netzwerk.” <i>Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV)</i>, 2011.","short":"G.B. Gnokam Defo, W. Müller, in: Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV), 2011.","bibtex":"@inproceedings{Gnokam Defo_Müller_2011, title={Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk}, booktitle={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}, author={Gnokam Defo, Gilles Bertrand and Müller, Wolfgang}, year={2011} }","chicago":"Gnokam Defo, Gilles Bertrand, and Wolfgang Müller. “Synchronisation Eines SystemC Restbus-Simulators Mit Einem Hardware-In-the-Loop FlexRay Netzwerk.” In <i>Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV)</i>, 2011.","ieee":"G. B. Gnokam Defo and W. Müller, “Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk,” 2011.","ama":"Gnokam Defo GB, Müller W. Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk. In: <i>Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV)</i>. ; 2011."},"year":"2011"},{"publication":"Proceedings of the 23rd international conference on Advanced information systems engineering (CAiSE'11)","type":"conference","status":"public","_id":"26787","department":[{"_id":"672"}],"user_id":"21240","language":[{"iso":"eng"}],"year":"2011","page":"521-535","citation":{"ama":"Khaluf L, Gerth C, Engels G. Pattern-Based Modeling and Formalizing of Business Process Quality Constraints. In: <i>Proceedings of the 23rd International Conference on Advanced Information Systems Engineering (CAiSE’11)</i>. Springer Verlag; 2011:521-535.","chicago":"Khaluf, Lial, Christian Gerth, and Gregor Engels. “Pattern-Based Modeling and Formalizing of Business Process Quality Constraints.” In <i>Proceedings of the 23rd International Conference on Advanced Information Systems Engineering (CAiSE’11)</i>, 521–35. Springer Verlag, 2011.","ieee":"L. Khaluf, C. Gerth, and G. Engels, “Pattern-Based Modeling and Formalizing of Business Process Quality Constraints,” in <i>Proceedings of the 23rd international conference on Advanced information systems engineering (CAiSE’11)</i>, 2011, pp. 521–535.","bibtex":"@inproceedings{Khaluf_Gerth_Engels_2011, title={Pattern-Based Modeling and Formalizing of Business Process Quality Constraints}, booktitle={Proceedings of the 23rd international conference on Advanced information systems engineering (CAiSE’11)}, publisher={Springer Verlag}, author={Khaluf, Lial and Gerth, Christian and Engels, Gregor}, year={2011}, pages={521–535} }","short":"L. Khaluf, C. Gerth, G. Engels, in: Proceedings of the 23rd International Conference on Advanced Information Systems Engineering (CAiSE’11), Springer Verlag, 2011, pp. 521–535.","mla":"Khaluf, Lial, et al. “Pattern-Based Modeling and Formalizing of Business Process Quality Constraints.” <i>Proceedings of the 23rd International Conference on Advanced Information Systems Engineering (CAiSE’11)</i>, Springer Verlag, 2011, pp. 521–35.","apa":"Khaluf, L., Gerth, C., &#38; Engels, G. (2011). Pattern-Based Modeling and Formalizing of Business Process Quality Constraints. <i>Proceedings of the 23rd International Conference on Advanced Information Systems Engineering (CAiSE’11)</i>, 521–535."},"publisher":"Springer Verlag","date_updated":"2022-01-06T06:57:28Z","author":[{"first_name":"Lial","last_name":"Khaluf","full_name":"Khaluf, Lial"},{"last_name":"Gerth","full_name":"Gerth, Christian","first_name":"Christian"},{"full_name":"Engels, Gregor","id":"107","last_name":"Engels","first_name":"Gregor"}],"date_created":"2021-10-25T10:00:11Z","title":"Pattern-Based Modeling and Formalizing of Business Process Quality Constraints"},{"language":[{"iso":"eng"}],"_id":"26789","department":[{"_id":"672"}],"user_id":"21240","abstract":[{"text":"Mutation analysis is a powerful tool for white-box testing of the verification environment in order to produce dependable and higher quality software products. However, due to high computational costs and the focus on high-level software languages such as Java mutation analysis is not yet widely used in commercial design flows targeting embedded (software) systems. Here the industry is modeling both hardware and related software parts at higher levels of abstraction, called virtual prototypes, to accelerate parallel development and shorten time-to-market. In this paper we propose a mutation testing verification flow for SystemC based virtual prototypes that may not rely on source code only but on annotated basic blocks and enables mutant creation at assembler level to heavily reduce execution costs and equivalence mutants likelihood.","lang":"eng"}],"status":"public","publication":"Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing","type":"conference","title":"Native binary mutation analysis for embedded software and virtual prototypes in SystemC","date_updated":"2022-01-06T06:57:28Z","date_created":"2021-10-25T10:02:47Z","author":[{"first_name":"Christoph","last_name":"Kuznik","full_name":"Kuznik, Christoph"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"year":"2011","citation":{"ama":"Kuznik C, Müller W. Native binary mutation analysis for embedded software and virtual prototypes in SystemC. In: <i>Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing</i>. ; 2011.","chicago":"Kuznik, Christoph, and Wolfgang Müller. “Native Binary Mutation Analysis for Embedded Software and Virtual Prototypes in SystemC.” In <i>Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing</i>, 2011.","ieee":"C. Kuznik and W. Müller, “Native binary mutation analysis for embedded software and virtual prototypes in SystemC,” 2011.","bibtex":"@inproceedings{Kuznik_Müller_2011, title={Native binary mutation analysis for embedded software and virtual prototypes in SystemC}, booktitle={Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing}, author={Kuznik, Christoph and Müller, Wolfgang}, year={2011} }","mla":"Kuznik, Christoph, and Wolfgang Müller. “Native Binary Mutation Analysis for Embedded Software and Virtual Prototypes in SystemC.” <i>Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing</i>, 2011.","short":"C. Kuznik, W. Müller, in: Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011.","apa":"Kuznik, C., &#38; Müller, W. (2011). Native binary mutation analysis for embedded software and virtual prototypes in SystemC. <i>Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing</i>."}},{"citation":{"apa":"Esau, N., &#38; Kleinjohann, L. (2011). Emotional Robot Competence and Its Use in Robot Behavior Control. In <i>Emotional Engineering</i> (pp. 119–142). Springer-Verlag London.","bibtex":"@inbook{Esau_Kleinjohann_2011, title={Emotional Robot Competence and Its Use in Robot Behavior Control}, booktitle={Emotional Engineering}, publisher={Springer-Verlag London}, author={Esau, Natascha and Kleinjohann, Lisa}, year={2011}, pages={119–142} }","short":"N. Esau, L. Kleinjohann, in: Emotional Engineering, Springer-Verlag London, 2011, pp. 119–142.","mla":"Esau, Natascha, and Lisa Kleinjohann. “Emotional Robot Competence and Its Use in Robot Behavior Control.” <i>Emotional Engineering</i>, Springer-Verlag London, 2011, pp. 119–42.","ama":"Esau N, Kleinjohann L. Emotional Robot Competence and Its Use in Robot Behavior Control. In: <i>Emotional Engineering</i>. Springer-Verlag London; 2011:119-142.","ieee":"N. Esau and L. Kleinjohann, “Emotional Robot Competence and Its Use in Robot Behavior Control,” in <i>Emotional Engineering</i>, Springer-Verlag London, 2011, pp. 119–142.","chicago":"Esau, Natascha, and Lisa Kleinjohann. “Emotional Robot Competence and Its Use in Robot Behavior Control.” In <i>Emotional Engineering</i>, 119–42. Springer-Verlag London, 2011."},"page":"119-142","year":"2011","title":"Emotional Robot Competence and Its Use in Robot Behavior Control","date_created":"2021-10-25T10:11:23Z","author":[{"first_name":"Natascha","full_name":"Esau, Natascha","last_name":"Esau"},{"first_name":"Lisa","last_name":"Kleinjohann","id":"15588","full_name":"Kleinjohann, Lisa"}],"date_updated":"2022-01-06T06:57:28Z","publisher":"Springer-Verlag London","status":"public","type":"book_chapter","publication":"Emotional Engineering","language":[{"iso":"eng"}],"user_id":"21240","department":[{"_id":"672"}],"_id":"26792"},{"publication":"Proceedings of the 2011 workshop on Organic computing","type":"conference","status":"public","abstract":[{"lang":"eng","text":"In this paper we introduce an infrastructure for investigating Organic Computing principles such as self-optimization and self-organization in real-world scenarios based on a heterogeneous society of robots. This infrastructure, the R3PB-Workbench (Remote Real Robots at the University of Paderborn), provides a controlled environment for conducting real-world multi robot experiments, while relieving the developer from common problems like getting a global view of the entire environment and self-localization within this environment. In addition, it provides a communication layer that hides the heterogeneity of the controlled robot types and also facilitates access to each robot's subjective view. Currently we provide three types of mobile robots with different size and capabilities. Since the workbench is easily customizable, it supports the integration of additional types of robots. Hence, the degree of heterogeneity of the robot group conducting the experiments in the scope of our real-world scenario can be modified as needed. Furthermore, we elaborated a multi-robot game as an illustrative real-world scenario, which on the one hand allows for sophisticated scientific investigations and on the other hand is also appealing for an audience, even with little technical background."}],"department":[{"_id":"672"}],"user_id":"21240","_id":"26794","language":[{"iso":"eng"}],"page":"41-50","citation":{"chicago":"Jungmann, Alexander, Jan Lutterbeck, Benjamin Werdehausen, Bernd Kleinjohann, and Lisa Kleinjohann. “Towards a Real-World Scenario for Investigating Organic Computing Principles in Heterogeneous Societies of Robots.” In <i>Proceedings of the 2011 Workshop on Organic Computing</i>, 41–50. ACM, 2011.","ieee":"A. Jungmann, J. Lutterbeck, B. Werdehausen, B. Kleinjohann, and L. Kleinjohann, “Towards a Real-World Scenario for Investigating Organic Computing Principles in Heterogeneous Societies of Robots,” in <i>Proceedings of the 2011 workshop on Organic computing</i>, 2011, pp. 41–50.","ama":"Jungmann A, Lutterbeck J, Werdehausen B, Kleinjohann B, Kleinjohann L. Towards a Real-World Scenario for Investigating Organic Computing Principles in Heterogeneous Societies of Robots. In: <i>Proceedings of the 2011 Workshop on Organic Computing</i>. ACM; 2011:41-50.","mla":"Jungmann, Alexander, et al. “Towards a Real-World Scenario for Investigating Organic Computing Principles in Heterogeneous Societies of Robots.” <i>Proceedings of the 2011 Workshop on Organic Computing</i>, ACM, 2011, pp. 41–50.","bibtex":"@inproceedings{Jungmann_Lutterbeck_Werdehausen_Kleinjohann_Kleinjohann_2011, title={Towards a Real-World Scenario for Investigating Organic Computing Principles in Heterogeneous Societies of Robots}, booktitle={Proceedings of the 2011 workshop on Organic computing}, publisher={ACM}, author={Jungmann, Alexander and Lutterbeck, Jan and Werdehausen, Benjamin and Kleinjohann, Bernd and Kleinjohann, Lisa}, year={2011}, pages={41–50} }","short":"A. Jungmann, J. Lutterbeck, B. Werdehausen, B. Kleinjohann, L. Kleinjohann, in: Proceedings of the 2011 Workshop on Organic Computing, ACM, 2011, pp. 41–50.","apa":"Jungmann, A., Lutterbeck, J., Werdehausen, B., Kleinjohann, B., &#38; Kleinjohann, L. (2011). Towards a Real-World Scenario for Investigating Organic Computing Principles in Heterogeneous Societies of Robots. <i>Proceedings of the 2011 Workshop on Organic Computing</i>, 41–50."},"year":"2011","date_created":"2021-10-25T10:16:14Z","author":[{"full_name":"Jungmann, Alexander","last_name":"Jungmann","first_name":"Alexander"},{"full_name":"Lutterbeck, Jan","last_name":"Lutterbeck","first_name":"Jan"},{"full_name":"Werdehausen, Benjamin","last_name":"Werdehausen","first_name":"Benjamin"},{"last_name":"Kleinjohann","full_name":"Kleinjohann, Bernd","first_name":"Bernd"},{"last_name":"Kleinjohann","full_name":"Kleinjohann, Lisa","id":"15588","first_name":"Lisa"}],"date_updated":"2022-01-06T06:57:28Z","publisher":"ACM","title":"Towards a Real-World Scenario for Investigating Organic Computing Principles in Heterogeneous Societies of Robots"},{"author":[{"first_name":"Alexander","last_name":"Jungmann","full_name":"Jungmann, Alexander"},{"full_name":"Kleinjohann, Bernd","last_name":"Kleinjohann","first_name":"Bernd"},{"full_name":"Richert, Willi","last_name":"Richert","first_name":"Willi"}],"date_created":"2021-10-25T11:01:29Z","date_updated":"2022-01-06T06:57:28Z","publisher":"Springer Basel","doi":"10.1007/978-3-0348-0130-0_36","title":"A Fast Hierarchical Learning Approach for Autonomous Robots","citation":{"ieee":"A. Jungmann, B. Kleinjohann, and W. Richert, “A Fast Hierarchical Learning Approach for Autonomous Robots,” in <i>Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems</i>, Springer Basel, 2011, pp. 545–558.","chicago":"Jungmann, Alexander, Bernd Kleinjohann, and Willi Richert. “A Fast Hierarchical Learning Approach for Autonomous Robots.” In <i>Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems</i>, 545–58. Springer Basel, 2011. <a href=\"https://doi.org/10.1007/978-3-0348-0130-0_36\">https://doi.org/10.1007/978-3-0348-0130-0_36</a>.","ama":"Jungmann A, Kleinjohann B, Richert W. A Fast Hierarchical Learning Approach for Autonomous Robots. In: <i>Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems</i>. Springer Basel; 2011:545-558. doi:<a href=\"https://doi.org/10.1007/978-3-0348-0130-0_36\">10.1007/978-3-0348-0130-0_36</a>","apa":"Jungmann, A., Kleinjohann, B., &#38; Richert, W. (2011). A Fast Hierarchical Learning Approach for Autonomous Robots. In <i>Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems</i> (pp. 545–558). Springer Basel. <a href=\"https://doi.org/10.1007/978-3-0348-0130-0_36\">https://doi.org/10.1007/978-3-0348-0130-0_36</a>","short":"A. Jungmann, B. Kleinjohann, W. Richert, in: Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, Springer Basel, 2011, pp. 545–558.","bibtex":"@inbook{Jungmann_Kleinjohann_Richert_2011, title={A Fast Hierarchical Learning Approach for Autonomous Robots}, DOI={<a href=\"https://doi.org/10.1007/978-3-0348-0130-0_36\">10.1007/978-3-0348-0130-0_36</a>}, booktitle={Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems}, publisher={Springer Basel}, author={Jungmann, Alexander and Kleinjohann, Bernd and Richert, Willi}, year={2011}, pages={545–558} }","mla":"Jungmann, Alexander, et al. “A Fast Hierarchical Learning Approach for Autonomous Robots.” <i>Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems</i>, Springer Basel, 2011, pp. 545–58, doi:<a href=\"https://doi.org/10.1007/978-3-0348-0130-0_36\">10.1007/978-3-0348-0130-0_36</a>."},"page":"545-558","year":"2011","user_id":"21240","department":[{"_id":"672"}],"_id":"26805","language":[{"iso":"eng"}],"type":"book_chapter","publication":"Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems","status":"public","abstract":[{"text":"In this article we present an approach that enables robots to learn how to act and react robustly in continuous and noisy environments while not loosing track of the overall feasibility, i.e. minimising the execution time in order to keep up continuous learning. We do so by combining reinforcement learning mechanisms with techniques belonging to the field of multivariate statistics on three different levels of abstraction: the motivation layer and the two simultaneously learning strategy and skill layers. The motivation layer allows for modelling occasionally contradicting goals in terms of drives in a very intuitive fashion. A drive represents one single goal, that a robot wants to be satisfied, like charging its battery, when it is nearly exhausted, or transporting an object to a target position. The strategy layer encapsulates the main reinforcement learning algorithm based on an abstracted and dynamically adjusted Markovian state space. By means of state abstraction, we minimise the overall state space size in order to ensure feasibility of the learning process in a dynamically changing environment. The skill layer finally realises a generalised learning method for learning reactive low-level behaviours, that enable a robot to interact with the environment.","lang":"eng"}]},{"status":"public","abstract":[{"text":"The paradigm of imitation provides a powerful means for increasing the overall learning speed in a group of robots. While separately exploring the environment in order to learn how to behave with respect to a pre-defined goal, a robot gathers experience based on its own actions and interactions with the surroundings, respectively. By accumulating additional experience via observing the behaviour of other robots, the learning process can be significantly improved in terms of speed and quality. Within this article we present an approach, that enables robots in a multi-robot society to imitate any other available robot without imposing unnecessary restrictions regarding the robots’ design. Therefore, it benefits not only from its own actions, but also from actions that an observed robot performs. In order to realise the imitation paradigm, we solve three main challenges, namely enabling a robot to decide whom and when to imitate, to interpret and thereby understand the behaviour of an observed robot, and to integrate the experience gathered by observation into its individual learning process.","lang":"eng"}],"type":"book_chapter","publication":"Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, Band 1 ","language":[{"iso":"eng"}],"user_id":"21240","department":[{"_id":"672"}],"_id":"26810","citation":{"ieee":"A. Jungmann, B. Kleinjohann, and W. Richert, “Increasing Learning Speed by Imitation in Multi-robot Societies,” in <i>Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, Band 1 </i>, Springer Basel, 2011, pp. 295–307.","chicago":"Jungmann, Alexander, Bernd Kleinjohann, and Willi Richert. “Increasing Learning Speed by Imitation in Multi-Robot Societies.” In <i>Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, Band 1 </i>, 295–307. Springer Basel, 2011. <a href=\"https://doi.org/10.1007/978-3-0348-0130-0_19\">https://doi.org/10.1007/978-3-0348-0130-0_19</a>.","ama":"Jungmann A, Kleinjohann B, Richert W. Increasing Learning Speed by Imitation in Multi-robot Societies. In: <i>Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, Band 1 </i>. Springer Basel; 2011:295-307. doi:<a href=\"https://doi.org/10.1007/978-3-0348-0130-0_19\">10.1007/978-3-0348-0130-0_19</a>","apa":"Jungmann, A., Kleinjohann, B., &#38; Richert, W. (2011). Increasing Learning Speed by Imitation in Multi-robot Societies. In <i>Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, Band 1 </i> (pp. 295–307). Springer Basel. <a href=\"https://doi.org/10.1007/978-3-0348-0130-0_19\">https://doi.org/10.1007/978-3-0348-0130-0_19</a>","bibtex":"@inbook{Jungmann_Kleinjohann_Richert_2011, title={Increasing Learning Speed by Imitation in Multi-robot Societies}, DOI={<a href=\"https://doi.org/10.1007/978-3-0348-0130-0_19\">10.1007/978-3-0348-0130-0_19</a>}, booktitle={Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, Band 1 }, publisher={Springer Basel}, author={Jungmann, Alexander and Kleinjohann, Bernd and Richert, Willi}, year={2011}, pages={295–307} }","mla":"Jungmann, Alexander, et al. “Increasing Learning Speed by Imitation in Multi-Robot Societies.” <i>Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, Band 1 </i>, Springer Basel, 2011, pp. 295–307, doi:<a href=\"https://doi.org/10.1007/978-3-0348-0130-0_19\">10.1007/978-3-0348-0130-0_19</a>.","short":"A. Jungmann, B. Kleinjohann, W. Richert, in: Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, Band 1 , Springer Basel, 2011, pp. 295–307."},"page":"295-307","year":"2011","doi":"10.1007/978-3-0348-0130-0_19","title":"Increasing Learning Speed by Imitation in Multi-robot Societies","author":[{"first_name":"Alexander","last_name":"Jungmann","full_name":"Jungmann, Alexander"},{"first_name":"Bernd","last_name":"Kleinjohann","full_name":"Kleinjohann, Bernd"},{"last_name":"Richert","full_name":"Richert, Willi","first_name":"Willi"}],"date_created":"2021-10-25T11:05:02Z","date_updated":"2022-01-06T06:57:28Z","publisher":"Springer Basel"}]