Embedded and cyber-physical systems

Embedded and cyber-physical systems are computing platforms tightly coupled with physical processes, using sensors, actuators and real-time control to monitor or influence the environment. The area covers design, analysis, verification and implementation of such integrated hardware-software systems, including automotive, medical, industrial automation and Internet-of-Things applications.