Linearization of hybrid processes

We present an algorithm for the linearization of hybrid processes modeled in hybrid process algebra (HyPA) and prove its correctness. 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. Furthermore, this linear form allows the use of analysis techniques that cannot be applied to HyPA syntax. We also extend HyPA with an abstraction operator.

• Type: Journal
• Year: 2006
• Where: JLP
• Authors: P. C. W. den Brand van, Michel A. Reniers, Pieter J. L. Cuijpers
• Keywords: Hybrid Process Algebra, Hybrid Processes, JLP 2006, Linearization