Linearization of hybrid processes
Linearization of hybrid processes
复制标题
DOI：
10.1016/j.jlap.2005.10.003
复制
发表时间：
2006-06
期刊：
影响因子：
--
通讯作者：
P. C. W. V. D. Brand;M. Reniers;P. Cuijpers
中科院分区：
文献类型：
--
作者：
P. C. W. V. D. Brand;M. Reniers;P. Cuijpers
HyPA是一种形式主义，适用于混合动力系统的代数分析，即，具有连续（物理）和离散（计算）组件的系统。线性化是这种分析中有用的第一步，因为它通过将模型描述转换为所谓的线性形式来降低模型描述的复杂性。本文提出了一种混合过程代数（HyPA）子集上的混合过程线性化算法，并证明了算法的正确性。该算法能够线性化大多数HyPA结构，除了递归并行、空进程和不是流前缀的中断。我们还扩展了HyPA与抽象算子，这是用于线性化算法。
HyPA is a formalism that is suitable for the algebraic analysis of hybrid systems, i.e., systems with continuous (physical) as well as discrete (computational) components. Linearization is a useful first step in this analysis, because it reduces the complexity of model descriptions by transforming them into so-called linear form. We present an algorithm for the linearization of hybrid processes modeled in a subset of hybrid process algebra (HyPA) and prove its correctness. This algorithm is able to linearize most HyPA constructs, except recursive parallelism, the empty process, and disrupts that are not a flow prefix. We also extend HyPA with an abstraction operator, which is used in the linearization algorithm.