A Hybrid Model of Connectors in Cyber-Physical Systems

  • Xiaohong Chen
  • Jun Sun
  • Meng Sun
Conference paper

DOI: 10.1007/978-3-319-11737-9_5

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8829)
Cite this paper as:
Chen X., Sun J., Sun M. (2014) A Hybrid Model of Connectors in Cyber-Physical Systems. In: Merz S., Pang J. (eds) Formal Methods and Software Engineering. ICFEM 2014. Lecture Notes in Computer Science, vol 8829. Springer, Cham

Abstract

Compositional coordination models and languages play an important role in cyber-physical systems (CPSs). In this paper, we introduce a formal model for describing hybrid behaviors of connectors in CPSs. We extend the constraint automata model, which is used as the semantic model for the exogenous channel-based coordination language Reo, to capture the dynamic behavior of connectors in CPSs where the discrete and continuous dynamics co-exist and interact with each other. In addition to the formalism, we also provide a theoretical compositional approach for constructing the product automata for a Reo circuit, which is typically obtained by composing several primitive connectors in Reo.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Xiaohong Chen
    • 1
  • Jun Sun
    • 2
  • Meng Sun
    • 1
  1. 1.LMAM & Department of Informatics, School of Mathematical SciencesPeking UniversityChina
  2. 2.Singapore University of Technology and DesignSingapore

Personalised recommendations