{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T12:13:37Z","timestamp":1762863217590,"version":"3.41.0"},"reference-count":20,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2024,1,14]],"date-time":"2024-01-14T00:00:00Z","timestamp":1705190400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"United States National Science Foundation"},{"name":"Office of International Science and Engineering (OISE) PIRE"},{"name":"Directorate of Computer and Information Science and Engineering (CISE) CPS","award":["OISE-1743772"],"award-info":[{"award-number":["OISE-1743772"]}]},{"DOI":"10.13039\/501100001659","name":"German Research Foundation","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Assuring Individual, Social, and Cultural Embeddedness of Autonomous Cyber-Physical Systems","award":["433524510, 433524788, 433524434"],"award-info":[{"award-number":["433524510, 433524788, 433524434"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Cyber-Phys. Syst."],"published-print":{"date-parts":[[2024,1,31]]},"abstract":"<jats:p>The design and analysis of multi-agent human cyber-physical systems in safety-critical or industry-critical domains calls for an adequate semantic foundation capable of exhaustively and rigorously describing all emergent effects in the joint dynamic behavior of the agents that are relevant to their safety and well-behavior. We present such a semantic foundation. This framework extends beyond previous approaches by extending the agent-local dynamic state beyond state components under direct control of the agent and belief about other agents (as previously suggested for understanding cooperative as well as rational behavior) to agent-local evidence and belief about the overall cooperative, competitive, or coopetitive game structure. We argue that this extension is necessary for rigorously analyzing systems of human cyber-physical systems because humans are known to employ cognitive replacement models of system dynamics that are both non-stationary and potentially incongruent. These replacement models induce visible and potentially harmful effects on their joint emergent behavior and the interaction with cyber-physical system components.<\/jats:p>","DOI":"10.1145\/3622881","type":"journal-article","created":{"date-parts":[[2023,9,23]],"date-time":"2023-09-23T04:34:05Z","timestamp":1695443645000},"page":"1-23","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["A Reference Architecture of Human Cyber-Physical Systems \u2013 Part III: Semantic Foundations"],"prefix":"10.1145","volume":"8","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7277-1803","authenticated-orcid":false,"given":"Werner","family":"Damm","sequence":"first","affiliation":[{"name":"Carl von Ossietzky Universit\u00e4t Oldenburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9138-8340","authenticated-orcid":false,"given":"Martin","family":"Fr\u00e4nzle","sequence":"additional","affiliation":[{"name":"Carl von Ossietzky Universit\u00e4t Oldenburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7153-5868","authenticated-orcid":false,"given":"Alyssa J.","family":"Kerscher","sequence":"additional","affiliation":[{"name":"Vanderbilt University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3982-3920","authenticated-orcid":false,"given":"Forrest","family":"Laine","sequence":"additional","affiliation":[{"name":"Vanderbilt University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3906-6093","authenticated-orcid":false,"given":"Klaus","family":"Bengler","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t M\u00fcnchen"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1611-7348","authenticated-orcid":false,"given":"Bianca","family":"Biebl","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t M\u00fcnchen"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8259-6084","authenticated-orcid":false,"given":"Willem","family":"Hagemann","sequence":"additional","affiliation":[{"name":"Carl von Ossietzky Universit\u00e4t Oldenburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6236-7946","authenticated-orcid":false,"given":"Moritz","family":"Held","sequence":"additional","affiliation":[{"name":"Carl von Ossietzky Universit\u00e4t Oldenburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8117-0260","authenticated-orcid":false,"given":"David","family":"Hess","sequence":"additional","affiliation":[{"name":"Vanderbilt University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7911-3512","authenticated-orcid":false,"given":"Klas","family":"Ihme","sequence":"additional","affiliation":[{"name":"DLR - Institute of Transportation Systems, Braunschweig"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2546-3031","authenticated-orcid":false,"given":"Severin","family":"Kacianka","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t M\u00fcnchen"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2340-6807","authenticated-orcid":false,"given":"Sebastian","family":"Lehnhoff","sequence":"additional","affiliation":[{"name":"Carl von Ossietzky Universit\u00e4t Oldenburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2219-8391","authenticated-orcid":false,"given":"Andreas","family":"Luedtke","sequence":"additional","affiliation":[{"name":"DLR - Institut f\u00fcr Systems Engineering f\u00fcr Zuk\u00fcnftige Mobilit\u00e4t, Oldenburg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5573-1201","authenticated-orcid":false,"given":"Alexander","family":"Pretschner","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t M\u00fcnchen"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6715-1231","authenticated-orcid":false,"given":"Astrid","family":"Rakow","sequence":"additional","affiliation":[{"name":"Carl von Ossietzky Universit\u00e4t Oldenburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0955-2306","authenticated-orcid":false,"given":"Jochem","family":"Rieger","sequence":"additional","affiliation":[{"name":"Carl von Ossietzky Universit\u00e4t Oldenburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8857-8709","authenticated-orcid":false,"given":"Daniel","family":"Sonntag","sequence":"additional","affiliation":[{"name":"Carl von Ossietzky Universit\u00e4t Oldenburg und DFKI-Deutsches Forschungszentrum f\u00fcr K\u00fcnstliche Intelligenz, Nds"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8360-6299","authenticated-orcid":false,"given":"Janos","family":"Sztipanovits","sequence":"additional","affiliation":[{"name":"Vanderbilt University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3344-6282","authenticated-orcid":false,"given":"Maike","family":"Schwammberger","sequence":"additional","affiliation":[{"name":"Carl von Ossietzky Universit\u00e4t Oldenburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3270-6561","authenticated-orcid":false,"given":"Mark","family":"Schweda","sequence":"additional","affiliation":[{"name":"Carl von Ossietzky Universit\u00e4t Oldenburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7690-0679","authenticated-orcid":false,"given":"Alexander","family":"Trende","sequence":"additional","affiliation":[{"name":"DLR - Institut f\u00fcr Systems Engineering f\u00fcr Zuk\u00fcnftige Mobilit\u00e4t, Oldenburg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5458-7412","authenticated-orcid":false,"given":"Anirudh","family":"Unni","sequence":"additional","affiliation":[{"name":"Carl von Ossietzky Universit\u00e4t Oldenburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2487-7475","authenticated-orcid":false,"given":"Eric","family":"Veith","sequence":"additional","affiliation":[{"name":"OFFIS e. V. Oldenburg"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,1,14]]},"reference":[{"key":"e_1_3_2_2_2","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","volume-title":"International Hybrid Systems Workshop","author":"Alur Rajeev","year":"1993","unstructured":"Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, and Pei-Hsin Ho. 1993. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In International Hybrid Systems Workshop. Robert L. Grossman, Anil Nerode, Anders P. Ravn, and Hans Rischel (Eds.), Lecture Notes in Computer Science, Hybrid Systems, Vol. 736, Springer, Berlin, 209\u2013229."},{"key":"e_1_3_2_3_2","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611971132"},{"key":"e_1_3_2_4_2","unstructured":"ACM (Association for Computing Machinery) 2023 A reference architecture for human cyber physical systems- part II: Fundamental design principles for human-cps interaction in transactions on cyber-physical systems X(Y)"},{"key":"e_1_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-09541-1_33"},{"key":"e_1_3_2_6_2","volume-title":"Boy: Cognitive function analysis","author":"Guy A.","year":"1998","unstructured":"A. Guy. 1998. Boy: Cognitive function analysis. Ablex, distributed by Greenwood Publishing Group, Westport, CT."},{"key":"e_1_3_2_7_2","article-title":"A reference architecture for human cyber physical systems- part I, in transactions on cyber-physical systems X(Y)","author":"Damm Werner","year":"2023","unstructured":"Werner Damm, David Hess, Mark Schweda, Janos Sztipanovits, Klaus Bengler, Bianca Biebl, Martin Fr\u00e4nzle, Willem Hagemann, Moritz Held, Klas Ihme, Severin Kacianka, Alyssa J. Kerscher, Sebastian Lehnhoff, Andreas Luedtke, Alexander Pretschner, Astrid Rakow, Jochem Rieger, Daniel Sonntag, Maike Schwammberger, Benedikt Austel, Anirudh Unni, and Eric Veith. 2023. A reference architecture for human cyber physical systems- part I, in transactions on cyber-physical systems X(Y). ACM (Association for Computing Machinery), New York, NY. https:\/\/dl.acm.org\/doi\/10.1145\/3622879","journal-title":"ACM (Association for Computing Machinery)"},{"key":"e_1_3_2_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10111-018-0506-y"},{"key":"e_1_3_2_9_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01461-2_9"},{"key":"e_1_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/3313909.3313913"},{"key":"e_1_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.4230\/LITES.8.2.5"},{"key":"e_1_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.1287\/mnsc.14.3.159"},{"key":"e_1_3_2_13_2","volume-title":"Aircraft System Safety - Assessments for Initial Airworthiness Certification","author":"Kritzinger Duane","year":"2016","unstructured":"Duane Kritzinger. 2016. Aircraft System Safety - Assessments for Initial Airworthiness Certification. Elsevier, ISBN: 9780081008898."},{"key":"e_1_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.1145\/202709"},{"key":"e_1_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.16.583-594"},{"key":"e_1_3_2_16_2","doi-asserted-by":"publisher","DOI":"10.1177\/154193129604000404"},{"key":"e_1_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1969.1099086"},{"volume-title":"Guidelines for Development of Civil Aircraft and Systems Arp4754a.","year":"2010","key":"e_1_3_2_18_2","unstructured":"S-18 Aircraft and Sys Dev and Safety Assessment Committee. 2010. Guidelines for Development of Civil Aircraft and Systems Arp4754a. SAE, (2010)."},{"key":"e_1_3_2_19_2","volume-title":"Fault Tree Handbook With Aerospace Applications","author":"Stamatelatos Michael","year":"2002","unstructured":"Michael Stamatelatos, William Vesely, Joanne Dugan, Joseph Fragola, Jospeh Minarick III, and Kan Railsback. 2002. Fault Tree Handbook With Aerospace Applications. NASA."},{"key":"e_1_3_2_20_2","volume-title":"Safety Critical Computer Systems Addison-Wesley Longman Publishing Co","author":"Storey Neil","year":"1996","unstructured":"Neil Storey. 1996. Safety Critical Computer Systems Addison-Wesley Longman Publishing Co. Inc. Boston, MA, SBN:0201427877."},{"key":"e_1_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-59042-0_57"}],"container-title":["ACM Transactions on Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3622881","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3622881","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:57:27Z","timestamp":1750298247000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3622881"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,1,14]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2024,1,31]]}},"alternative-id":["10.1145\/3622881"],"URL":"https:\/\/doi.org\/10.1145\/3622881","relation":{},"ISSN":["2378-962X","2378-9638"],"issn-type":[{"type":"print","value":"2378-962X"},{"type":"electronic","value":"2378-9638"}],"subject":[],"published":{"date-parts":[[2024,1,14]]},"assertion":[{"value":"2023-01-27","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-08-02","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-01-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}