Integrated Approach for Modeling Cyber Physical Systems

Conference paper
Part of the Lecture Notes in Electrical Engineering book series (LNEE, volume 260)


Cyber physical systems contain three parts: control part, communication part and physical part. In this paper, we propose an integrated approach for modeling cyber physical systems. Differential Dynamic Logic is used for modeling control part, Communicating Sequential Process (CSP) is applied to specify communication part, and Modelica is used for modeling physical part of cyber physical systems. The proposed approach is illustrated by a case study of the one-street style of vehicles on the street.



This work is supported by national high technology research and development program of China (No. 2011AA010101), national basic research program of China (No. 2011CB302904), the national science foundation of China under grant No. 61173046, No. 61021004, No. 61061130541), doctoral program foundation of institutions of higher education of China (No. 200802690018), national; science foundation of Guangdong province under grant No. S2011010004905.


  1. 1.
    Platzer A (2008) A differential dynamic logic for hybrid systems. J Autom Reas 41(2):143–189MathSciNetCrossRefMATHGoogle Scholar
  2. 2.
    Harel D, Kozen D, Tiuryn J (2000) Dynamic logic. MIT, CambridgeMATHGoogle Scholar
  3. 3.
    Brookes SD, Hoare CAR, Roscoe AW (1984) A theory of communicating sequential processes. J ACM 31(3):560–599MathSciNetCrossRefMATHGoogle Scholar
  4. 4.
    Fritzson P, Engelson V (1998) Modelica—a unified object-oriented language for system modeling and simulation. ECOOP’98—Object-Oriented Programming, pp 67–90Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2014

Authors and Affiliations

  1. 1.Shanghai Key Laboratory of Trustworthy Computing East China Normal UniversityShanghaiChina

Personalised recommendations