Professional Documents
Culture Documents
a r t i c l e in f o a b s t r a c t
Article history: This paper presents a process and control simulator for industrial helium cryogenic plants controlled by
Received 2 March 2009 Programmable Logic Controllers (PLC). This simulator can be used for different purposes such as
Accepted 21 July 2009 operator training, test of the PLC programs or the optimization of the plant. The different component
Available online 14 August 2009
models used in the simulator are detailed and explained. Various large scale cryogenic plants used
Keywords: for the particle accelerator LHC (Large Hadron Collider) at CERN have been modeled and simulated.
Cryogenics The good agreement between the simulation results and the dynamic behavior of real plants is
Dynamic models demonstrated with experimental results. Various discussions complete the presentation.
Simulation & 2009 Elsevier Ltd. All rights reserved.
Thermodynamics
Operator training
0967-0661/$ - see front matter & 2009 Elsevier Ltd. All rights reserved.
doi:10.1016/j.conengprac.2009.07.003
ARTICLE IN PRESS
B. Bradu et al. / Control Engineering Practice 17 (2009) 1388–1397 1389
2. Process and control simulation approach 1500 DAEs and it corresponds to a helium refrigerator with a
refrigeration power of 400 W at 4.5 K.
2.1. Existing cryogenic modeling approaches All existing simulators have been used only to model helium
liquefiers or 4.5 K helium refrigerators. Here, in addition to 4.5 K
In various fields of industry, dynamic simulators have been refrigerators, the modeling was extended to a 1.8 K refrigeration
developed to train operators or to design new control techniques, unit using cold-compressors.
see Alves et al. (2005), Olsen et al. (1997), and Szafnicki et al. Simulations generally include a simplified control in the
(2004). To the best of the authors’ knowledge, there exist only a model. Therefore, most of the existing simulators are not taking
few dynamic simulations devoted to helium cryogenic plants: into account the real process control and cannot be used as a real-
time training simulator, except the simulator of Maekawa et al.
(2005). The originality of PROCOS resides in the fact that it is
Maekawa, Ooba, Nobutoki, and Mito (2005) have simulated a based on the real process control architecture including the
10 kW at 4.5 K refrigerator used in a fusion experiment; supervision system. The process and the control duties are
next, Butkevich, Idnic, and Shpakov (2006) developed an simulated separately and synchronized together. Hence, it allows
educational training tool on a helium liquefier; the simulation of large-scale systems on several computers by
Kutzschbach, Haberstroh, and Quack (2006) have simulated a decoupling the main parts of a plant.
commercial helium liquefier;
finally, Deschildre et al. (2008) made simulations on a 800 W at
2.2. Simulation architecture
4.5 K refrigerator.
Process model
on Ecosim Pro
Fig. 1. The real and the simulated control architecture for CERN cryogenic systems.
ARTICLE IN PRESS
1390 B. Bradu et al. / Control Engineering Practice 17 (2009) 1388–1397
and timers are now based on the simulation time. Moreover, PID
controllers are not executed in the PLC anymore but directly in the
Proces Control Object Value PT210
model and main parameters are sent back to the PLC to ensure the
(Logic) (AI)
consistency in the PLC program and in the supervision, see Fig. 3.
This simulation environment is especially adapted for operator
training since the supervision interface remains the same as for
Postion Request the real plant. All LHC cryoplants represent more than 42 000
inputs/outputs and around 5000 PID control loops. The use of the
CV210 Feedback same PLC control programs saves a lot of development time.
GT210
(ANALOG) (AI) Moreover, PLC control programs can be directly validated in their
real environment with the possibility to test all interlocks,
sequences and closed-loops of the systems.
Order Request
CV210AO
3. Cryogenic modeling
(AO)
PLC EcosimPro& allows to model cryogenic systems by using an
Output order
object-oriented approach where each cryogenic component is
described by a set of differential and algebraic equations (DAEs).
Helium and material properties are obtained by linear interpola-
CV210AO
OPC tions from large property tables. Material properties are calcu-
GT210
PT210
D Diameter m
L Length m 3.2.2. Phase separator
M Mass kg The phase separator is filled with a liquid/gas mixture and the
S Surface; crosssection m2 liquid falls down due to gravity. The mixture is considered at the
V Volume m3 equilibrium point with homogeneous pressure and temperature.
There are a diphasic input and a gaseous output at the top, and a
liquid output at the bottom. The phase separator is also equipped
First, the cryogenic system must be built in such a way that with an electrical heater at the bottom and all the heat sources
pressure components are connected to flow components and vice (convection, radiation, heater) are applied in the liquid phase only.
versa to ensure the overall consistency of the system, i.e. to Hence, the evaporated mass per second can be computed as
have as many equations as unknown variables. Fig. 4 illustrates the
Q_ þ Q_ rad þ Q_ eh
interconnection between a flow component and two pressure m_ evap ¼ conv ; ð5Þ
Lv
components. Then, each component must be parameterized with its
own characteristics (e.g., material, design temperature, mass, etc.), where Q_ eh is the power delivered by the electrical heater. The gas
see Table 1 where main variables are shown. Finally, some boundary and liquid mass balances are defined as
conditions have to be chosen if the system is not in closed-loop.
dMg
Fig. 5 represents a model overview of a small cryogenic system _ in xin m
¼m _ out;g þ m
_ evap ; ð6Þ
dt
under EcosimPro using a compressor, two heat exchangers, one
turbine, five valves, six pipes and one phase separator at the end. dMl
Pressure components are colored in yellow and flow components in _ in ð1 xin Þ m
¼m _ out;l m
_ evap ; ð7Þ
dt
blue whereas all orange objects are inputs/outputs with controllers
that are included in the model and the linked to the PLC. where subscripts g and l refer to the saturated gas and saturated
liquid. The gas and liquid energy balances become
M_ST210
M_CV217 M_SC217
M_TT217
M_GT217
Turbine
M_PT210
M_TT220
M_TT210
M_PC210
PIPE_T1
M_TC230 M_PT240
M_WT210
M_PV200DO M_CV210 M_LT240
M_GT210
P
M_PT200 M_TT230 T L P
M_PV200 M_CV230
H
PIPE_195 M_FT200 PIPE_200 M_TT207 PIPE_HX2
M_TT200 M_PT230 M_TT260 M_PT260
M_GH200
M_GT230
Compressor
M_GL200 M_PC290
M_PV246DO
M_PT246 Phase_Separator
M_PV246 M_CB290
c
PIPE_247 PIPE_246 MIX1 M_PT290
M_TT246 HX1 HX2
M_GL246 M_GH246 M_GT290
Mass and volume repartitions between gas and liquid are linearity of the opening). Cryogenic valves generally have an equal
deduced by percentage opening, thus the CV coefficient is computed by
8
< Vl ¼ Ml ;
> CV max u=100logðRÞ CV max
CV ¼ e ð100 uÞ; ð14Þ
rl ð10Þ R R
>
: Vg ¼ V Vl ;
where CV max is the CV of the valve for a complete opening, R is the
rangeability of the valve (generally R ¼ 50) and u is the position of
and the liquid level z is then computed as
the valve between 0% and 100%. Then, mass flow is given by
Vl qffiffiffiffiffiffiffiffiffiffi
z¼ L; ð11Þ m_ ¼ 2:4 105 CV Y rDP; ð15Þ
V
where L is the height of the tank. Then, the average quality x, where Y is either a function of the pressures or a constant
density r and internal energy u are computed to deduce all other according to the flow regime: Y ¼ 1 DP=Pin =ð3 g=1:4 0:65Þ if
thermodynamic properties in the phase separator (pressure, DP=Pin o0:65g=1:4 (subsonic flow), else Y ¼ 2=3 (sonic flow).
temperature, etc.):
8
>
> Mg 3.3.2. Turbines
>x ¼
> ;
>
< M Cryogenic turbines are gas turbo-expanders allowing to extract
M ð12Þ heat into work. They are defined by their design operating point
>
> r¼ ;
>
> V (pressure, temperature, rotational speed, mass flow and effi-
>
: u ¼ x ug þ ð1 xÞ ul :
ciency), by their blade diameter D and the inertia momentum of
the shaft.
If helium is considered as a polytropic gas, the flow becomes
sonic if the pressure ratio pr ¼ Pout =Pin is above a critical pressure
3.3. Flow components
ratio defined by
g=ðg1Þ
The flow components impose a mass flow according to a 2
pr crit ¼ : ð16Þ
pressure drop at their boundaries. Only algebraic equations are gþ1
used to compute mass flows because flow dynamics are negligible
An isentropic flow for ideal gas through a nozzle is considered to
in comparison to thermal dynamics. Thus, there is no mass
calculate the turbine mass flow. It is computed from
accumulation in components and the mass balance is hence
defined by G
_ ¼ md
m ; ð17Þ
Gd
dM
¼0 3 m _ out :
_ in ¼ m ð13Þ
dt sffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi
ðgþ1Þ=ðg1Þ
2
Gsonic ¼ Pin rin g ; ð18Þ
gþ1
3.3.1. Valves sffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi
Thermodynamic transformation through valves is considered 2 rin Pin g
Gsub ¼ pr 2=g pr ðgþ1Þ=g ; ð19Þ
isenthalpic ðhin ¼ hout Þ and the mass flow is computed according g1
to a classical CV (valve coefficient) formulation. The input
parameters of valve models are their maximum CV, their opening where G is calculated according to the flow regime: (18) is used for
and closing speed and their rangeability (characterize the non- a sonic flow and (19) for a subsonic flow. These calculi are ratios
ARTICLE IN PRESS
B. Bradu et al. / Control Engineering Practice 17 (2009) 1388–1397 1393
q1 q2 q3 q4 q5
between design values represented by subscript ‘‘d’’ and current 3.4. Heat exchangers
values sure to obtain good results at the design operating point
and remove all constants of the system generally not well known Cryogenic heat exchangers (HXs) are generally plate-fin
and inducing errors. counter-current HXs in brazed aluminum. HXs are composed of
If an isentropic expansion is considered ðsin ¼ sout Þ, the different streams which are characterized by their design
corresponding output enthalpy houts can be directly deduced from operating point (temperature, pressure, mass flow, pressure drop,
the output pressure and the entropy. The real output enthalpy hout global heat transfer coefficient). The material, the volume and the
is computed using an isentropic efficiency: mass of each stream are also taken into account to have good
2 ! dynamics. To cope with the complexity of the HX and to take into
v v
Z ¼ Zd 2 ; ð20Þ account the dynamics along the streams, a space discretization
vd vd
is performed on each stream which is divided into N nodes, see
Fig. 6.
cb pDN
v¼ ¼ pffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi ; ð21Þ Eqs. (1)–(3) previously defined for pressure components are
cj 2 ðhin houts Þ used to estimate the temperature of each node and a term qi is
added in (2) to compute the convective heat fluxes between hot
where v is the ratio of the blade velocity ðcb Þ to the jet velocity ðcj Þ
and cold streams. This term is calculated using a logarithmic
of the turbine, N is the shaft speed of the turbine and D is the
mean temperature difference method (LMTD):
diameter of the blade. Considering the isentropic efficiency in the
energy balance, the real output enthalpy hout can be computed DTiþ1 DTi
qi ¼ hci ð25Þ
from DTiþ1
log
E¼m _ ðhin hout Þ ¼ Z m
_ ðhin houts Þ: ð22Þ DTi
The shaft speed N is computed by the differential equation with DTi ¼ Tihot TNiþ1
cold
and the global heat transfer coefficient hci
4
dN N in a node is computed on the basis of the empirical formulation of
IN ¼ E Ed ; ð23Þ
dt Nd Colburn, especially adapted for turbulent flow in HXs (Colburn,
1933):
where I is the inertia momentum of the shaft.
k 1=3 _ i D 0:8
m
hci ¼ i 0:023 Pri : ð26Þ
3.3.3. Warm compressors
D mi
Warm compressors compress gaseous helium at ambient
Many phenomena occur in HXs and the empirical formulations
temperature; an isothermal compression is considered here
used do not take into account complex geometries. For those,
ðTin ¼ Tout Þ. They are volumetric machines, thus the mass flow
other methods exist to compute global heat transfer coefficients
simply depends on the density of input helium and on the
according to the HX type. These methods imply a perfect
volumetric flow F_ of the compressor which is constant:
knowledge of the equipments and the formulas are specific to
m_ ¼ F_ r : in ð24Þ each configuration. To cancel the geometrical constant D generally
not known and to avoid static error at the design operating point,
the ratio of (26) to the design global heat transfer coefficient hcd ,
3.3.4. Cold compressors
known and guaranteed by suppliers, is calculated:
They are nonvolumetric machines and the model is based on
their internal pressure field. This pressure field defines the 1=3
hcd ki _ i md 0:8
m Pri
compressor operating points according to three correlated vari- hci ¼ ð27Þ
N kd _ d mi
m Prd
ables: the pressure ratio, the reduced mass flow and the reduced
speed. Several operating points of this pressure field are entered
as parameters and the mass flow is computed by interpolations to compute the global heat transfer coefficient as a function of
between operating points. The pressure fields are adjusted by a design values identified by the subscript ‘‘d’’.
parameter identification made on each compressor to fit experi- In other simulation approaches, Kutzschbach et al. (2006) and
mental operating points. Isentropic efficiencies are also defined Deschildre et al. (2008) use an equation based on the Colburn
from this pressure field and the same method of interpolation is formulation by adjusting parameters related to the type of HXs.
used to calculate the output temperatures, see, for instance, Next, Maekawa et al. (2005) calculate also a ratio with the design
Bradu, Niculescu, and Gayet (2008a) for more details on the cold- heat transfer coefficient and it considers a constant conductivity,
compressor model. viscosity and Prandtl number.
ARTICLE IN PRESS
1394 B. Bradu et al. / Control Engineering Practice 17 (2009) 1388–1397
The mass flows between each node are deduced from the different orders to actuators and controllers, and there is no
friction equation given by experimental data included in simulations. Nevertheless, some
m_ 2L manual operations can be reproduced in simulations (set-point
DP ¼ fr ; ð28Þ changed manually, valve forced by operators, etc.).
S2 2Dr
where fr ¼ 0:184 Re0:2 is the Darcy friction factor. 4.1. CMS cryoplant
The same method is used to remove all geometrical parameters
and empirical constants. Finally the following equation using the The first cryogenic system modeled and simulated is the
known design values is obtained: cryoplant of the particle detector CMS where a large super-
1:8 0:2 conducting magnet of 225 ton has to be cooled at 4.5 K with liquid
_
m md rd
DP ¼ DPd : ð29Þ helium. The CMS cryoplant is composed of a compression station,
m_d m r
a helium cold-box (refrigerator) and a coil cryogenic system as
shown in Fig. 7.
The model of the entire plant under EcosimPro& is made of
3.5. Numerical solvers 3080 DAEs containing 219 derivatives. Around 30 control loops
and more than 300 inputs/outputs are simulated in the PLC.
The numerical solvers embedded in the software EcosimPro First simulations have been performed with the cold-box
are used to solve the differential and algebraic equations (DAEs) of alone. The dynamic behavior simulated agrees to the one
the form: observed on the real plant as it is shown on the first graph of
_
Fðt; yðtÞ; yðtÞÞ ¼ 0: ð30Þ Fig. 8 where the simulated temperature at the beginning and at
the cold-end of the cold-box is plotted and compared with a real
The following steps are performed to solve the entire system at cool-down achieved in January 2008. The maximum relative error
each integration step: observed in simulation on temperatures, pressures and mass
flows is about 5% around turbines.
symbolic solutions of independent linear equations are found. The second graph of Fig. 8 shows the temperature after the first
subsets of linear systems are detected and solved by a linear HX during a manual action on the turbine inlet valve performed in
equations system solver. February 2006 (the first cool-down of the magnet) and repro-
subsets of non-linear systems are detected and solved by a duced in simulation. The good agreement between the real and
tearing technique which performs iterations on some selected the simulated behaviors shows that the global dynamic response
tearing variables to calculate unknowns as function of these of the plant is correct. Note that the delay between the precooler
variables. stop on the real plant and in the simulation comes from the
then, the DAE system is solved by a DASSL algorithm (Petzold, difference of the cool-down speed due to the under-estimation of
1984). the cold-mass.
The different cryogenic components described previously were A 1.8 K refrigeration unit for the LHC was also simulated. This
used to model different CERN cryogenic systems. All simulations unit is used to cool-down the LHC magnet helium baths from 4.5 K
are performed in closed-loop as on real plants, the PLC gives the down to 1.8 K following the saturation line of helium. These units
LN2
Compressor T1 T2 T3
Cold Box
Station
E03
E02 E04 E05 E06
C02
125l
H
e
C01
E01
Coil Cryogenic
System 6000l
800l
Thermal
Screens
CMS Magnet
T (K)
T (K)
150 75
70
100
65
Temperature after the first HX
60
50
55
Turbine inlet Valve unforced
Fig. 8. Comparison between experimental and simulated temperatures during a cool-down of the cold box alone and with the CMS magnet.
15 bar1 bar Similarly to the previous case study, the simulation agrees with
the real data acquired during the final cool-down of the sector 5-6
of the LHC achieved in April 2008, see Fig. 10. Transients are well
Compressor Station
2
Internal Model Control for the high pressure regulation on which
classical PI controllers are not adapted (Bradu, Niculescu, & Gayet,
1
2009).
An Internal Model Control (IMC) with 2 degrees of freedom
was developed: one degree to follow the set-point and one degree
1 bar
300K S244 to compensate unmeasured disturbances. An anti-windup system
to take into account saturations of actuators (valves) was also
included, see Zheng, Kothare, and Morari (1994) for details.
Moreover, a feed-forward action was added to take into account a
measurable disturbance. Note that the internal model of the
Distribution
110 10
Simulation
Real Plant
7
Massflow (g/s)
100
log P (kPa)
90 4
80
2
70
0 2 4 6 8 10 0 2 4 6 8 10
Time (hr) Time (hr)
500
Temperature (K)
400 20
300
15
200
10
100
0 2 4 6 8 10 0 2 4 6 8 10
Time (hr) Time (hr)
Fig. 10. Comparison between experimental and simulated main variables during the pumping from 10 to 1.6 kPa of a LHC sector.
newset-point IMC
5 16.2
management
3
16
2
15.8
HP (bar)
0 1 2 3 4 5 6 7 8 9 10
Disturbance
CC2 speed 15.6 (Turbinestop)
400 15.4
350
15.2
N (Hz)
300
250 15
200
-3000 -1000 0 1000 3000
0 1 2 3 4 5 6 7 8 9 10
time (s)
Time (hr)
Fig. 12. Comparison in simulation between PID and IMC control.
Fig. 11. Comparison between the former and the new pressure set-point
management of cold compressors.
plots), on the number of DAEs, derivative variables and coupled
linear subsystems which generate a lot of computation. A HX
4.4. Simulation speed stream divided into N nodes generates N þ 1 derivative variables
and one coupled linear subsystem of N equations. Hence, the
Simulations are performed on a classical computer, a Pentium& simulation speed is directly linked to the total number of HX
D 3.4 GHz with 1 GB of RAM. The simulation speed is highly nodes.
dependent on the communication interval of the integration (the After various simulations and comparisons, it was observed
frequency with which data are available for the PLC and for the that a communication interval of 2 s is sufficient to simulate the
ARTICLE IN PRESS
B. Bradu et al. / Control Engineering Practice 17 (2009) 1388–1397 1397
Acknowledgments
fastest dynamics between the model and the PLC and to have a
sufficient number of points in plots. Moreover, it was noticed that The authors would like to thank the CERN cryogenic group in
for classical plate-fin HXs (between 300 and 6 K), streams have to Geneva who supported this work as well as the anonymous
be divided into 5 nodes minimum to appreciate the spatial reviewers of Control Engineering Practice whose comments and
dynamic. On the basis of the above considerations, the trade-off pertinent remarks helped us to improve the overall contribution
between the computational time and the precision is in agree- of the paper.
ment with the requirements: simulations are much faster than
real-time. Table 2 compares simulation speeds during the cool- References
down and a 1.8 K refrigeration unit for the LHC (QURC). Each
system is simulated in different configurations: alone, with its Alves, R., Normey-Rico, J., Merino, A., Acebes, L., & de Prada, C. (2005). Opc based
distributed real time simulation of complex continuous processes. Simulation
warm compression station (WCS) or with its thermal load. Note Modelling Practice and Theory, 13(7), 525–549.
that for operator training, it is possible to activate a real-time Blanco, E., de Prada, C., Cristea, S., & Casas, J. (2009). Nonlinear predictive control in
option. the LHC accelerator. Control Engineering Practice, in press, doi:10.1016/j.
conengprac.2009.04.007.
Bradu, B., Niculescu, S.-I., & Gayet, P. (2008a). Dynamic simulation of a 1.8 K
refrigeration unit for the LHC. In Proceedings of the 22nd ICEC (pp. 525–530).
Bradu, B., Niculescu, S.-I., & Gayet, P. (2008b). Modeling, simulation and control of
5. Concluding remarks and perspectives
large scale cryogenic systems. In Proceedings of the 17th IFAC World Congress
(pp. 13265–13270).
The tools and methods used for these simulations are close to Bradu, B., Niculescu, S.-I., & Gayet, P. (2009). Control optimization of a LHC 18 kW
cryoplant using dynamic simulations. Advances in Cryogenic Engineering, in
those used in continuous processes like in petroleum or sugar press.
industries (see for instance Alves et al., 2005), and the different Butkevich, I., Idnic, E., & Shpakov, V. (2006). Cryogenic helium units simulation
constraints related to cryogenic specificities were introduced. model. In 21st international cryogenic engineering conference, Prague, Czech
Republic (pp. 223–226).
Cryogenic components have been designed and tested success- Colburn, A. (1933). A method of correlating forced convection heat transfer data
fully with different CERN cryogenic systems. The simulation and a comparison with fluid friction. Transactions of the American Institute of
environment PROCOS proved its ability to conduct pertinent Chemical Engineers, 19, 174–210.
Deschildre, C., Barraud, A., Bonnay, P., Briend, P., Girard, A. Poncet, J. Dynamic
dynamic simulations for large-scale cryogenic systems during a
simulation of an helium refrigerator. Advances in Cryogenic Engineering, 53,
complete cool-down phase. 475–482.
Errors mainly come from bad component parameters (e.g., EA International, (2007). EcosimPro 4.4: Mathematical algorithms and simulation
thermal efficiency, volume, etc.), model approximations (e.g., guide, Madrid, Spain.
Gayet, P., & Barille re, R. (2005). UNICOS: A framework to built industry-like control
conduction neglected) and unknown pressure drops due to systems, principles and methodology. In International conference on accelerator
complex geometries (e.g., pipe network). Some component and large experiment physics control systems, Geneva, Switzerland.
parameters not well known such as design pressure drops have IEC, (1997). Standard IEC 61512-1, batch control. Part 1: Models and terminology.
Kutzschbach, A., Haberstroh, C., & Quack, H. (2006). Dynamic simulation of a
been adapted to cope with real data. Moreover, some empirical helium liquefier. In 21st international cryogenic engineering conference, Prague,
characteristics as pressure fields of compressors can be corrected Czech Republic (pp. 219–222).
using parameter identification experimentally. Uncertainties on Lebrun, P. (1999). Cryogenics for the large hadron collider. IEEE Transactions on
Applied Superconductivity, 10, 1500–1506.
helium and material properties are minimal and do not imply Maekawa, R., Ooba, K., Nobutoki, M., & Mito, T. (2005). Dynamic simulation of the
significative errors, excepting in the helium supercritical region. It helium refrigerator/liquefier for LHD. Cryogenics, 45, 199–211.
was also noticed that the modeling of large volumes and metal Marquardt, E., Le, J., & Radebaugh, R. (2000). Cryogenic material properties
database. In Proceedings of the 11th international cryocooler conference
mass is very important to obtain good dynamics illustrated by
(pp. 681–687).
some delay and buffer effects even if volumes and masses are Olsen, I., Endrestol, G., & Sira, T. (1997). A rigorous and efficient distillation column
generally not well known in such large-scale cryogenic systems. model for engineering and training simulators. Computer and Chemical
Engineering, 21, 193–198.
The simulator was also used for different purposes and showed
Petzold, L. (1984). A description of DASSL: A differential-algebraic system solver.
its flexibility. For instance, it was used to perform a virtual PLC Sandia National Laboratories.
commissioning on the CERN central helium liquefier, allowing Szafnicki, K., Narce, C., & Bourgois, J. (2004). Towards an integrated tool for control,
developers to debug the control program before its implementa- supervision and operator training—application to industrial wastewater
detoxication plants. Control Engineering Practice, 13, 729–738.
tion on the real plant. This method proved its interest by the gain Zheng, A., Kothare, M., & Morari, M. (1994). Anti-windup design for internal model
obtained in terms of running time. control. International Journal of Control, 60, 1015–1024.