Requirements modeling, architecture and formalization of large-scale cyberphysical systems
Physics and data driven modeling, abstraction and reduction for system simulation and verification
Advanced (robust and resilient) system control, optimization and supervision of uncertain cyberphysical and embedded systems
Data- and model-based system diagnostics and prognostics of systems under uncertainty, including systems generating big data
Cyber-security as applied to cyberphysical systems, embedded systems and systems engineering
