[{"page":"1–8","citation":{"apa":"Bossek, J., &#38; Grimme, C. (2017). An Extended Mutation-Based Priority-Rule Integration Concept for Multi-Objective Machine Scheduling. <i>2017 IEEE Symposium Series on Computational Intelligence (SSCI)</i>, 1–8. <a href=\"https://doi.org/10.1109/SSCI.2017.8285224\">https://doi.org/10.1109/SSCI.2017.8285224</a>","short":"J. Bossek, C. Grimme, in: 2017 IEEE Symposium Series on Computational Intelligence (SSCI), 2017, pp. 1–8.","bibtex":"@inproceedings{Bossek_Grimme_2017, title={An Extended Mutation-Based Priority-Rule Integration Concept for Multi-Objective Machine Scheduling}, DOI={<a href=\"https://doi.org/10.1109/SSCI.2017.8285224\">10.1109/SSCI.2017.8285224</a>}, booktitle={2017 IEEE Symposium Series on Computational Intelligence (SSCI)}, author={Bossek, Jakob and Grimme, Christian}, year={2017}, pages={1–8} }","mla":"Bossek, Jakob, and Christian Grimme. “An Extended Mutation-Based Priority-Rule Integration Concept for Multi-Objective Machine Scheduling.” <i>2017 IEEE Symposium Series on Computational Intelligence (SSCI)</i>, 2017, pp. 1–8, doi:<a href=\"https://doi.org/10.1109/SSCI.2017.8285224\">10.1109/SSCI.2017.8285224</a>.","chicago":"Bossek, Jakob, and Christian Grimme. “An Extended Mutation-Based Priority-Rule Integration Concept for Multi-Objective Machine Scheduling.” In <i>2017 IEEE Symposium Series on Computational Intelligence (SSCI)</i>, 1–8, 2017. <a href=\"https://doi.org/10.1109/SSCI.2017.8285224\">https://doi.org/10.1109/SSCI.2017.8285224</a>.","ieee":"J. Bossek and C. Grimme, “An Extended Mutation-Based Priority-Rule Integration Concept for Multi-Objective Machine Scheduling,” in <i>2017 IEEE Symposium Series on Computational Intelligence (SSCI)</i>, 2017, pp. 1–8, doi: <a href=\"https://doi.org/10.1109/SSCI.2017.8285224\">10.1109/SSCI.2017.8285224</a>.","ama":"Bossek J, Grimme C. An Extended Mutation-Based Priority-Rule Integration Concept for Multi-Objective Machine Scheduling. In: <i>2017 IEEE Symposium Series on Computational Intelligence (SSCI)</i>. ; 2017:1–8. doi:<a href=\"https://doi.org/10.1109/SSCI.2017.8285224\">10.1109/SSCI.2017.8285224</a>"},"year":"2017","publication_status":"published","doi":"10.1109/SSCI.2017.8285224","title":"An Extended Mutation-Based Priority-Rule Integration Concept for Multi-Objective Machine Scheduling","author":[{"first_name":"Jakob","id":"102979","full_name":"Bossek, Jakob","orcid":"0000-0002-4121-4668","last_name":"Bossek"},{"full_name":"Grimme, Christian","last_name":"Grimme","first_name":"Christian"}],"date_created":"2023-11-14T15:58:54Z","date_updated":"2023-12-13T10:44:36Z","status":"public","abstract":[{"lang":"eng","text":"There exist many optimal or heuristic priority rules for machine scheduling problems, which can easily be integrated into single-objective evolutionary algorithms via mutation operators. However, in the multi-objective case, simultaneously applying different priorities for different objectives may cause severe disruptions in the genome and may lead to inferior solutions. In this paper, we combine an existing mutation operator concept with new insights from detailed observation of the structure of solutions for multi-objective machine scheduling problems. This allows the comprehensive integration of priority rules to produce better Pareto-front approximations. We evaluate the extended operator concept compared to standard swap mutation and the stand-alone components of our hybrid scheme, which performs best in all evaluated cases."}],"publication":"2017 IEEE Symposium Series on Computational Intelligence (SSCI)","type":"conference","extern":"1","language":[{"iso":"eng"}],"keyword":["Evolutionary computation","Processor scheduling","Schedules","Scheduling","Sociology","Standards","Statistics"],"department":[{"_id":"819"}],"user_id":"102979","_id":"48856"},{"publisher":"IEEE","date_updated":"2023-01-17T09:15:18Z","date_created":"2023-01-17T09:15:10Z","author":[{"first_name":"Marcio F. S.","full_name":"Oliveira, Marcio F. S.","last_name":"Oliveira"},{"last_name":"Zabel","full_name":"Zabel, Henning","first_name":"Henning"},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"}],"title":"Assertion-Based Verification of RTOS Properties","conference":{"location":"Dresden","name":"2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)"},"doi":"10.1109/DATE.2010.5457130","place":"Dresden","year":"2010","citation":{"ama":"Oliveira MFS, Zabel H, Müller W. Assertion-Based Verification of RTOS Properties. In: <i>Proceedings of DATE’10</i>. IEEE; 2010. doi:<a href=\"https://doi.org/10.1109/DATE.2010.5457130\">10.1109/DATE.2010.5457130</a>","ieee":"M. F. S. Oliveira, H. Zabel, and W. Müller, “Assertion-Based Verification of RTOS Properties,” presented at the 2010 Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden, 2010, doi: <a href=\"https://doi.org/10.1109/DATE.2010.5457130\">10.1109/DATE.2010.5457130</a>.","chicago":"Oliveira, Marcio F. S., Henning Zabel, and Wolfgang Müller. “Assertion-Based Verification of RTOS Properties.” In <i>Proceedings of DATE’10</i>. Dresden: IEEE, 2010. <a href=\"https://doi.org/10.1109/DATE.2010.5457130\">https://doi.org/10.1109/DATE.2010.5457130</a>.","mla":"Oliveira, Marcio F. S., et al. “Assertion-Based Verification of RTOS Properties.” <i>Proceedings of DATE’10</i>, IEEE, 2010, doi:<a href=\"https://doi.org/10.1109/DATE.2010.5457130\">10.1109/DATE.2010.5457130</a>.","bibtex":"@inproceedings{Oliveira_Zabel_Müller_2010, place={Dresden}, title={Assertion-Based Verification of RTOS Properties}, DOI={<a href=\"https://doi.org/10.1109/DATE.2010.5457130\">10.1109/DATE.2010.5457130</a>}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Oliveira, Marcio F. S. and Zabel, Henning and Müller, Wolfgang}, year={2010} }","short":"M.F.S. Oliveira, H. Zabel, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.","apa":"Oliveira, M. F. S., Zabel, H., &#38; Müller, W. (2010). Assertion-Based Verification of RTOS Properties. <i>Proceedings of DATE’10</i>. 2010 Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden. <a href=\"https://doi.org/10.1109/DATE.2010.5457130\">https://doi.org/10.1109/DATE.2010.5457130</a>"},"_id":"37009","user_id":"5786","department":[{"_id":"672"}],"keyword":["Operating systems","Real time systems","Timing","Hardware","Analytical models","Embedded software","Software systems","Processor scheduling","Software performance","Performance analysis"],"language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of DATE’10","abstract":[{"lang":"eng","text":"Today, mobile and embedded real time systems have to cope with the migration and allocation of multiple software tasks running on top of a real time operating system (RTOS) residing on one or several processors. For scaling of each task set and processor configuration, instruction set simulation and worst case timing analysis are typically applied. This paper presents a complementary approach for the verification of RTOS properties based on an abstract RTOS-Model in SystemC. We apply IEEE P1850 PSL for which we present an approach and first experiences for the assertion-based verification of RTOS properties."}],"status":"public"},{"keyword":["Computer integrated manufacturing","Job shop scheduling","Processor scheduling","Computer languages","Control system synthesis","Computer aided manufacturing","Sorting","Assembly","Costs","Control systems"],"language":[{"iso":"eng"}],"_id":"39526","department":[{"_id":"672"}],"user_id":"5786","abstract":[{"lang":"eng","text":"The main goal of the article is to evaluate the suitability of visual programming languages, i.e., Pictorial Janus (K. Kahn and V. Saraswat, 1990), for the modeling of complex systems and their control strategies. These systems can be seen as networks of communicating objects. Objects select strategies for suitable actions based on incoming messages. Our field of investigation is in computer integrated manufacturing considering the example of a car manufacturing cell. This color sorting assembly buffer (CSAB) schedules jobs in queues. The jobs represent car bodies scheduled in feeder lines for the enameling. Feeder lines collect raw bodies to blocks. Blocks are bodies which are to be enameled by the same color. This organization decreases the cost of expensive change-over-times when changing colors at the enamelling. Blocks of bodies are dislocated from the queue and enameled successively. Contradictory system goals, such as minimizing color changes and preserving the sequence of incoming jobs, have to be regarded by appropriate control strategies. Due to the complexity of this (NP complete) problem and to real time requirements for online control there are no optimal strategies on hand. Consequently, suitable heuristics have to be developed. Often they are designed applying a trial-and-error method. A modeling framework has to support the rapid prototyping of these systems as well as an expressive end user oriented representation. Both are essential requirements since end users need other visualization techniques than experienced designers due to their different knowledge and interests."}],"status":"public","publication":"Proceedings of the 1996 IEEE Symposium on Visual Languages","type":"conference","title":"Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing","doi":"10.1109/VL.1996.545302","date_updated":"2023-01-24T11:59:01Z","author":[{"full_name":"Geiger, Christian","last_name":"Geiger","first_name":"Christian"},{"last_name":"Hunstock","full_name":"Hunstock, R.","first_name":"R."},{"first_name":"Georg","last_name":"Lehrenfeld","full_name":"Lehrenfeld, Georg"},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"},{"first_name":"J. ","full_name":"Quintanilla, J. ","last_name":"Quintanilla"},{"first_name":"C. ","last_name":"Tahedl","full_name":"Tahedl, C. "},{"first_name":"A.","last_name":"Weber","full_name":"Weber, A."}],"date_created":"2023-01-24T11:58:56Z","place":"Boulder, CO, USA","year":"1996","citation":{"ieee":"C. Geiger <i>et al.</i>, “Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing,” 1996, doi: <a href=\"https://doi.org/10.1109/VL.1996.545302\">10.1109/VL.1996.545302</a>.","chicago":"Geiger, Christian, R. Hunstock, Georg Lehrenfeld, Wolfgang Müller, J.  Quintanilla, C.  Tahedl, and A. Weber. “Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing.” In <i>Proceedings of the 1996 IEEE Symposium on Visual Languages</i>. Boulder, CO, USA, 1996. <a href=\"https://doi.org/10.1109/VL.1996.545302\">https://doi.org/10.1109/VL.1996.545302</a>.","ama":"Geiger C, Hunstock R, Lehrenfeld G, et al. Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing. In: <i>Proceedings of the 1996 IEEE Symposium on Visual Languages</i>. ; 1996. doi:<a href=\"https://doi.org/10.1109/VL.1996.545302\">10.1109/VL.1996.545302</a>","apa":"Geiger, C., Hunstock, R., Lehrenfeld, G., Müller, W., Quintanilla, J., Tahedl, C., &#38; Weber, A. (1996). Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing. <i>Proceedings of the 1996 IEEE Symposium on Visual Languages</i>. <a href=\"https://doi.org/10.1109/VL.1996.545302\">https://doi.org/10.1109/VL.1996.545302</a>","bibtex":"@inproceedings{Geiger_Hunstock_Lehrenfeld_Müller_Quintanilla_Tahedl_Weber_1996, place={Boulder, CO, USA}, title={Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing}, DOI={<a href=\"https://doi.org/10.1109/VL.1996.545302\">10.1109/VL.1996.545302</a>}, booktitle={Proceedings of the 1996 IEEE Symposium on Visual Languages}, author={Geiger, Christian and Hunstock, R. and Lehrenfeld, Georg and Müller, Wolfgang and Quintanilla, J.  and Tahedl, C.  and Weber, A.}, year={1996} }","short":"C. Geiger, R. Hunstock, G. Lehrenfeld, W. Müller, J. Quintanilla, C. Tahedl, A. Weber, in: Proceedings of the 1996 IEEE Symposium on Visual Languages, Boulder, CO, USA, 1996.","mla":"Geiger, Christian, et al. “Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing.” <i>Proceedings of the 1996 IEEE Symposium on Visual Languages</i>, 1996, doi:<a href=\"https://doi.org/10.1109/VL.1996.545302\">10.1109/VL.1996.545302</a>."},"publication_identifier":{"isbn":["0-8186-7508-X"]}}]