Linearization of hybrid Chi using program counters
U Uzma Khadim, van Da Bert Beek, Pjl Pieter Cuijpers · 2007
The language χ was developed some years back as a modelling and simulation language for industrial systems [1, 2]. Originally, the language χ included fea-tures for modelling discrete event systems only. Later on it was extended with features to model dynamic behavior of a system as well [3, 4]. Hybrid χ was