> Details

Damm, Werner; Fränzle, Martin; Kerscher, Alyssa J.; Laine, Forrest; Bengler, Klaus; Biebl, Bianca; Hagemann, Willem; Held, Moritz; Hess, David; Ihme, Klas; Kacianka, Severin; Lehnhoff, Sebastian; Luedtke, Andreas; Pretschner, Alexander; Rakow, Astrid; Rieger, Jochem; Sonntag, Daniel; Sztipanovits, Janos; Schwammberger, Maike; Schweda, Mark; Trende, Alexander; Unni, Anirudh; Veith, Eric

A Reference Architecture of Human Cyber-Physical Systems – Part III: Semantic Foundations

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: E-Article
  • Title: A Reference Architecture of Human Cyber-Physical Systems – Part III: Semantic Foundations
  • Contributor: Damm, Werner; Fränzle, Martin; Kerscher, Alyssa J.; Laine, Forrest; Bengler, Klaus; Biebl, Bianca; Hagemann, Willem; Held, Moritz; Hess, David; Ihme, Klas; Kacianka, Severin; Lehnhoff, Sebastian; Luedtke, Andreas; Pretschner, Alexander; Rakow, Astrid; Rieger, Jochem; Sonntag, Daniel; Sztipanovits, Janos; Schwammberger, Maike; Schweda, Mark; Trende, Alexander; Unni, Anirudh; Veith, Eric
  • Published: Association for Computing Machinery (ACM), 2024
  • Published in: ACM Transactions on Cyber-Physical Systems, 8 (2024) 1, Seite 1-23
  • Language: English
  • DOI: 10.1145/3622881
  • ISSN: 2378-962X; 2378-9638
  • Keywords: Artificial Intelligence ; Control and Optimization ; Computer Networks and Communications ; Hardware and Architecture ; Human-Computer Interaction
  • Origination:
  • Footnote:
  • Description: 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.