(Product2 = (1.0/Capacity*Battery))
(Sum = (BaseConsumption+EnergyConsumption))

(Product1 = (Switch1*DischargeFactor)/Capacity)
(Gain1 = ((Switch1*DischargeFactor)/Capacity*(-1.0)))
(Product = (Battery*((Switch1*DischargeFactor)/Capacity*(-1.0))))

(EnergyConsumption > 0.0 -> ((Switch1 = (BaseConsumption+EnergyConsumption)))) | (EnergyConsumption <= 0.0 -> ((Switch1 = BaseConsumption)))
(EnergyConsumption > 0.0 -> ((Product1 = ((BaseConsumption+EnergyConsumption)*DischargeFactor)/Capacity))) | (EnergyConsumption <= 0.0 -> ((Product1 = (BaseConsumption*DischargeFactor)/Capacity)))
(EnergyConsumption > 0.0 -> ((Gain1 = (((BaseConsumption+EnergyConsumption)*DischargeFactor)/Capacity*(-1.0))))) | (EnergyConsumption <= 0.0 -> ((Gain1 = ((BaseConsumption*DischargeFactor)/Capacity*(-1.0)))))

(EnergyConsumption > 0.0
  ->
 ((Product = (((((BaseConsumption+EnergyConsumption)*DischargeFactor)/Capacity*(-1.0))*Battery)*((Switch1*DischargeFactor)/Capacity*(-1.0)))))
)
|
(EnergyConsumption <= 0.0
  ->
 ((Product = ((((BaseConsumption*DischargeFactor)/Capacity*(-1.0))*Battery)*((Switch1*DischargeFactor)/Capacity*(-1.0)))))
)


(BatteryVoltageOutput = (1.0/Capacity*Battery))

Zu zeigen:
Sum <= MAX_INT
Sum >= MIN_INT
#out11 < 0.0 -> (Battery >= MIN_INT)
Product2 <= MAX_INT
Product2 >= MIN_INT
Product1 <= MAX_INT
Product1 >= MIN_INT
Gain1 <= MAX_INT
Gain1 >= MIN_INT
Product <= MAX_INT
Product >= MIN_INT
