Towards a Modeling Language for Cyber-Physical Systems

DOI10.1007/978-3-642-39698-4_24zbMath1390.68167OpenAlexW1833231176MaRDI QIDQ2842648

Yongxin Zhao, Huibiao Zhu, Qiwen Xu, Longfei Zhu

Publication date: 16 August 2013

Published in: Theories of Programming and Formal Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39698-4_24

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of programming languages (68N15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• Modelica
• Quartz
• OpenModelica
• Esterel

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
• Hybrid I/O automata.
• An algebraic hardware/software partitioning algorithm
• In praise of algebra
• The laws of Occam programming
• From synchronous programs to symbolic representations of hybrid systems
• Laws of programming
• Logical Analysis of Hybrid Systems

This page was built for publication: Towards a Modeling Language for Cyber-Physical Systems