CristalCaveGem » LustreC » Lustrec-Tests

-- File generated using Simulink2Lustre r550

-- More informations at https://cavale.enseeiht.fr/redmine/projects/cristalcavegem

--Trace FROMFILE : AltitudeControl_AltConfig.mdl ;

--Trace FROMFILE_SHA256 : d1ec5a2af426376e4af6b5bb52b80f7065403900e3e4708daf7f1448fad07e8a ;

 open "mathFunctionsLibrary"

 open "arrayFunctionsLibrary"

--Trace PARAMETER : "AltitudeControl_AltConfig/Constant/Value" ;

const AltitudeControlAltConfig_Constant_Value = 0.0001 ;

--Trace PARAMETER : "AltitudeControl_AltConfig/Constant1/Value" ;

const AltitudeControlAltConfig_Constant1_Value = 0 ;

--Trace PARAMETER : "AltitudeControl_AltConfig/Constant3/Value" ;

const AltitudeControlAltConfig_Constant3_Value = 10 ;

--Trace PARAMETER : "AltitudeControl_AltConfig/Constant4/Value" ;

const AltitudeControlAltConfig_Constant4_Value = 3.2 ;

--Trace PARAMETER : "AltitudeControl_AltConfig/Constant5/Value" ;

const AltitudeControlAltConfig_Constant5_Value = 1000 ;

--Trace PARAMETER : "AltitudeControl_AltConfig/Kh/Gain" ;

const AltitudeControlAltConfig_Kh_Gain = 0.08 ;

--Trace PARAMETER : "AltitudeControl_AltConfig/Variable \\nRate Limit/Gain/Gain" ;

const AltitudeControlAltConfig_VariableRateLimit_Gain_Gain = 20 ;

--Trace PARAMETER : "AltitudeControl_AltConfig/Variable \\nRate Limit/Gain1/Gain" ;

const AltitudeControlAltConfig_VariableRateLimit_Gain1_Gain = -1 ;

--Trace PARAMETER : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Constant/Value" ;

const AltitudeControlAltConfig_VariableRateLimit_integratorreset_Constant_Value = 0.0 ;

--Trace PARAMETER : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Gain1/Gain" ;

const AltitudeControlAltConfig_VariableRateLimit_integratorreset_Gain1_Gain = 0.02 ;

--Trace PARAMETER : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/delay#1/InitialValue" ;

const AltitudeControlAltConfig_VariableRateLimit_integratorreset_delaysharp1_InitialValue = 1.0 ;

--Trace PARAMETER : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/delay#2/InitialValue" ;

const AltitudeControlAltConfig_VariableRateLimit_integratorreset_delaysharp2_InitialValue = 0.0 ;

--Trace PARAMETER : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/delay#3/InitialValue" ;

const AltitudeControlAltConfig_VariableRateLimit_integratorreset_delaysharp3_InitialValue = 0.0 ;

--Trace PARAMETER : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/zero/Value" ;

const AltitudeControlAltConfig_VariableRateLimit_integratorreset_zero_Value = 0 ;

--Trace PARAMETER : "AltitudeControl_AltConfig/k/Gain" ;

const AltitudeControlAltConfig_k_Gain = -1 ;

--Trace PARAMETER : "AltitudeControl_AltConfig/kts2fps/Gain" ;

const AltitudeControlAltConfig_kts2fps_Gain = 1.6878 ;

--Trace PARAMETER : "AltitudeControl_AltConfig/observer/Constant/Value" ;

const AltitudeControlAltConfig_observer_Constant_Value = 100000 ;

--Trace PARAMETER : "AltitudeControl_AltConfig/observer/Constant2/Value" ;

const AltitudeControlAltConfig_observer_Constant2_Value = 1 ;

--Trace PARAMETER : "AltitudeControl_AltConfig/r2d/Gain" ;

const AltitudeControlAltConfig_r2d_Gain = 57.2958 ;

--Trace BLOCK : "AltitudeControl_AltConfig" ;

--@ ensures AltitudeControlAltConfig_observer (Altitude_Out1_95) ;

node AltitudeControlAltConfig (

	--Trace PORT : "AltitudeControl_AltConfig/alteng/Out1" ;

alteng_Out1_75 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/AltCmd/Out1" ;

AltCmd_Out1_85 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Altitude/Out1" ;

Altitude_Out1_95 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/gskts/Out1" ;

gskts_Out1_105 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/hdot/Out1" ;

hdot_Out1_115 : real)

returns (

	--Trace PORT : "AltitudeControl_AltConfig/altgamcmd/In1" ;

altgamcmd_In1_835 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/observer_output/In1" ;

observeroutput_In1_847 : bool) ;

var

	--Trace PORT : "AltitudeControl_AltConfig/Abs/Out1" ;

Abs_Out1_118 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Divide/Out1" ;

Divide_Out1_174 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Kh/Out1" ;

Kh_Out1_183 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Logical\\nOperator/Out1" ;

LogicalOperator_Out1_188 : bool ;

	--Trace PORT : "AltitudeControl_AltConfig/MinMax/Out1" ;

MinMax_Out1_198 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/MinMax1/Out1" ;

MinMax1_Out1_208 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Mux/Out1" ;

Mux_Out1_212 : real^2 ;

	--Trace PORT : "AltitudeControl_AltConfig/Mux1/Out1" ;

Mux1_Out1_216 : real^2 ;

	--Trace PORT : "AltitudeControl_AltConfig/Sum/Out1" ;

Sum_Out1_226 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Sum3/Out1" ;

Sum3_Out1_236 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Switch/Out1" ;

Switch_Out1_245 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/Out1" ;

VariableRateLimit_Out1_255 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable Limit\\nSaturation_0/Out1" ;

VariableLimitSaturation0_Out1_655 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/k/Out1" ;

k_Out1_731 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/kts2fps/Out1" ;

kts2fps_Out1_740 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/r2d/Out1" ;

r2d_Out1_823 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Abs/In1" ;

Abs_In1_117 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/AltCtnlScope/In1" ;

AltCtnlScope_In1_120 : real^2 ;

	--Trace PORT : "AltitudeControl_AltConfig/AltCtnlScope/In2" ;

AltCtnlScope_In2_121 : real^2 ;

	--Trace PORT : "AltitudeControl_AltConfig/AltCtnlScope/In3" ;

AltCtnlScope_In3_122 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Divide/In1" ;

Divide_In1_172 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Divide/In2" ;

Divide_In2_173 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Kh/In1" ;

Kh_In1_182 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Logical\\nOperator/In1" ;

LogicalOperator_In1_187 : bool ;

	--Trace PORT : "AltitudeControl_AltConfig/MinMax/In1" ;

MinMax_In1_196 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/MinMax/In2" ;

MinMax_In2_197 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/MinMax1/In1" ;

MinMax1_In1_206 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/MinMax1/In2" ;

MinMax1_In2_207 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Mux/In1" ;

Mux_In1_210 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Mux/In2" ;

Mux_In2_211 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Mux1/In1" ;

Mux1_In1_214 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Mux1/In2" ;

Mux1_In2_215 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Sum/In1" ;

Sum_In1_224 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Sum/In2" ;

Sum_In2_225 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Sum3/In1" ;

Sum3_In1_234 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Sum3/In2" ;

Sum3_In2_235 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Switch/In1" ;

Switch_In1_242 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Switch/In2" ;

Switch_In2_243 : bool ;

	--Trace PORT : "AltitudeControl_AltConfig/Switch/In3" ;

Switch_In3_244 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/In1" ;

VariableRateLimit_In1_251 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/In2" ;

VariableRateLimit_In2_252 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/In3" ;

VariableRateLimit_In3_253 : bool ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/In4" ;

VariableRateLimit_In4_254 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable Limit\\nSaturation_0/In1" ;

VariableLimitSaturation0_In1_652 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable Limit\\nSaturation_0/In2" ;

VariableLimitSaturation0_In2_653 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable Limit\\nSaturation_0/In3" ;

VariableLimitSaturation0_In3_654 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/k/In1" ;

k_In1_730 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/kts2fps/In1" ;

kts2fps_In1_739 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/r2d/In1" ;

r2d_In1_822 : real ;

let

	--Trace BLOCK : "AltitudeControl_AltConfig/Abs" ;

	Abs_Out1_118 =

	if Abs_In1_117 < 0.0 then

	- Abs_In1_117

	else Abs_In1_117 ;

	--Trace BLOCK : "AltitudeControl_AltConfig/Divide" ;

	Divide_Out1_174 = Divide_In1_172 * (1.0 div Divide_In2_173) ;

	--Trace BLOCK : "AltitudeControl_AltConfig/Kh" ;

	Kh_Out1_183 = AltitudeControlAltConfig_Kh_Gain * Kh_In1_182 ;

	--Trace BLOCK : "AltitudeControl_AltConfig/Logical\\nOperator" ;

	LogicalOperator_Out1_188 = not LogicalOperator_In1_187 ;

	--Trace BLOCK : "AltitudeControl_AltConfig/MinMax" ;

	MinMax_Out1_198 =

	if MinMax_In1_196 <= MinMax_In2_197 then

	MinMax_In1_196

	else MinMax_In2_197 ;

	--Trace BLOCK : "AltitudeControl_AltConfig/MinMax1" ;

	MinMax1_Out1_208 =

	if MinMax1_In1_206 >= MinMax1_In2_207 then

	MinMax1_In2_207

	else MinMax1_In1_206 ;

	--Trace BLOCK : "AltitudeControl_AltConfig/Mux" ;

	Mux_Out1_212 = [ Mux_In1_210, Mux_In2_211 ] ;

	--Trace BLOCK : "AltitudeControl_AltConfig/Mux1" ;

	Mux1_Out1_216 = [ Mux1_In1_214, Mux1_In2_215 ] ;

	--Trace BLOCK : "AltitudeControl_AltConfig/Sum" ;

	Sum_Out1_226 = Sum_In1_224 + - Sum_In2_225 ;

	--Trace BLOCK : "AltitudeControl_AltConfig/Sum3" ;

	Sum3_Out1_236 = Sum3_In1_234 + Sum3_In2_235 ;

	--Trace BLOCK : "AltitudeControl_AltConfig/Switch" ;

	Switch_Out1_245 =

	if Switch_In2_243 then

	Switch_In1_242

	else Switch_In3_244 ;

	--Trace BLOCK : "AltitudeControl_AltConfig/Variable \\nRate Limit" ;

	VariableRateLimit_Out1_255 = AltitudeControlAltConfig_VariableRateLimit (VariableRateLimit_In1_251, VariableRateLimit_In2_252, VariableRateLimit_In3_253, VariableRateLimit_In4_254) ;

	--Trace BLOCK : "AltitudeControl_AltConfig/Variable Limit\\nSaturation_0" ;

	VariableLimitSaturation0_Out1_655 = AltitudeControlAltConfig_VariableLimitSaturation0 (VariableLimitSaturation0_In1_652, VariableLimitSaturation0_In2_653, VariableLimitSaturation0_In3_654) ;

	--Trace BLOCK : "AltitudeControl_AltConfig/k" ;

	k_Out1_731 = int_to_real (AltitudeControlAltConfig_k_Gain) * k_In1_730 ;

	--Trace BLOCK : "AltitudeControl_AltConfig/kts2fps" ;

	kts2fps_Out1_740 = AltitudeControlAltConfig_kts2fps_Gain * kts2fps_In1_739 ;

	--Trace BLOCK : "AltitudeControl_AltConfig/r2d" ;

	r2d_Out1_823 = AltitudeControlAltConfig_r2d_Gain * r2d_In1_822 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Sum_2_Kh" ;

	Kh_In1_182 = Sum_Out1_226 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/AltCmd_2_Sum" ;

	Sum_In1_224 = AltCmd_Out1_85 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/AltCmd_2_Mux" ;

	Mux_In1_210 = AltCmd_Out1_85 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Altitude_2_Sum" ;

	Sum_In2_225 = Altitude_Out1_95 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Altitude_2_Mux" ;

	Mux_In2_211 = Altitude_Out1_95 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/hdot_2_Abs" ;

	Abs_In1_117 = hdot_Out1_115 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/hdot_2_Variable \\nRate Limit" ;

	VariableRateLimit_In4_254 = hdot_Out1_115 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Abs_2_Sum3" ;

	Sum3_In1_234 = Abs_Out1_118 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Constant3_2_Sum3" ;

	Sum3_In2_235 = int_to_real (AltitudeControlAltConfig_Constant3_Value) ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/k_2_Variable Limit\\nSaturation_0" ;

	VariableLimitSaturation0_In3_654 = k_Out1_731 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Sum3_2_k" ;

	k_In1_730 = Sum3_Out1_236 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Sum3_2_Variable Limit\\nSaturation_0" ;

	VariableLimitSaturation0_In1_652 = Sum3_Out1_236 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/alteng_2_Logical\\nOperator" ;

	LogicalOperator_In1_187 =

	if alteng_Out1_75 = 0.0 then

	false

	else true ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/alteng_2_AltCtnlScope" ;

	AltCtnlScope_In3_122 = alteng_Out1_75 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/alteng_2_Switch" ;

	Switch_In2_243 =

	if alteng_Out1_75 = 0.0 then

	false

	else true ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/gskts_2_kts2fps" ;

	kts2fps_In1_739 = gskts_Out1_105 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Divide_2_r2d" ;

	r2d_In1_822 = Divide_Out1_174 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/r2d_2_altgamcmd" ;

	altgamcmd_In1_835 = r2d_Out1_823 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Logical\\nOperator_2_Variable \\nRate Limit" ;

	VariableRateLimit_In3_253 = LogicalOperator_Out1_188 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable Limit\\nSaturation_0_2_Mux1" ;

	Mux1_In1_214 = VariableLimitSaturation0_Out1_655 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable Limit\\nSaturation_0_2_Variable \\nRate Limit" ;

	VariableRateLimit_In2_252 = VariableLimitSaturation0_Out1_655 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Constant4_2_Variable \\nRate Limit" ;

	VariableRateLimit_In1_251 = AltitudeControlAltConfig_Constant4_Value ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit_2_Mux1" ;

	Mux1_In2_215 = VariableRateLimit_Out1_255 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit_2_Divide" ;

	Divide_In1_172 = VariableRateLimit_Out1_255 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/kts2fps_2_MinMax1" ;

	MinMax1_In1_206 = kts2fps_Out1_740 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/MinMax_2_Divide" ;

	Divide_In2_173 = MinMax_Out1_198 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Switch_2_Variable Limit\\nSaturation_0" ;

	VariableLimitSaturation0_In2_653 = Switch_Out1_245 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Kh_2_Switch" ;

	Switch_In1_242 = Kh_Out1_183 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Constant1_2_Switch" ;

	Switch_In3_244 = int_to_real (AltitudeControlAltConfig_Constant1_Value) ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Mux_2_AltCtnlScope" ;

	AltCtnlScope_In1_120 = Mux_Out1_212 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Mux1_2_AltCtnlScope" ;

	AltCtnlScope_In2_121 = Mux1_Out1_216 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Constant_2_MinMax1" ;

	MinMax1_In2_207 = AltitudeControlAltConfig_Constant_Value ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/MinMax1_2_MinMax" ;

	MinMax_In1_196 = MinMax1_Out1_208 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Constant5_2_MinMax" ;

	MinMax_In2_197 = int_to_real (AltitudeControlAltConfig_Constant5_Value) ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/observer_2_observer_output" ;

	observeroutput_In1_847 = observer_Out1_753 ;

	--! MAIN : true ;

tel

--Trace BLOCK : "AltitudeControl_AltConfig/Variable \\nRate Limit" ;

node AltitudeControlAltConfig_VariableRateLimit (

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/ratelim/Out1" ;

ratelim_Out1_265 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/input/Out1" ;

input_Out1_275 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/ICtrig/Out1" ;

ICtrig_Out1_285 : bool ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/IC/Out1" ;

IC_Out1_295 : real)

returns (

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/output/In1" ;

output_In1_635 : real) ;

var

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/Gain/Out1" ;

Gain_Out1_304 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/Gain1/Out1" ;

Gain1_Out1_313 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/Sum2/Out1" ;

Sum2_Out1_323 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/Variable Limit\\nSaturation/Out1" ;

VariableLimitSaturation_Out1_332 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Out1" ;

integratorreset_Out1_408 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/Gain/In1" ;

Gain_In1_303 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/Gain1/In1" ;

Gain1_In1_312 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/Sum2/In1" ;

Sum2_In1_321 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/Sum2/In2" ;

Sum2_In2_322 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/Variable Limit\\nSaturation/In1" ;

VariableLimitSaturation_In1_329 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/Variable Limit\\nSaturation/In2" ;

VariableLimitSaturation_In2_330 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/Variable Limit\\nSaturation/In3" ;

VariableLimitSaturation_In3_331 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/In1" ;

integratorreset_In1_405 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/In2" ;

integratorreset_In2_406 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/In3" ;

integratorreset_In3_407 : real ;

let

	--Trace BLOCK : "AltitudeControl_AltConfig/Variable \\nRate Limit/Gain" ;

	Gain_Out1_304 = int_to_real (AltitudeControlAltConfig_VariableRateLimit_Gain_Gain) * Gain_In1_303 ;

	--Trace BLOCK : "AltitudeControl_AltConfig/Variable \\nRate Limit/Gain1" ;

	Gain1_Out1_313 = int_to_real (AltitudeControlAltConfig_VariableRateLimit_Gain1_Gain) * Gain1_In1_312 ;

	--Trace BLOCK : "AltitudeControl_AltConfig/Variable \\nRate Limit/Sum2" ;

	Sum2_Out1_323 = Sum2_In1_321 + - Sum2_In2_322 ;

	--Trace BLOCK : "AltitudeControl_AltConfig/Variable \\nRate Limit/Variable Limit\\nSaturation" ;

	VariableLimitSaturation_Out1_332 = AltitudeControlAltConfig_VariableRateLimit_VariableLimitSaturation (VariableLimitSaturation_In1_329, VariableLimitSaturation_In2_330, VariableLimitSaturation_In3_331) ;

	--Trace BLOCK : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset" ;

	integratorreset_Out1_408 = AltitudeControlAltConfig_VariableRateLimit_integratorreset (integratorreset_In1_405, integratorreset_In2_406, integratorreset_In3_407) ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/Sum2_2_Gain" ;

	Gain_In1_303 = Sum2_Out1_323 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/Gain_2_Variable Limit\\nSaturation" ;

	VariableLimitSaturation_In2_330 = Gain_Out1_304 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/ratelim_2_Gain1" ;

	Gain1_In1_312 = ratelim_Out1_265 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/ratelim_2_Variable Limit\\nSaturation" ;

	VariableLimitSaturation_In1_329 = ratelim_Out1_265 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/Gain1_2_Variable Limit\\nSaturation" ;

	VariableLimitSaturation_In3_331 = Gain1_Out1_313 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset_2_Sum2" ;

	Sum2_In2_322 = integratorreset_Out1_408 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset_2_output" ;

	output_In1_635 = integratorreset_Out1_408 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/input_2_Sum2" ;

	Sum2_In1_321 = input_Out1_275 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/ICtrig_2_integrator_reset" ;

	integratorreset_In2_406 =

	if ICtrig_Out1_285 then

	1.0

	else 0.0 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/IC_2_integrator_reset" ;

	integratorreset_In3_407 = IC_Out1_295 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/Variable Limit\\nSaturation_2_integrator_reset" ;

	integratorreset_In1_405 = VariableLimitSaturation_Out1_332 ;

tel

--Trace BLOCK : "AltitudeControl_AltConfig/Variable \\nRate Limit/Variable Limit\\nSaturation" ;

node AltitudeControlAltConfig_VariableRateLimit_VariableLimitSaturation (

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/Variable Limit\\nSaturation/up_lim/Out1" ;

uplim_Out1_342 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/Variable Limit\\nSaturation/SigIn/Out1" ;

SigIn_Out1_352 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/Variable Limit\\nSaturation/Lo_lim/Out1" ;

Lolim_Out1_362 : real)

returns (

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/Variable Limit\\nSaturation/Out1/In1" ;

Out1_In1_394 : real) ;

var

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/Variable Limit\\nSaturation/Enforce\\nlow lim/Out1" ;

Enforcelowlim_Out1_372 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/Variable Limit\\nSaturation/Enforce\\nup lim/Out1" ;

Enforceuplim_Out1_382 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/Variable Limit\\nSaturation/Enforce\\nlow lim/In1" ;

Enforcelowlim_In1_370 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/Variable Limit\\nSaturation/Enforce\\nlow lim/In2" ;

Enforcelowlim_In2_371 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/Variable Limit\\nSaturation/Enforce\\nup lim/In1" ;

Enforceuplim_In1_380 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/Variable Limit\\nSaturation/Enforce\\nup lim/In2" ;

Enforceuplim_In2_381 : real ;

let

	--Trace BLOCK : "AltitudeControl_AltConfig/Variable \\nRate Limit/Variable Limit\\nSaturation/Enforce\\nlow lim" ;

	Enforcelowlim_Out1_372 =

	if Enforcelowlim_In1_370 >= Enforcelowlim_In2_371 then

	Enforcelowlim_In2_371

	else Enforcelowlim_In1_370 ;

	--Trace BLOCK : "AltitudeControl_AltConfig/Variable \\nRate Limit/Variable Limit\\nSaturation/Enforce\\nup lim" ;

	Enforceuplim_Out1_382 =

	if Enforceuplim_In1_380 <= Enforceuplim_In2_381 then

	Enforceuplim_In1_380

	else Enforceuplim_In2_381 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/Variable Limit\\nSaturation/Enforce\\nup lim_2_Out1" ;

	Out1_In1_394 = Enforceuplim_Out1_382 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/Variable Limit\\nSaturation/up_lim_2_Enforce\\nup lim" ;

	Enforceuplim_In2_381 = uplim_Out1_342 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/Variable Limit\\nSaturation/Enforce\\nlow lim_2_Enforce\\nup lim" ;

	Enforceuplim_In1_380 = Enforcelowlim_Out1_372 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/Variable Limit\\nSaturation/SigIn_2_Enforce\\nlow lim" ;

	Enforcelowlim_In2_371 = SigIn_Out1_352 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/Variable Limit\\nSaturation/Lo_lim_2_Enforce\\nlow lim" ;

	Enforcelowlim_In1_370 = Lolim_Out1_362 ;

tel

--Trace BLOCK : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset" ;

node AltitudeControlAltConfig_VariableRateLimit_integratorreset (

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/f(x)/Out1" ;

fx_Out1_418 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/reset_level/Out1" ;

resetlevel_Out1_428 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/x0/Out1" ;

x0_Out1_438 : real)

returns (

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/F(x)/In1" ;

Fx_In1_595 : real) ;

var

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Add/Out1" ;

Add_Out1_448 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Gain1/Out1" ;

Gain1_Out1_465 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Product/Out1" ;

Product_Out1_477 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Product1/Out1" ;

Product1_Out1_489 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Product2/Out1" ;

Product2_Out1_502 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Sum1/Out1" ;

Sum1_Out1_512 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Sum2/Out1" ;

Sum2_Out1_522 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Sum3/Out1" ;

Sum3_Out1_532 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Sum4/Out1" ;

Sum4_Out1_542 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/delay#1/Out1" ;

delaysharp1_Out1_547 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/delay#2/Out1" ;

delaysharp2_Out1_552 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/delay#3/Out1" ;

delaysharp3_Out1_557 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/eq0/Out1" ;

eq0_Out1_563 : bool ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/ne0/Out1" ;

ne0_Out1_569 : bool ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/ne1/Out1" ;

ne1_Out1_575 : bool ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Add/In1" ;

Add_In1_446 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Add/In2" ;

Add_In2_447 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Gain1/In1" ;

Gain1_In1_464 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Product/In1" ;

Product_In1_475 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Product/In2" ;

Product_In2_476 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Product1/In1" ;

Product1_In1_487 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Product1/In2" ;

Product1_In2_488 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Product2/In1" ;

Product2_In1_499 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Product2/In2" ;

Product2_In2_500 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Product2/In3" ;

Product2_In3_501 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Sum1/In1" ;

Sum1_In1_510 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Sum1/In2" ;

Sum1_In2_511 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Sum2/In1" ;

Sum2_In1_520 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Sum2/In2" ;

Sum2_In2_521 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Sum3/In1" ;

Sum3_In1_530 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Sum3/In2" ;

Sum3_In2_531 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Sum4/In1" ;

Sum4_In1_540 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Sum4/In2" ;

Sum4_In2_541 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/delay#1/In1" ;

delaysharp1_In1_546 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/delay#2/In1" ;

delaysharp2_In1_551 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/delay#3/In1" ;

delaysharp3_In1_556 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/eq0/In1" ;

eq0_In1_561 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/eq0/In2" ;

eq0_In2_562 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/ne0/In1" ;

ne0_In1_567 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/ne0/In2" ;

ne0_In2_568 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/ne1/In1" ;

ne1_In1_573 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/ne1/In2" ;

ne1_In2_574 : real ;

let

	--Trace BLOCK : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Add" ;

	Add_Out1_448 = Add_In1_446 + Add_In2_447 ;

	--Trace BLOCK : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Gain1" ;

	Gain1_Out1_465 = AltitudeControlAltConfig_VariableRateLimit_integratorreset_Gain1_Gain * Gain1_In1_464 ;

	--Trace BLOCK : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Product" ;

	Product_Out1_477 = Product_In1_475 * Product_In2_476 ;

	--Trace BLOCK : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Product1" ;

	Product1_Out1_489 = Product1_In1_487 * Product1_In2_488 ;

	--Trace BLOCK : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Product2" ;

	Product2_Out1_502 = Product2_In1_499 * (Product2_In2_500 * Product2_In3_501) ;

	--Trace BLOCK : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Sum1" ;

	Sum1_Out1_512 = Sum1_In1_510 + Sum1_In2_511 ;

	--Trace BLOCK : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Sum2" ;

	Sum2_Out1_522 = Sum2_In1_520 + Sum2_In2_521 ;

	--Trace BLOCK : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Sum3" ;

	Sum3_Out1_532 = - Sum3_In1_530 + Sum3_In2_531 ;

	--Trace BLOCK : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Sum4" ;

	Sum4_Out1_542 = Sum4_In1_540 + Sum4_In2_541 ;

	--Trace BLOCK : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/delay#1" ;

	delaysharp1_Out1_547 = AltitudeControlAltConfig_VariableRateLimit_integratorreset_delaysharp1_InitialValue -> pre delaysharp1_In1_546 ;

	--Trace BLOCK : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/delay#2" ;

	delaysharp2_Out1_552 = AltitudeControlAltConfig_VariableRateLimit_integratorreset_delaysharp2_InitialValue -> pre delaysharp2_In1_551 ;

	--Trace BLOCK : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/delay#3" ;

	delaysharp3_Out1_557 = AltitudeControlAltConfig_VariableRateLimit_integratorreset_delaysharp3_InitialValue -> pre delaysharp3_In1_556 ;

	--Trace BLOCK : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/eq0" ;

	eq0_Out1_563 = eq0_In1_561 = eq0_In2_562 ;

	--Trace BLOCK : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/ne0" ;

	ne0_Out1_569 = ne0_In1_567 <> ne0_In2_568 ;

	--Trace BLOCK : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/ne1" ;

	ne1_Out1_575 = ne1_In1_573 <> ne1_In2_574 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Sum1_2_delay#2" ;

	delaysharp2_In1_551 = Sum1_Out1_512 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Gain1_2_Sum1" ;

	Sum1_In1_510 = Gain1_Out1_465 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/delay#2_2_F(x)" ;

	Fx_In1_595 = delaysharp2_Out1_552 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/delay#2_2_Sum3" ;

	Sum3_In1_530 = delaysharp2_Out1_552 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/delay#2_2_Sum4" ;

	Sum4_In1_540 = delaysharp2_Out1_552 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Sum2_2_Sum1" ;

	Sum1_In2_511 = Sum2_Out1_522 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Product_2_Sum2" ;

	Sum2_In2_521 = Product_Out1_477 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/delay#1_2_Product" ;

	Product_In2_476 = delaysharp1_Out1_547 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Constant_2_delay#1" ;

	delaysharp1_In1_546 = AltitudeControlAltConfig_VariableRateLimit_integratorreset_Constant_Value ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/f(x)_2_Gain1" ;

	Gain1_In1_464 = fx_Out1_418 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/x0_2_Product" ;

	Product_In1_475 = x0_Out1_438 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/x0_2_Sum3" ;

	Sum3_In2_531 = x0_Out1_438 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/reset_level_2_delay#3" ;

	delaysharp3_In1_556 = resetlevel_Out1_428 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/reset_level_2_ne0" ;

	ne0_In1_567 = resetlevel_Out1_428 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/reset_level_2_eq0" ;

	eq0_In1_561 = resetlevel_Out1_428 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/delay#3_2_ne1" ;

	ne1_In1_573 = delaysharp3_Out1_557 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Sum3_2_Product1" ;

	Product1_In1_487 = Sum3_Out1_532 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Sum3_2_Product2" ;

	Product2_In2_500 = Sum3_Out1_532 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/ne0_2_Product1" ;

	Product1_In2_488 =

	if ne0_Out1_569 then

	1.0

	else 0.0 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/eq0_2_Product2" ;

	Product2_In1_499 =

	if eq0_Out1_563 then

	1.0

	else 0.0 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Product1_2_Add" ;

	Add_In1_446 = Product1_Out1_489 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Product2_2_Add" ;

	Add_In2_447 = Product2_Out1_502 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/zero_2_ne0" ;

	ne0_In2_568 = int_to_real (AltitudeControlAltConfig_VariableRateLimit_integratorreset_zero_Value) ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/zero_2_eq0" ;

	eq0_In2_562 = int_to_real (AltitudeControlAltConfig_VariableRateLimit_integratorreset_zero_Value) ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/zero_2_ne1" ;

	ne1_In2_574 = int_to_real (AltitudeControlAltConfig_VariableRateLimit_integratorreset_zero_Value) ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/ne1_2_Product2" ;

	Product2_In3_501 =

	if ne1_Out1_575 then

	1.0

	else 0.0 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Sum4_2_Sum2" ;

	Sum2_In1_520 = Sum4_Out1_542 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable \\nRate Limit/integrator_reset/Add_2_Sum4" ;

	Sum4_In2_541 = Add_Out1_448 ;

tel

--Trace BLOCK : "AltitudeControl_AltConfig/Variable Limit\\nSaturation_0" ;

node AltitudeControlAltConfig_VariableLimitSaturation0 (

	--Trace PORT : "AltitudeControl_AltConfig/Variable Limit\\nSaturation_0/up_lim/Out1" ;

uplim_Out1_665 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable Limit\\nSaturation_0/SigIn/Out1" ;

SigIn_Out1_675 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable Limit\\nSaturation_0/Lo_lim/Out1" ;

Lolim_Out1_685 : real)

returns (

	--Trace PORT : "AltitudeControl_AltConfig/Variable Limit\\nSaturation_0/Out1/In1" ;

Out1_In1_717 : real) ;

var

	--Trace PORT : "AltitudeControl_AltConfig/Variable Limit\\nSaturation_0/Enforce\\nlow lim/Out1" ;

Enforcelowlim_Out1_695 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable Limit\\nSaturation_0/Enforce\\nup lim/Out1" ;

Enforceuplim_Out1_705 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable Limit\\nSaturation_0/Enforce\\nlow lim/In1" ;

Enforcelowlim_In1_693 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable Limit\\nSaturation_0/Enforce\\nlow lim/In2" ;

Enforcelowlim_In2_694 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable Limit\\nSaturation_0/Enforce\\nup lim/In1" ;

Enforceuplim_In1_703 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/Variable Limit\\nSaturation_0/Enforce\\nup lim/In2" ;

Enforceuplim_In2_704 : real ;

let

	--Trace BLOCK : "AltitudeControl_AltConfig/Variable Limit\\nSaturation_0/Enforce\\nlow lim" ;

	Enforcelowlim_Out1_695 =

	if Enforcelowlim_In1_693 >= Enforcelowlim_In2_694 then

	Enforcelowlim_In2_694

	else Enforcelowlim_In1_693 ;

	--Trace BLOCK : "AltitudeControl_AltConfig/Variable Limit\\nSaturation_0/Enforce\\nup lim" ;

	Enforceuplim_Out1_705 =

	if Enforceuplim_In1_703 <= Enforceuplim_In2_704 then

	Enforceuplim_In1_703

	else Enforceuplim_In2_704 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable Limit\\nSaturation_0/Lo_lim_2_Enforce\\nlow lim" ;

	Enforcelowlim_In1_693 = Lolim_Out1_685 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable Limit\\nSaturation_0/SigIn_2_Enforce\\nlow lim" ;

	Enforcelowlim_In2_694 = SigIn_Out1_675 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable Limit\\nSaturation_0/Enforce\\nlow lim_2_Enforce\\nup lim" ;

	Enforceuplim_In1_703 = Enforcelowlim_Out1_695 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable Limit\\nSaturation_0/up_lim_2_Enforce\\nup lim" ;

	Enforceuplim_In2_704 = uplim_Out1_665 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/Variable Limit\\nSaturation_0/Enforce\\nup lim_2_Out1" ;

	Out1_In1_717 = Enforceuplim_Out1_705 ;

tel

--Trace BLOCK : "AltitudeControl_AltConfig/observer" ;

node AltitudeControlAltConfig_observer (

	--Trace PORT : "AltitudeControl_AltConfig/observer/altitude/Out1" ;

altitude_Out1_763 : real)

returns (

	--Trace PORT : "AltitudeControl_AltConfig/observer/observer_output/In1" ;

observeroutput_In1_808 : bool) ;

var

	--Trace PORT : "AltitudeControl_AltConfig/observer/Logical Operator1/Out1" ;

LogicalOperator1_Out1_784 : bool ;

	--Trace PORT : "AltitudeControl_AltConfig/observer/Logical Operator2/Out1" ;

LogicalOperator2_Out1_790 : bool ;

	--Trace PORT : "AltitudeControl_AltConfig/observer/Relational Operator/Out1" ;

RelationalOperator_Out1_796 : bool ;

	--Trace PORT : "AltitudeControl_AltConfig/observer/Logical Operator1/In1" ;

LogicalOperator1_In1_783 : bool ;

	--Trace PORT : "AltitudeControl_AltConfig/observer/Logical Operator2/In1" ;

LogicalOperator2_In1_788 : bool ;

	--Trace PORT : "AltitudeControl_AltConfig/observer/Logical Operator2/In2" ;

LogicalOperator2_In2_789 : bool ;

	--Trace PORT : "AltitudeControl_AltConfig/observer/Relational Operator/In1" ;

RelationalOperator_In1_794 : real ;

	--Trace PORT : "AltitudeControl_AltConfig/observer/Relational Operator/In2" ;

RelationalOperator_In2_795 : real ;

let

	--Trace BLOCK : "AltitudeControl_AltConfig/observer/Logical Operator1" ;

	LogicalOperator1_Out1_784 = not LogicalOperator1_In1_783 ;

	--Trace BLOCK : "AltitudeControl_AltConfig/observer/Logical Operator2" ;

	LogicalOperator2_Out1_790 = LogicalOperator2_In1_788 or LogicalOperator2_In2_789 ;

	--Trace BLOCK : "AltitudeControl_AltConfig/observer/Relational Operator" ;

	RelationalOperator_Out1_796 = RelationalOperator_In1_794 > RelationalOperator_In2_795 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/observer/Relational Operator_2_Logical Operator1" ;

	LogicalOperator1_In1_783 = RelationalOperator_Out1_796 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/observer/Constant2_2_Logical Operator2" ;

	LogicalOperator2_In2_789 =

	if AltitudeControlAltConfig_observer_Constant2_Value = 0 then

	false

	else true ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/observer/altitude_2_Relational Operator" ;

	RelationalOperator_In1_794 = altitude_Out1_763 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/observer/Logical Operator1_2_Logical Operator2" ;

	LogicalOperator2_In1_788 = LogicalOperator1_Out1_784 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/observer/Logical Operator2_2_observer_output" ;

	observeroutput_In1_808 = LogicalOperator2_Out1_790 ;

	--Trace SIGNAL : "AltitudeControl_AltConfig/observer/Constant_2_Relational Operator" ;

	RelationalOperator_In2_795 = int_to_real (AltitudeControlAltConfig_observer_Constant_Value) ;

tel