Nr Name Value
1 a ?
2 level ?
3 valve ?
Nr Name Value
1 hmin 2.0
2 hmax 4.0
3 δ 0.5
4 closingTime 4.0
Nr Name Value
1 ValveStatus {opened,closed,opening,closing}
2 INT (-1 .. 4)
Nr Event Target State ID
1SETUP_CONSTANTS(hmin=2.0,hmax=4.0,δ=0.5,closingTime=4.0)State 0
2INITIALISATION(a=0.0,level=3.0,valve=closed)
3FlowConstantValveAperture(1.0,3.0)
4FlowConstantValveAperture(1.0,2.9405960199202656)
5FlowConstantValveAperture(1.0,2.882368317456969)
6FlowConstantValveAperture(1.0,2.8252936007527456)
7FlowConstantValveAperture(1.0,2.7693490391599065)
8FlowConstantValveAperture(1.0,2.714512254107878)
9FlowConstantValveAperture(1.0,2.6607613101514715)
10FlowConstantValveAperture(1.0,2.6080747061964162)
11FlowConstantValveAperture(1.0,2.5564313668986327)
12FlowConstantValveAperture(1.0,2.5058106342338147)
13ValveCanOpen
14FlowOpeningValve(1.0,2.4561922592339442)
15FlowOpeningValve(1.0,-1.3424436061125662)
16FlowOpeningValve(1.0,-5.065861441700674)
17FlowOpeningValve(1.0,-8.715550664310847)
18ValveOpened
19FlowConstantValveAperture(1.0,-12.292971198295302)
20FlowConstantValveAperture(1.0,-12.049554059567209)
21FlowConstantValveAperture(1.0,-11.810956903125804)
22FlowConstantValveAperture(1.0,-11.577084286927176)
23ValveCanClose
24FlowClosingValve(1.0,-11.347842658806501)
25FlowClosingValve(1.0,-7.373140319055935)
26FlowClosingValve(1.0,-3.4771423588431736)
27FlowClosingValve(1.0,0.34170967296319965)
28ValveClosed
29FlowConstantValveAperture(1.0,4.0849433680946134)
30FlowConstantValveAperture(1.0,4.004056069939568)
31FlowConstantValveAperture(1.0,3.924770447600625)
32FlowConstantValveAperture(1.0,3.8470547857716926)
33FlowConstantValveAperture(1.0,3.7708779971518167)
34FlowConstantValveAperture(1.0,3.696209610009845)
35FlowConstantValveAperture(1.0,3.623019755995329)
36FlowConstantValveAperture(1.0,3.551279158190786)
37FlowConstantValveAperture(1.0,3.480959119400539)
38FlowConstantValveAperture(1.0,3.4120315106714596)
39FlowConstantValveAperture(1.0,3.344468760041009)
40FlowConstantValveAperture(1.0,3.2782438415080857)
41FlowConstantValveAperture(1.0,3.2133302642222663)
42FlowConstantValveAperture(1.0,3.1497020618871105)
43FlowConstantValveAperture(1.0,3.0873337823732974)
44FlowConstantValveAperture(1.0,3.026200477537433)
45FlowConstantValveAperture(1.0,2.966277693242461)
46FlowConstantValveAperture(1.0,2.9075414595756826)
47FlowConstantValveAperture(1.0,2.849968281260471)
48FlowConstantValveAperture(1.0,2.7935351282578473)
49FlowConstantValveAperture(1.0,2.738219426554158)
50FlowConstantValveAperture(1.0,2.68399904913117)
51FlowConstantValveAperture(1.0,2.6308523071149654)
52FlowConstantValveAperture(1.0,2.5787579411001054)
53FlowConstantValveAperture(1.0,2.527695112645583)
54ValveCanOpen
55FlowOpeningValve(1.0,2.47764339593917)
56FlowOpeningValve(1.0,-1.3214172303731817)
57FlowOpeningValve(1.0,-5.045251416096479)
58FlowOpeningValve(1.0,-8.695348744556798)
59ValveOpened
60FlowConstantValveAperture(1.0,-12.273169303354132)
61FlowConstantValveAperture(1.0,-12.030144268416914)
62FlowConstantValveAperture(1.0,-11.791931451591124)
63FlowConstantValveAperture(1.0,-11.55843556457382)
64ValveCanClose
65FlowClosingValve(1.0,-11.329563205896875)
66FlowClosingValve(1.0,-7.355222823565146)
67FlowClosingValve(1.0,-3.4595796535341226)
68FlowClosingValve(1.0,0.3589246134068089)
69ValveClosed
70FlowConstantValveAperture(1.0,4.101817429878494)
71FlowConstantValveAperture(1.0,4.0205960029134244)
72FlowConstantValveAperture(1.0,3.9409828679581818)
73FlowConstantValveAperture(1.0,3.862946178697261)
74FlowConstantValveAperture(1.0,3.786454719414455)
75FlowConstantValveAperture(1.0,3.711477892506151)
76FlowConstantValveAperture(1.0,3.6379857062418814)
77FlowConstantValveAperture(1.0,3.5659487627672313)
Generated on 20/12/2023 at 11:39 using ProB version 1.12.3-nightly
Main specification file: WaterTank_v3.mch (modified on 20/12/2023 at 11:39)
Main specification name: WaterTank_v3