查看文章

In this document, the timed χ (Chi) language is described. The timed χ language is obtained by means of simplification of hybrid χ (see [17]). The intended use of χ is for modeling, simulation, verification, and real-time control. Its application domain consists of large and complex manufacturing systems. Although the semantics is formally defined, the straightforward and elegant syntax and semantics is also highly suited to non-computer scientists. In the remainder of this report, we usually refer to timed χ as χ.