Specification and Modeling Formalisms

The overall ambition of this topic is to establish a coherent family of mathematical specification and modeling formalisms for quantitative and security aspects of cyber-physical systems.


  • Requirement Analysis and Extended Logics
  • Resource-aware Modeling Formalisms
  • Modeling of Mobility

Work package leaders:

Jan Madsen, Technical University of Denmark

Huibiao Zhu, East China Normal University