Currently, modelling of systems in the process industry requires the use of different specification languages for the specification of the discrete-event and continuous-time subsystems. In this way, models are restricted to individual subsystems of either a continuous-time or discrete-event nature. It is our aim to integrate such models, by using one language for the specification of complete plants or production units. For this purpose, we introduce the language in this paper. This language integrates a small number of orthogonal continuous-time and discrete-event concepts. The continuous-time part of is based on DAEs; the discreteevent part is based on a CSP-like concurrent programming language. Models are specified in a symbolic mathematical notation. A case study is presented of a plant for the biochemical production of ethanol. The production takes place in a number of fermentors in a fed-batch fashion. The fermentation process and the control system, which controls the various valves and pumps and schedules the different batches, are both specified in . The example illustrates the relevance of integrating continuous-time and discrete-event concepts.
[1]
Paul I. Barton,et al.
The modelling and simulation of combined discrete/continuous processes
,
1992
.
[2]
E. E. Mitchell,et al.
Advanced Continuous Simulation Language (ACSL)
,
1976
.
[3]
Jozef Hooman,et al.
Specification and Compositional Verification of Real-Time Systems
,
1991,
Lecture Notes in Computer Science.
[4]
J. M. van de Mortel-Fronczak,et al.
Application Of Concurrent Programming To Specification Of Industrial Systems
,
1995
.
[5]
C. A. R. Hoare,et al.
Communicating sequential processes
,
1978,
CACM.