Operational Semantics of Hybrid Systems

Operational Semantics of Hybrid Systems
复制标题

DOI：
10.1007/978-3-540-31954-2_2
复制
发表时间：
2005-03
期刊：
--
影响因子：
--
通讯作者：
Edward A. Lee;Haiyang Zheng
Edward A. Lee;Haiyang Zheng
中科院分区：
其他
文献类型：
--
作者：
Edward A. Lee;Haiyang Zheng

文献摘要

被引文献

相似文献

本文讨论了混合系统的可执行模型的解释。为此目的，混合系统的规范可以被视为特定于域的编程语言中的程序。我们描述的HyVisual，这是这样一个特定领域的编程语言的语义。这种语言的语义属性影响我们理解、执行和分析模型的能力。我们讨论了几个语义问题，来定义这样的编程语言，如连续时间信号的不连续性的解释，并在混合动力系统中的离散事件信号的解释，以及数值ODE求解器技术的后果。我们描述的解决方案在HyVisual给出其操作语义。
This paper discusses an interpretation of hybrid systems as executable models. A specification of a hybrid system for this purpose can be viewed as a program in a domain-specific programming language. We describe the semantics of HyVisual, which is such a domain-specific programming language. The semantic properties of such a language affect our ability to understand, execute, and analyze a model. We discuss several semantic issues that come in defining such a programming language, such as the interpretation of discontinuities in continuous-time signals, and the interpretation of discrete-event signals in hybrid systems, and the consequences of numerical ODE solver techniques. We describe the solution in HyVisual by giving its operational semantics.