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.

Topics:

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

Work package leaders:

Artemis

Jan Madsen
Technical University of Denmark
E-mail

huibiao

Huibiao Zhu
East China Normal University
E-mail