von Klaus Bengler ; Werner Damm ; Andreas Luedtke ; Jochem Rieger ; Benedikt Austel ; Bianca Biebl ; Martin Fränzle ; Willem Hagemann ; Moritz Held ; David Hess ; Klas Ihme ; Severin Kacianka ; Alyssa J. Kerscher ; Laine Forrest ; Sebastian Lehnhoff ; Alexander Pretschner ; Astrid Rakow ; Daniel Sonntag ; Janos Sztipanovits ; Maike Schwammberger ; Mark Schweda ; Anirudh Unni ; Eric M. S. P. Veith
von Werner Damm ; David Hess ; Mark Schweda ; Janos Sztipanovits ; Klaus Bengler ; Bianca Biebl ; Martin Fränzle ; 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 ; Eric M. S. P. Veith
von Werner Damm ; Martin Fränzle ; Alyssa J. Kerscher ; Forrest Laine ; Klaus Bengler ; Bianca Biebl ; Willem Hagemann ; Moritz Held ; David Hess ; Klas Ihme ; Severin Kacianka ; Sebastian Lehnhoff ; Andreas Lüdtke ; Alexander Pretschner ; Astrid Rakow ; Jochem Rieger ; Daniel Sonntag ; Janos Sztipanovits ; Maike Schwammberger ; Mark Schweda ; Alexander Trende ; Anirudh Unni ; Eric M. S. P. Veith
Gesehen am 02.04.2024 ; Published online 14 Jan. 2024
"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." - www.acm.org
ACM transactions on cyber-physical systems New York, NY : ACM, 2017 8(2024), 1, Artikel-ID 4, Seite 1-23 Online-Ressource
von Martin Benedikt ; Eckard Böde ; Andreas Bossert ; Jens Braband ; Tino Brade ; Niklas Braun ; Tobias Braun ; Simon Burton ; Thomas Dallmann ; Werner Damm ; Tobias Düser ; Lukas Elster ; Tim Fingscheidt ; Marco Fistler ; Marzena Franek ; Martin Fränzle ; Jonas Freyer ; Roland Galbas ; Roman Gansch ; Dirk Geyer ; Lukas Haas ; Arsalan Haider ; Peter Heidl ; Matthias Hein ; Andreas Heyl ; Johannes Hiller ; Hardi Hungar ; Dieter Hutter ; Rolf Jung ; Cornel Klein ; Jörg Krüger ; Thomas Kuhn ; Jacob Langner ; Markus Maurer ; Kerstin Mayr ; André Meyer-Vitali ; Eike Möhlmann ; Adam Molin ; Björn Möller ; Jürgen Niehaus ; Bastian Nolte ; Marcus Nolte ; Stefan Otten ; Jan Peleska ; Steven Peters ; Tim Poguntke ; Florian Poprawa ; Jan Reich ; Philipp Rosenberger ; Nayel Fabian Salem ; Bernhard Schick ; Daniel Schneider ; Stefan-Alexander Schneider ; Christian Schyr ; Carsten Thomas ; Mario Trapp ; Florence Wagner ; Nicolas Wagener ; Timo Woopen ; Thomas Zeh
Validation and Verification of Automated Systems 1st ed. 2020 Cham : Springer, 2020 (2020), Seite 45-60 1 Online-Ressource (XI, 320 p. 143 illus., 132 illus. in color)
Validation and Verification of Automated Systems 1st ed. 2020 Cham : Springer, 2020 (2020), Seite 61-73 1 Online-Ressource (XI, 320 p. 143 illus., 132 illus. in color)
Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology (4. : 2019 : Prag) Proceedings of the 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology [Waterloo, NSW] : [Open Publishing Association], 2019 (2019), Seite 47-65 1 Online-Ressource
