The aim of the research group is to apply electronic design automation (EDA) techniques to cyber-physical production systems (CPPSs) and Industrial IoT (IIoT) for modeling, simulation, synthesis and testing of production lines.
The aim of the research group is to apply formal methods to modelling, verification and synthesis of engineering systems. The domains range from timed systems to nonlinear cyberphysical systems.
Design and verification of communication technologies capable of bringing efficiency and sustainability to key applications such as industry, agriculture, building automation, transport and land management.