pdf download - Software and Computer Technology - TU Delft

Case Study Details
B.5 Discretization of Implementation MBD-2
S40-S42: fault scenarios, extracted from ServiceWAX tool.
B.5 Discretization of Implementation MBD-2
The implementation MBD-2 of the case study explores the benefits of a discretization. This discretization,
the mapping of the integer values on the domain M values, is defined as follows:
IconstantINT =
Imin + Imax
2
IsetINT n = IsetINT − IconstantINT
IactINT n = IactINT − IconstantINT
⎧
T L,
⎪⎨
Iset =
⎪⎩
⎧
T L,
⎪⎨
Iact =
⎪⎩
⎧
T L,
⎪⎨
e sp =
⎪⎩
⎧
⎪⎨
Vact =
⎪⎩
⎧
⎨
V set =
⎩
⎧
T L,
⎪⎨
e p =
⎪⎩
if e i ≥ T H I, IsetINT n ∈ [−∞,0], e sp ∈ [H,T H];
L, if IsetINT n ∈ [−∞,−500], e i < T H I;
N, if IsetINT n ∈ [−500,500], e i < T H I;
H, if IsetINT n ∈ [500,∞], e i < T H I;
T H, if e i ≥ T H I, IsetINT n ∈ [0,∞], e sp ∈ [L,T L];
if e i ≥ T H I, IactINT n ∈ [−∞,0], Iset ∈ (not)[T L,T H];
L, if IactINT n ∈ [−∞,−500], e i < T H I;
N, if IactINT n ∈ [−500,500], e i < T H I;
H, if IactINT n ∈ [500,∞], e i < T H I;
T H, if e i ≥ T H I, IactINT n ∈ 〈0,∞], Iset ∈ (not)[T L,T H];
if e sp ≥ T H V , vset ∈ [N,H,T H];
L, if e sp ∈ [−∞,−500], e i < T H V ;
N, if e sp ∈ [−500,500], e i < T H V ;
H, if e sp ∈ [500,∞], e i < T H V ;
T H, if e sp ≥ T H V , vset ∈ [L,T L];
T L, if VactINT ∈ [−∞,0], e sp ≥ T H V ;
L, if VactINT ∈ [−∞,−500], e i < T H V ;
N, if VactINT ∈ [−500,500], e i < T H V ;
H, if VactINT ∈ [500,∞], e i < T H V ;
T H, if VactINT ∈ 〈0,∞], e sp ≥ T H V ;
L, if VsetINT ∈ [−∞,−500], e i < T H V ;
N, if VsetINT ∈ [−500,500], e i < T H V ;
H, if VsetINT ∈ [500,∞], e i < T H V ;
if e p ≥ T H P, vset ∈ [N,H,T H];
L, if e p ∈ [−∞,−500], e i < T H P;
N, if e p ∈ [−500,500], e i < T H P;
H, if e p ∈ [500,∞], e i < T H P;
T H, if e p ≥ T H P, vset ∈ [L,T L];
89