{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:26:05Z","timestamp":1759332365609,"version":"3.40.3"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031197611"},{"type":"electronic","value":"9783031197628"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-19762-8_5","type":"book-chapter","created":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T08:03:09Z","timestamp":1666166589000},"page":"54-70","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Towards Reactive Planning with\u00a0Digital Twins and\u00a0Model-Driven Optimization"],"prefix":"10.1007","author":[{"given":"Martin","family":"Eisenberg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Lehner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Radek","family":"Sindelar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Wimmer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,10,17]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Abdeen, H., et al.: Multi-objective optimization in rule-based design space exploration. In: ASE (2014)","DOI":"10.1145\/2642937.2643005"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Ambite, J.L., Knoblock, C.A.: Planning by rewriting. In: JAIR (2001)","DOI":"10.1613\/jair.754"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Arcaini, P., Riccobene, E., Scandurra, P.: Modeling and analyzing MAPE-K feedback loops for self-adaptation. In: SEAMS (2015)","DOI":"10.1109\/SEAMS.2015.10"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Arcuri, A., Briand, L.C.: A practical guide for using statistical tests to assess randomized algorithms in software engineering. In: ICSE (2011)","DOI":"10.1145\/1985793.1985795"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: Advanced concepts and tools for in-place EMF model transformations. In: MODELS (2010)","DOI":"10.1007\/978-3-642-16145-2_9"},{"key":"5_CR6","unstructured":"Beetz, M., McDermott, D.V.: Improving robot plans during their execution. In: AIPS (1994)"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Bencomo, N., G\u00f6tz, S., Song, H.: Models@run.time: a guided tour of the state of the art and research challenges. In: SoSyM (2019)","DOI":"10.1007\/s10270-018-00712-x"},{"key":"5_CR8","unstructured":"Bill, R., Fleck, M., Troya, J., Mayerhofer, T., Wimmer, M.: A local and global tour on MOMoT. In: SoSyM (2019)"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Bolender, T., B\u00fcrvenich, G., Dalibor, M., Rumpe, B., Wortmann, A.: Self-adaptive manufacturing with digital twins. In: SEAMS (2021)","DOI":"10.1109\/SEAMS51251.2021.00029"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Brambilla, M., Cabot, J., Wimmer, M.: Model-Driven Software Engineering in Practice, 2nd edn. Morgan & Claypool Publishers, San Rafael (2017)","DOI":"10.1007\/978-3-031-02549-5"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Burdusel, A., Zschaler, S.: Towards scalable search-based model engineering with MDEOptimiser scale. In: MODELS-C (2019)","DOI":"10.1109\/MODELS-C.2019.00032"},{"key":"5_CR12","unstructured":"CDL-MINT: ReactiveMOMoT (2022). https:\/\/github.com\/cdl-mint\/momot-reactive"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Deb, K., Agrawal, S., Pratap, A., Meyarivan, T.: A fast and elitist multiobjective genetic algorithm: NSGA-II. In: TEC (2002)","DOI":"10.1109\/4235.996017"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Esterle, L., Porter, B., Woodcock, J.: Verification and uncertainties in self-integrating system. In: ACSOS-C (2021)","DOI":"10.1109\/ACSOS-C52956.2021.00050"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Feng, H., Gomes, C., Thule, C., Lausdahl, K., Iosifidis, A., Larsen, P.G.: Introduction to digital twin engineering. In: ANNSIM (2021)","DOI":"10.23919\/ANNSIM52504.2021.9552135"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Fitzgerald, J.S., Larsen, P.G., Pierce, K.G.: Multi-modelling and co-simulation in the engineering of cyber-physical systems: towards the digital twin. In: From Software Engineering to Formal Methods and Tools, and Back (2019)","DOI":"10.1007\/978-3-030-30985-5_4"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Ghallab, M., Nau, D., Traverso, P.: Automated Planning: Theory and Practice. Elsevier, Amsterdam (2004)","DOI":"10.1016\/B978-155860856-6\/50021-1"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Gil, R.: Automated planning for self-adaptive systems. In: ICSE (2015)","DOI":"10.1109\/ICSE.2015.273"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: a survey. In: CSUR (2018)","DOI":"10.1145\/3179993"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Grech, A., Main, J.: Case-base injection schemes to case adaptation using genetic algorithms. In: ECCBR (2004)","DOI":"10.1007\/978-3-540-28631-8_16"},{"key":"5_CR21","doi-asserted-by":"publisher","unstructured":"Heckel, R., Taentzer, G.: Graph Transformation for Software Engineers. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-43916-3","DOI":"10.1007\/978-3-030-43916-3"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"John, S., et al.: Searching for optimal models: comparing two encoding approaches. In: JOT (2019)","DOI":"10.5381\/jot.2019.18.3.a6"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Kinneer, C., Garlan, D., Goues, C.L.: Information reuse and stochastic search: managing uncertainty in self* systems. In: TAAS (2021)","DOI":"10.1145\/3440119"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Kritzinger, W., Karner, M., Traar, G., Henjes, J., Sihn, W.: Digital twin in manufacturing: a categorical literature review and classification. In: IFAC (2018)","DOI":"10.1016\/j.ifacol.2018.08.474"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Lehner, D., et al.: Digital twin platforms: requirements, capabilities, and future prospects. IEEE Softw. 39(2), 53\u201361 (2022)","DOI":"10.1109\/MS.2021.3133795"},{"key":"5_CR26","unstructured":"Lesh, N., Martin, N.G., Allen, J.F.: Improving big plans. In: AAAI\/IAAI (1998)"},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"Louis, S.J., McDonnell, J.R.: Learning with case-injected genetic algorithms. In: TEC (2004)","DOI":"10.1109\/TEVC.2004.823466"},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"Malakuti, S., Schmitt, J., Platenius-Mohr, M., Gr\u00fcner, S., Gitzel, R., Bihani, P.: A four-layer architecture pattern for constructing and managing digital twins. In: ECSA (2019)","DOI":"10.1007\/978-3-030-29983-5_16"},{"issue":"1","key":"5_CR29","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1214\/aoms\/1177730491","volume":"18","author":"HB Mann","year":"1947","unstructured":"Mann, H.B., Whitney, D.R.: On a test of whether one of two random variables is stochastically larger than the other. Ann. Stat. 18(1), 50\u201360 (1947)","journal-title":"Ann. Stat."},{"key":"5_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/978-3-030-91384-7_8","volume-title":"Model Checking, Synthesis, and Learning","author":"T Margaria","year":"2021","unstructured":"Margaria, T., Schieweck, A.: Towards engineering digital twins by\u00a0active behaviour mining. In: Olderog, E.-R., Steffen, B., Yi, W. (eds.) Model Checking, Synthesis, and Learning. LNCS, vol. 13030, pp. 138\u2013163. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-91384-7_8"},{"key":"5_CR31","doi-asserted-by":"crossref","unstructured":"Mitchell, M.: An Introduction to Genetic Algorithms. MIT Press, Cambridge (1998)","DOI":"10.7551\/mitpress\/3927.001.0001"},{"key":"5_CR32","doi-asserted-by":"crossref","unstructured":"Pfeiffer, J., Lehner, D., Wortmann, A., Wimmer, M.: Modeling capabilities of digital twin platforms - old wine in new bottles? In: ECMFA (2022)","DOI":"10.5381\/jot.2022.21.3.a10"},{"key":"5_CR33","doi-asserted-by":"crossref","unstructured":"Qi, Q., Tao, F., Hu, T., Anwer, N., Liu, A., Wei, Y., Wang, L., Nee, A.: Enabling technologies and tools for digital twin. J. Manuf. Syst. 58, 3\u201321 (2021)","DOI":"10.1016\/j.jmsy.2019.10.001"},{"key":"5_CR34","doi-asserted-by":"crossref","unstructured":"Ramirez-Atencia, C., Bello-Orgaz, G., R-Moreno, M.D., Camacho, D.: MOGAMR: a multi-objective genetic algorithm for real-time mission replanning. In: SSCI (2016)","DOI":"10.1109\/SSCI.2016.7850235"},{"key":"5_CR35","doi-asserted-by":"crossref","unstructured":"Runeson, P., H\u00f6st, M.: Guidelines for conducting and reporting case study research in software engineering. In: EMSE (2009)","DOI":"10.1007\/s10664-008-9102-8"},{"key":"5_CR36","doi-asserted-by":"crossref","unstructured":"Schluse, M., Priggemeyer, M., Atorf, L., Rossmann, J.: Experimentable digital twins - streamlining simulation-based systems engineering for industry 4.0. In: TII (2018)","DOI":"10.1109\/TII.2018.2804917"},{"key":"5_CR37","unstructured":"Talkhestani, B.A., et al.: An architecture of an intelligent digital twin in a cyber-physical production system. at-Automatisierungstechnik (2019)"},{"key":"5_CR38","doi-asserted-by":"crossref","unstructured":"Tao, F., Zhang, H., Liu, A., Nee, A.Y.C.: Digital twin in industry: state-of-the-art. In: TII (2019)","DOI":"10.1016\/B978-0-12-817630-6.00009-6"},{"key":"5_CR39","unstructured":"Veloso, M.M.: Flexible strategy learning: analogical replay of problem solving episodes. In: AAAI (1994)"},{"key":"5_CR40","doi-asserted-by":"crossref","unstructured":"Wally, B., et al.: Leveraging iterative plan refinement for reactive smart manufacturing systems. In: TASE (2021)","DOI":"10.1109\/TASE.2020.3018402"},{"key":"5_CR41","doi-asserted-by":"crossref","unstructured":"Weyns, D., Iftikhar, M.U., de la Iglesia, D.G., Ahmad, T.: A survey of formal methods in self-adaptive systems. In: C3S2E (2012)","DOI":"10.1145\/2347583.2347592"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Practice"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-19762-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T23:12:10Z","timestamp":1666221130000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-19762-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031197611","9783031197628"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-19762-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"17 October 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rhodes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 October 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 October 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}