Cyber-physical systems: real-time, embedded control systems and software; hybrid and distributed systems; software engineering, formal methods, and verification; reliability and fault-tolerance; application areas including robotics, power and energy, aerospace.