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.
Principal Investigators
