Distributed Knowledge and Information Flow ((04) C04)

• Subject Area: Automation, Mechatronics, Control Systems, Intelligent Technical Systems, Robotics ; Theoretical Computer Science
• Term: since 2019
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 389792660

Understanding and explicating the knowledge and information flow between distributed physical and digital components plays a fundamental role in the perspicuous design of cyber-physical systems. Project C4 focuses on knowledge and information flow for the design of distributed systems where the challenge lies in the required formal connection between low-level physical behaviour captured by real-valued signals and high-level discrete decision making formalised over Boolean interface variables. Project C4 will address this challenge by developing lazy algorithms which extract necessary behavioural (de)couplings and information flow characteristics to build small, human readable interfaces which explicate necessary behavioural knowledge and information flow.

• DFG Programme: CRC/Transregios
• Subproject of: TRR 248: Foundations of Perspicuous Software Systems - Enabling Comprehension in a Cyber-Physical World
• Applicant Institution: Universität des Saarlandes
• Project Heads: Professor Dr.-Ing. Raimund Dachselt, until 12/2022; Professor Dr. Bernd Finkbeiner; Professor Dr. Markus Krötzsch, until 12/2022; Dr.-Ing. Anne-Kathrin Schmuck, since 1/2023