{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T20:46:34Z","timestamp":1760820394260,"version":"build-2065373602"},"publisher-location":"Cham","reference-count":87,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031997167","type":"print"},{"value":"9783031997174","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T00:00:00Z","timestamp":1760832000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T00:00:00Z","timestamp":1760832000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-031-99717-4_11","type":"book-chapter","created":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T19:57:35Z","timestamp":1760817455000},"page":"199-217","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Reversible Computation vs. Runtime Adaptation in\u00a0Industrial IoT Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2448-5394","authenticated-orcid":false,"given":"Duncan Paul","family":"Attard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3111-1251","authenticated-orcid":false,"given":"Keith","family":"Bugeja","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3829-7391","authenticated-orcid":false,"given":"Adrian","family":"Francalanza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-7925-331X","authenticated-orcid":false,"given":"Marietta","family":"Galea","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9047-061X","authenticated-orcid":false,"given":"Gerard","family":"Tabone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-2431-6088","authenticated-orcid":false,"given":"Gianluca","family":"Zahra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,10,19]]},"reference":[{"key":"11_CR1","unstructured":"ISO\/TC 209. ISO 14644-1: Cleanrooms and Associated Controlled Environments. Technical report, Iinternational Organization for Standardization (2025)"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Aceto, L., Achilleos, A., Attard, D.P., Exibard, L., Francalanza, A., Ing\u00f3lfsd\u00f3ttir, A.: A monitoring tool for linear-time $$\\mu $$hml. SCP, 232, 103031 (2024)","DOI":"10.1016\/j.scico.2023.103031"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Aceto, L., Achilleos, A., Francalanza, A., Ing\u00f3lfsd\u00f3ttir, A., Lehtinen, K.: Adventures in monitorability: from branching to linear time and back again. PACMPL, 3, 52:1\u201352:29 (2019)","DOI":"10.1145\/3290365"},{"key":"11_CR4","first-page":"335","volume":"20","author":"L Aceto","year":"2021","unstructured":"Aceto, L., Achilleos, A., Francalanza, A., Ing\u00f3lfsd\u00f3ttir, A., Lehtinen, K.: An operational guide to monitorability with applications to regular properties. SSM 20, 335\u2013361 (2021)","journal-title":"SSM"},{"key":"11_CR5","unstructured":"Aceto, L., Attard, D.P., Francalanza, A., Ing\u00f3lfsd\u00f3ttir, A.: Runtime instrumentation for reactive components. In: ECOOP, LIPIcs, vol. 313, pp. 2:1\u20132:33. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2024)"},{"key":"11_CR6","unstructured":"Aceto, L., Cassar, I., Francalanza, A., Ing\u00f3lfsd\u00f3ttir, A.: On runtime enforcement via suppressions. In: CONCUR. LIPIcs, vol. 118, pp. 34:1\u201334:17 (2018)"},{"issue":"4","key":"11_CR7","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s00236-023-00441-9","volume":"60","author":"L Aceto","year":"2023","unstructured":"Aceto, L., Cassar, I., Francalanza, A., Ing\u00f3lfsd\u00f3ttir, A.: On first-order runtime enforcement of branching-time properties. Acta Informatica 60(4), 385\u2013451 (2023)","journal-title":"Acta Informatica"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Adlin, N., Nylund, H., Lanz, M., Lehtonen, T., Juuti, T.: Lean Indicators for small batch size manufacturers in high cost countries. Procedia Manuf. 51, 1371\u20131378 (2020). 30th International Conference on Flexible Automation and Intelligent Manufacturing (FAIM2021)","DOI":"10.1016\/j.promfg.2020.10.191"},{"key":"11_CR9","volume":"110","author":"SF Ahmed","year":"2023","unstructured":"Ahmed, S.F., et al.: Industrial internet of things enabled technologies, challenges, and future directions. CEE 110, 108847 (2023)","journal-title":"CEE"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Aman, B., et al.: Foundations of reversible computation. In: Reversible Computation: Extending Horizons of Computing: Selected Results of the COST Action IC1405, pp. 1\u201340 (2020)","DOI":"10.1007\/978-3-030-47361-7_1"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Anandan, R., Gopalakrishnan, S., Pal, S., Zaman, N.: Intelligent Analytics for Predictive Maintenance. Wiley, Industrial Internet of Things (IIoT) (2022)","DOI":"10.1002\/9781119769026"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-030-78089-0_14","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"DP Attard","year":"2021","unstructured":"Attard, D.P., Aceto, L., Achilleos, A., Francalanza, A., Ing\u00f3lfsd\u00f3ttir, A., Lehtinen, K.: Better late than never or: verifying asynchronous components at runtime. In: Peters, K., Willemse, T.A.C. (eds.) FORTE 2021. LNCS, vol. 12719, pp. 207\u2013225. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-78089-0_14"},{"key":"11_CR13","unstructured":"Attard, D.P., Cassar, I., Francalanza, A., Aceto, L., Ing\u00f3lfsd\u00f3ttir, A.: Introduction to runtime verification. In: Behavioural Types: from Theory to Tools, Automation, Control and Robotics, pp. 49\u201376. River (2017)"},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/978-3-319-46982-9_31","volume-title":"Runtime Verification","author":"DP Attard","year":"2016","unstructured":"Attard, D.P., Francalanza, A.: A monitoring tool for a branching-time logic. In: Falcone, Y., S\u00e1nchez, C. (eds.) RV 2016. LNCS, vol. 10012, pp. 473\u2013481. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-46982-9_31"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-319-66197-1_14","volume-title":"Software Engineering and Formal Methods","author":"DP Attard","year":"2017","unstructured":"Attard, D.P., Francalanza, A.: Trace partitioning and local monitoring for\u00a0asynchronous components. In: Cimatti, A., Sirjani, M. (eds.) SEFM 2017. LNCS, vol. 10469, pp. 219\u2013235. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66197-1_14"},{"key":"11_CR16","unstructured":"Balakrishnan, A., et al.: Safety assurance for autonomous systems with multiple sensor modalities. In: MEMOCODE, pp. 106\u2013111 (2024)"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-75632-5_1","volume-title":"Lectures on Runtime Verification","author":"E Bartocci","year":"2018","unstructured":"Bartocci, E., Falcone, Y., Francalanza, A., Reger, G.: Introduction to runtime verification. In: Bartocci, E., Falcone, Y. (eds.) Lectures on Runtime Verification. LNCS, vol. 10457, pp. 1\u201333. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-75632-5_1"},{"issue":"5","key":"11_CR18","first-page":"679","volume":"15","author":"CM Baydar","year":"2004","unstructured":"Baydar, C.M., Saitou, K.: Off-line error prediction, diagnosis and recovery using virtual assembly systems. JIM 15(5), 679\u2013692 (2004)","journal-title":"JIM"},{"issue":"6","key":"11_CR19","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1147\/rd.176.0525","volume":"17","author":"CH Bennett","year":"1973","unstructured":"Bennett, C.H.: Logical reversibility of computation. IBM J. Res. Dev. 17(6), 525\u2013532 (1973)","journal-title":"IBM J. Res. Dev."},{"key":"11_CR20","unstructured":"Berndt, M., Krummacker, D., Fischer, C., Schotten, H.D.: Centralized robotic fleet coordination and control. In: Mobile Communication - Technologies and Applications; 25th ITG-Symposium, pp. 1\u20138 (2021)"},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"Bocchi, L., Lanese, I., Mezzina, C.A., Yuen, S.: revTPL: the reversible temporal process language. LMCS, 20(1) (2024)","DOI":"10.46298\/lmcs-20(1:11)2024"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Bruni, R., Melgratti, H., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: POPL, pp. 209\u2013220. ACM (2005)","DOI":"10.1145\/1040305.1040323"},{"key":"11_CR23","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-319-11900-7_8","volume-title":"Simulation, Modeling, and Programming for Autonomous Robots","author":"JP Buch","year":"2014","unstructured":"Buch, J.P., et al.: Applying simulation and a domain-specific language for an adaptive action library. In: Brugali, D., Broenink, J.F., Kroeger, T., MacDonald, B.A. (eds.) SIMPAR 2014. LNCS (LNAI), vol. 8810, pp. 86\u201397. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11900-7_8"},{"key":"11_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-319-23820-3_3","volume-title":"Runtime Verification","author":"I Cassar","year":"2015","unstructured":"Cassar, I., Francalanza, A.: Runtime adaptation for actor systems. In: Bartocci, E., Majumdar, R. (eds.) RV 2015. LNCS, vol. 9333, pp. 38\u201354. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23820-3_3"},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"Cassar, I., Francalanza, A., Aceto, L., Ing\u00f3lfsd\u00f3ttir, A.: A survey of runtime monitoring instrumentation techniques. In: PrePostiFM, EPTCS, vol. 254, pp. 15\u201328 (2017)","DOI":"10.4204\/EPTCS.254.2"},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"Cassar, I., Francalanza, A., Mezzina, C.A., Tuosto, E.: Reliability and fault-tolerance by choreographic design. In: PrePostiFM, EPTCS, vol. 254, pp. 69\u201380 (2017)","DOI":"10.4204\/EPTCS.254.6"},{"key":"11_CR27","doi-asserted-by":"crossref","unstructured":"Chen, H., Zhang, G., Zhang, H., Fuhlbrigge, T.A.: Integrated robotic system for high precision assembly in a semi-structured environment. Assembly Autom. 27(3) (2007)","DOI":"10.1108\/aa.2007.03327caa.002"},{"key":"11_CR28","doi-asserted-by":"crossref","unstructured":"Christensen, H., et al.: A Roadmap for US Robotics - From Internet to Robotics, vol. 2020. Now Publishers Inc, Edition (2021)","DOI":"10.1561\/9781680838596"},{"key":"11_CR29","unstructured":"European Commission, Directorate-General for Research, Innovation, M.\u00a0Breque, L.\u00a0De\u00a0Nul, and A.\u00a0Petridis. Industry 5.0 \u2013 Towards a sustainable, human-centric and resilient European industry. Publications Office of the European Union (2021)"},{"key":"11_CR30","doi-asserted-by":"crossref","unstructured":"Conesa-Mu\u00f1oz, J., Gonzalez-de-Soto, M., Gonz\u00e1lez de\u00a0Santos, P., Ribeiro, R.: Distributed multi-level supervision to effectively monitor the operations of a fleet of autonomous vehicles in agricultural tasks. Sensors, 15(3), 5402\u20135428 (2015)","DOI":"10.3390\/s150305402"},{"key":"11_CR31","doi-asserted-by":"crossref","unstructured":"Danos, V., Krivine, J.: Formal molecular biology done in CCS-R. In: BioConcur@CONCUR, Electronic Notes in Theoretical Computer Science, vol. 180, pp 31\u201349. Elsevier (2003)","DOI":"10.1016\/j.entcs.2004.01.040"},{"key":"11_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/978-3-540-28644-8_19","volume-title":"CONCUR 2004 - Concurrency Theory","author":"V Danos","year":"2004","unstructured":"Danos, V., Krivine, J.: Reversible communicating systems. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol. 3170, pp. 292\u2013307. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-28644-8_19"},{"key":"11_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0039640","volume-title":"Error Detection and Recovery in Robotics","author":"BR Donald","year":"1989","unstructured":"Donald, B.R.: Error Detection and Recovery in Robotics. LNCS, vol. 336. Springer, New York (1989). https:\/\/doi.org\/10.1007\/BFb0039640"},{"key":"11_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-030-79837-6_5","volume-title":"Reversible Computation","author":"G Fabbretti","year":"2021","unstructured":"Fabbretti, G., Lanese, I., Stefani, J.-B.: Causal-consistent debugging of\u00a0distributed erlang programs. In: Yamashita, S., Yokoyama, T. (eds.) RC 2021. LNCS, vol. 12805, pp. 79\u201395. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-79837-6_5"},{"key":"11_CR35","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/s10009-021-00609-z","volume":"23","author":"Y Falcone","year":"2021","unstructured":"Falcone, Y., Krstic, S., Reger, G., Traytel, D.: A taxonomy for classifying runtime verification tools. STTT 23, 255\u2013284 (2021)","journal-title":"STTT"},{"issue":"3","key":"11_CR36","doi-asserted-by":"publisher","first-page":"4584","DOI":"10.1109\/LRA.2021.3068918","volume":"6","author":"P Forte","year":"2021","unstructured":"Forte, P., Mannucci, A., Andreasson, H., Pecora, F.: Online task assignment and coordination in multi-robot fleets. IEEE Robot. Autom. Lett. 6(3), 4584\u20134591 (2021)","journal-title":"IEEE Robot. Autom. Lett."},{"key":"11_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/978-3-319-67531-2_2","volume-title":"Runtime Verification","author":"A Francalanza","year":"2017","unstructured":"Francalanza, A., et al.: A foundation for runtime monitoring. In: Lahiri, S., Reger, G. (eds.) RV 2017. LNCS, vol. 10548, pp. 8\u201329. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-67531-2_2"},{"key":"11_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/978-3-319-93767-0_6","volume-title":"Distributed Applications and Interoperable Systems","author":"A Francalanza","year":"2018","unstructured":"Francalanza, A., Mezzina, C.A., Tuosto, E.: Reversible choreographies via monitoring in erlang. In: Bonomi, S., Rivi\u00e8re, E. (eds.) DAIS 2018. LNCS, vol. 10853, pp. 75\u201392. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-93767-0_6"},{"key":"11_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-030-47361-7_6","volume-title":"Reversible Computation: Extending Horizons of Computing","author":"A Francalanza","year":"2020","unstructured":"Francalanza, A., Mezzina, C.A., Tuosto, E.: Towards choreographic-based monitoring. In: Ulidowski, I., Lanese, I., Schultz, U.P., Ferreira, C. (eds.) RC 2020. LNCS, vol. 12070, pp. 128\u2013150. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-47361-7_6"},{"key":"11_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-319-75632-5_6","volume-title":"Lectures on Runtime Verification","author":"A Francalanza","year":"2018","unstructured":"Francalanza, A., P\u00e9rez, J.A., S\u00e1nchez, C.: Runtime verification for decentralised and distributed systems. In: Bartocci, E., Falcone, Y. (eds.) Lectures on Runtime Verification. LNCS, vol. 10457, pp. 176\u2013210. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-75632-5_6"},{"key":"11_CR41","doi-asserted-by":"crossref","unstructured":"Garrett, C.R., Lozano-P\u00e9rez, T., Kaelbling, L.P.; Backward-forward search for manipulation planning. In: IROS, pp. 6366\u20136373. IEEE (2015)","DOI":"10.1109\/IROS.2015.7354287"},{"key":"11_CR42","doi-asserted-by":"crossref","unstructured":"Graham, S.L., Kessler, P.B., McKusick, M.K.: Gprof: a call graph execution profiler. In: SIGPLAN Symposium on Compiler Construction, pp. 120\u2013126. ACM (1982)","DOI":"10.1145\/800230.806987"},{"issue":"6","key":"11_CR43","doi-asserted-by":"publisher","first-page":"779","DOI":"10.18196\/jrc.v3i6.16298","volume":"3","author":"J Ha\u017e\u00edk","year":"2022","unstructured":"Ha\u017e\u00edk, J., Dekan, M., Be\u0148o, P., Ducho\u0148, F.: Fleet management system for an industry environment. JRC 3(6), 779\u2013789 (2022)","journal-title":"JRC"},{"issue":"1","key":"11_CR44","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1080\/09505438709526190","volume":"1","author":"D Hayes","year":"1987","unstructured":"Hayes, D.: Making chips with dust-free poison. Sci. Cult. 1(1), 89\u2013104 (1987)","journal-title":"Sci. Cult."},{"key":"11_CR45","doi-asserted-by":"crossref","unstructured":"Hoey, J., Lanese, I., Nishida, N., Ulidowski, I., Vidal, G.: A case study for reversible computing: reversible debugging of concurrent programs. In: Reversible Computation: Extending Horizons of Computing: Selected Results of the COST Action IC1405, pp. 108\u2013127 (2020)","DOI":"10.1007\/978-3-030-47361-7_5"},{"key":"11_CR46","volume":"223","author":"J Hoey","year":"2022","unstructured":"Hoey, J., Ulidowski, I.: Reversing an imperative concurrent programming language. SCP 223, 102873 (2022)","journal-title":"SCP"},{"key":"11_CR47","volume-title":"Model Checking","author":"EM Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"11_CR48","unstructured":"Kagermann, H., Wolfgang, W., Helbig, J.: Recommendations for implementing the strategic initiative INDUSTRIE 4.0. Technical report, Work. Group. Acatech, Frankfurt am Main, Ger., (2013)"},{"key":"11_CR49","unstructured":"Kalareh, M.A.; Evolving Software Systems for Self-Adaptation. PhD thesis, University of Waterloo, Ontario, Canada (2012)"},{"key":"11_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP\u201997 \u2014 Object-Oriented Programming","author":"G Kiczales","year":"1997","unstructured":"Kiczales, G., et al.: Aspect-oriented programming. In: Ak\u015fit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220\u2013242. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/BFb0053381"},{"key":"11_CR51","doi-asserted-by":"crossref","unstructured":"Kne\u017eevic, N., Savi\u0107, A., Gordi\u0107, Z., Ajoudani, A., Jovanovi\u0107, K.: Toward Industry 5.0: a neuroergonomic workstation for a human-centered, collaborative robot-supported manual assembly process. IEEE Robot. Autom. Mag. 2\u201313 (2024)","DOI":"10.1109\/MRA.2024.3487323"},{"key":"11_CR52","doi-asserted-by":"crossref","unstructured":"Koval, M.C., King, J.E., Pollard, N.S., Srinivasa, S.S.: Robust trajectory selection for rearrangement planning as a multi-armed bandit problem. In: IROS, pp. 2678\u20132685. IEEE (2015)","DOI":"10.1109\/IROS.2015.7353743"},{"key":"11_CR53","unstructured":"Kuhn, R., Hanafee, B., Allen, J.: Reactive Design Patterns. Manning (2016)"},{"key":"11_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-662-48057-1_3","volume-title":"Mathematical Foundations of Computer Science 2015","author":"M Kutrib","year":"2015","unstructured":"Kutrib, M.: Reversible and irreversible computations of deterministic finite-state devices. In: Italiano, G.F., Pighizzini, G., Sannella, D.T. (eds.) MFCS 2015. LNCS, vol. 9234, pp. 38\u201352. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-48057-1_3"},{"key":"11_CR55","volume":"138","author":"P Lami","year":"2024","unstructured":"Lami, P., Lanese, I., Stefani, J.-B., Coen, C.S., Fabbretti, G.: Reversible debugging of concurrent erlang programs: supporting imperative primitives. JLAMP 138, 100944 (2024)","journal-title":"JLAMP"},{"key":"11_CR56","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1147\/rd.53.0183","volume":"5","author":"R Landauer","year":"1961","unstructured":"Landauer, R.: Irreversibility and heat generated in the computing process. IBM J. Res. Dev. 5, 183\u2013191 (1961)","journal-title":"IBM J. Res. Dev."},{"key":"11_CR57","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-3-642-23217-6_20","volume-title":"CONCUR 2011 \u2013 Concurrency Theory","author":"I Lanese","year":"2011","unstructured":"Lanese, I., Mezzina, C.A., Schmitt, A., Stefani, J.-B.: Controlling reversibility in higher-order Pi. In: Katoen, J.-P., K\u00f6nig, B. (eds.) CONCUR 2011. LNCS, vol. 6901, pp. 297\u2013311. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-23217-6_20"},{"key":"11_CR58","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-642-36315-3_19","volume-title":"Reversible Computation","author":"I Lanese","year":"2013","unstructured":"Lanese, I., Mezzina, C.A., Stefani, J.-B.: Controlled reversibility and compensations. In: Gl\u00fcck, R., Yokoyama, T. (eds.) RC 2012. LNCS, vol. 7581, pp. 233\u2013240. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-36315-3_19"},{"key":"11_CR59","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/j.tcs.2016.02.019","volume":"625","author":"I Lanese","year":"2016","unstructured":"Lanese, I., Mezzina, C.A., Stefani, J.-B.: Reversibility in the higher-order $$\\pi $$-calculus. TCS 625, 25\u201384 (2016)","journal-title":"TCS"},{"key":"11_CR60","first-page":"71","volume":"100","author":"I Lanese","year":"2018","unstructured":"Lanese, I., Nishida, N., Palacios, A., Vidal, G.: A theory of reversibility for erlang. JLAMP 100, 71\u201397 (2018)","journal-title":"JLAMP"},{"issue":"3","key":"11_CR61","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1109\/MITP.2021.3073757","volume":"23","author":"I Lanese","year":"2021","unstructured":"Lanese, I., Schultz, U.P., Ulidowski, I.: Reversible execution for robustness in embodied AI and industrial robots. IT Prof. 23(3), 12\u201317 (2021)","journal-title":"IT Prof."},{"issue":"5","key":"11_CR62","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1017\/S0263574717000613","volume":"36","author":"JS Laursen","year":"2018","unstructured":"Laursen, J.S., Ellekilde, L.-P., Schultz, U.P.: Modelling reversible execution of robotic assembly. Robotica 36(5), 625\u2013654 (2018)","journal-title":"Robotica"},{"issue":"6","key":"11_CR63","doi-asserted-by":"publisher","first-page":"4515","DOI":"10.1109\/JIOT.2018.2834151","volume":"5","author":"Y Liao","year":"2018","unstructured":"Liao, Y., Freitas, E., Loures, R., Deschamps, F.: Industrial internet of things: a systematic literature review and insights. IEEE Internet Things J. 5(6), 4515\u20134525 (2018)","journal-title":"IEEE Internet Things J."},{"key":"11_CR64","unstructured":"Loborg, P.: Error Recovery in Manufacturing Control Systems. PhD thesis, School of Engineering, Link\u00f6ping University, Sweden (1994)"},{"key":"11_CR65","doi-asserted-by":"crossref","unstructured":"Melgratti, H., Mezzina, C.A., Michele Pinna, G.: A truly concurrent semantics for reversible CCS. LMCS, 20(4) (2024)","DOI":"10.46298\/lmcs-20(4:20)2024"},{"key":"11_CR66","doi-asserted-by":"crossref","unstructured":"Melgratti, H., Mezzina, C.A., Ulidowski, I.: Reversing Place transition nets. LMCS, 16 (2020)","DOI":"10.23638\/LMCS-16(4:5)2020"},{"key":"11_CR67","doi-asserted-by":"crossref","unstructured":"Mezzina, C.A., P\u00e9rez, J.A.: Causally consistent reversible choreographies: a monitors-as-memories approach. In: PPDP, pp. 127\u2013138. ACM (2017)","DOI":"10.1145\/3131851.3131864"},{"key":"11_CR68","doi-asserted-by":"crossref","unstructured":"Mezzina, C.A., Tiezzi, F., Yoshida, N.: Checkpoint-based rollback recovery in session programming. LMCS, 21(1), 2 (2025)","DOI":"10.46298\/lmcs-21(1:2)2025"},{"key":"11_CR69","unstructured":"ST Microcontroller\u00a0Division Applications. Application Note: Introduction to Semiconductor Technology (2000)"},{"key":"11_CR70","doi-asserted-by":"crossref","unstructured":"Mostafa, M., Bonakdarpour, B.: Decentralized runtime verification of LTL specifications in distributed systems. In: IPDPS, pp. 494\u2013503 (2015)","DOI":"10.1109\/IPDPS.2015.95"},{"key":"11_CR71","doi-asserted-by":"crossref","unstructured":"Neto, P., Mendes, N., Araujo, R., Norberto Pires, J., Paulo Moreira, A.: High-level robot programming based on CAD: dealing with unpredictable environments. Ind. Robot, 39(3) (2012)","DOI":"10.1108\/01439911211217125"},{"key":"11_CR72","unstructured":"NXP Semiconductors. Official Website (2024). https:\/\/www.nxp.com"},{"issue":"7","key":"11_CR73","doi-asserted-by":"publisher","first-page":"1397","DOI":"10.1080\/00207540412331299620","volume":"43","author":"S Okumura","year":"2005","unstructured":"Okumura, S., Take, N., Okino, N.: Error prevention in robotic assembly tasks by a machine vision and statistical pattern recognition method. Int. J. Prod. Res. 43(7), 1397\u20131410 (2005)","journal-title":"Int. J. Prod. Res."},{"key":"11_CR74","unstructured":"Pasha, A.: Lights-Out Manufacturing: Revolutionizing the Factory Floor with Automation. Technical report, Bosch (2025)"},{"key":"11_CR75","doi-asserted-by":"crossref","unstructured":"Kalyan, S.: Perumalla. Introduction to Reversible Computing, CRC Press (2014)","DOI":"10.1201\/b15719"},{"key":"11_CR76","doi-asserted-by":"crossref","unstructured":"Schultz, U.P., Bordignon, M., St\u00f8y, K.: Robust and reversible execution of self-reconfiguration sequences. Robotica, 29(1), 35\u201357 (2011)","DOI":"10.1017\/S0263574710000664"},{"key":"11_CR77","doi-asserted-by":"crossref","unstructured":"Sehrawat, D., Gill, N.S.: Smart sensors: analysis of different types of IoT sensors. In: 2019 3rd International Conference on Trends in Electronics and Informatics (ICOEI), pp. 523\u2013528 (2019)","DOI":"10.1109\/ICOEI.2019.8862778"},{"key":"11_CR78","unstructured":"Sparc: The partnership for Robotics in Europe. Robotics 2020:Multi-Annual Roadmap for Robotics in Europe. Technical report, EU Robotics AISBL, Brussels (2017)"},{"key":"11_CR79","unstructured":"STMicroelectronics. Official Website (2024). https:\/\/www.st.com"},{"key":"11_CR80","doi-asserted-by":"crossref","unstructured":"Tan, M., Wang, P., Luo, W.: Optimized real-time monitoring and fault diagnosis system for industrial robots with integrated sensor data. In: ICIPCN, pp. 764\u2013768 (2024)","DOI":"10.1109\/ICIPCN63822.2024.00132"},{"key":"11_CR81","unstructured":"Tarkoma, S.: Overlay Networks: Toward Information Networking. Auerbach (2010)"},{"key":"11_CR82","unstructured":"Texas Instruments. Official Website (2024). https:\/\/www.ti.com"},{"key":"11_CR83","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/978-3-319-99498-7_20","volume-title":"Reversible Computation","author":"M Vassor","year":"2018","unstructured":"Vassor, M., Stefani, J.-B.: Checkpoint\/rollback vs causally-consistent reversibility. In: Kari, J., Ulidowski, I. (eds.) RC 2018. LNCS, vol. 11106, pp. 286\u2013303. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99498-7_20"},{"key":"11_CR84","doi-asserted-by":"crossref","unstructured":"Villani, V., Gabbi, M., Sabattini, L.: Promoting operator\u2019s wellbeing in Industry 5.0: detecting mental and physical fatigue. In: 2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC), pp. 2030\u20132036 (2022)","DOI":"10.1109\/SMC53654.2022.9945324"},{"key":"11_CR85","doi-asserted-by":"crossref","unstructured":"Wang, Y., et al.: Probabilistic graph based spatial assembly relation inference for programming of assembly task by demonstration. In: IROS, pp. 4402\u20134407. IEEE (2015)","DOI":"10.1109\/IROS.2015.7354002"},{"key":"11_CR86","doi-asserted-by":"crossref","unstructured":"Yokoyama, T., Axelsen, H.B., Gl\u00fcck, R.: Principles of a reversible programming language. In: Conference Computing Frontiers, pp. 43\u201354. ACM (2008)","DOI":"10.1145\/1366230.1366239"},{"key":"11_CR87","doi-asserted-by":"crossref","unstructured":"Zhang, B., Wang, J., Rossano, G., Martinez, C.: Vision-guided robotic assembly using uncalibrated vision. In: 2011 IEEE International Conference on Mechatronics and Automation, pp. 1384\u20131389 (2011)","DOI":"10.1109\/ICMA.2011.5985778"}],"container-title":["Lecture Notes in Computer Science","Components Operationally: Reversibility and System Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-99717-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T20:03:00Z","timestamp":1760817780000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-99717-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,19]]},"ISBN":["9783031997167","9783031997174"],"references-count":87,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-99717-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,19]]},"assertion":[{"value":"19 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}