Cyber-Physical systems are system which consist of both physical components and embedded software components. Cyber-Physical systems often have a very tight coupling with the humans that use them or depend on them. Examples of Cyber-Physical systems include pacemakers, autopilots and industrial production systems.
At CISS we conduct research into the analysis and verification of Cyber-Physical systems. This includes both the strong tradition we have for real-time analysis, but also with focus on the analysis of all other quantitative aspects such as energy consumption and quality of service. A growing trend in Cyber-Physical systems is also the need to integrate with Big-Data applications in the form of data gathering or data analysis.