The processes a system follows when executing a program in a specific language.
file
Abstract:
The tight integration of physical and information processes in CPS necessitates the development of a new systems science, which is simultaneously computational and physical. Dynamics, modeling, feedback, and control are central issues in CPS research. The unique challenges in CPS integration emerge from the heterogeneity of components and interactions.
file
Abstract:
The project pursues two major goals addressing the verification of cyber-physical systems. Firstly, one goal of this project is to develop theory, practice, and applications of verification techniques for distributed hybrid systems with flexible system structures that can change by reconfiguring the system.
