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
 

Project Description

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