knowledge-aware cyber-physical systems
file
Abstract:
During the development process of CPS, an analysis of whether the system operates safely in its target environment is of utmost importance. This entails two interconnected research goals in the research areas of system design and system verification, which tie together research in formal verification of CPS with research on knowledge representation and reasoning in multi-agent systems:
