still_superModelΒΆ

This class contains all variables and time-dependent behavior of the still module. Not all variables are included in the still_partial class.

Time dependent fault induction can be changed under // error induction.

Threshold for the state-graph can be changed under // CPPS parameters

 1 model still_superModel
 2     Real pump_N(start = 150);
 3     Real max_levelTank(start = 0);
 4     Real min_levelTank(start = 0);
 5     Real evap_level(start = 0);
 6     Real valve_leaking_simulator(start = 0);
 7     Real valve_clogging_simulator(start = 0);
 8     Real outlet(start = 0);
 9 equation
10     // CPPS component controll
11     outlet = if time <= 3000 then 0 else 1;
12     // CPPS parameters
13     pump_N = 200;
14     max_levelTank = 0.8;
15     min_levelTank = 0.2;
16     evap_level = 0.35;
17     // error induction
18     valve_leaking_simulator = if time >= 4000 then 0.0001 else 0;  // leaking
19     valve_clogging_simulator = if time >= 4000 then 0.8 else 1;    // clogging
20 end still_superModel;