fs (and other furnaces): fixes on interlock

- try to make interlock right
- merge status where ever possbile
This commit is contained in:
2025-07-07 16:05:27 +02:00
parent 1e73440149
commit cf151dd324
5 changed files with 143 additions and 57 deletions

View File

@@ -80,10 +80,9 @@ class HasConvergence(Drivable):
self.read_status()
def read_status(self):
try:
if hasattr(super(), 'read_status'):
return merge_status(super().read_status(), self.convergence_state.status)
except AttributeError:
return self.convergence_state.status # no super().read_status
return self.convergence_state.status
def convergence_min_slope(self, dif):
"""calculate minimum expected slope"""

View File

@@ -23,6 +23,7 @@ from frappy.core import Module, Writable, Attached, Parameter, FloatRange, Reada
BoolType, ERROR, IDLE, Command, StringType
from frappy.errors import ImpossibleError
from frappy.ctrlby import WrapControlledBy
from frappy.lib import clamp, merge_status
from frappy_psi.picontrol import PImixin
from frappy_psi.convergence import HasConvergence
from frappy_psi.ionopimax import CurrentInput, LogVoltageInput
@@ -40,6 +41,7 @@ class Interlocks(Writable):
main_T = Attached(Readable, 'the main temperature')
extra_T = Attached(Readable, 'the extra temperature')
control = Attached(Module, 'the control module')
reg_T = Attached(Module, 'an other controlled module', mandatory = False)
htr = Attached(Module, 'the heater module', mandatory=False)
relais = Attached(Writable, 'the interlock relais', mandatory=False)
flowswitch = Attached(Readable, 'the flow switch', mandatory=False)
@@ -52,13 +54,19 @@ class Interlocks(Writable):
main_T_limit = Parameter('maximum main temperature', FloatRange(0, unit='degC'),
default = 530, readonly = False)
extra_T_limit = Parameter('maximum extra temperature', FloatRange(0, unit='degC'),
default = 530, readonly = False)
default = 530, readonly = False)
disabled_checks = Parameter('checks to disable', StringType(),
value = '', readonly = False)
value = '', readonly = False)
autoreset = Parameter('flag: reset on writing target', BoolType(),
value = False, readonly = False)
_off_reason = None # reason triggering interlock
_conditions = '' # summary of reasons why locked now
_violations = '' # summary of reasons why locked now
_all_violations = '' # violations disregarding disabled_checks
_sensor_checks = ()
_controllers = ()
_disable_flow_check = False
__inside_switch_off = False
SENSOR_MAP = {
'wall_T': 'wall_limit',
@@ -68,14 +76,53 @@ class Interlocks(Writable):
'vacuum': 'vacuum_limit',
}
def initModule(self):
super().initModule()
self._controllers = [self.control]
if self.reg_T:
self._controllers .append(self.reg_T)
for mod in self._controllers:
mod.callback_func = self.callback_func
def doPoll(self):
self.read_value() # this includes read_status
if self._violations:
if self.relais.value or any(c.control_active for c in self._controllers) or self.htr.target:
self.switch_off()
def callback_func(self, query=False, reset=False):
"""fujnction to be called from controlling modules
query = True: return violations
reset = True: try to reset
default: try to reset if autoreset is on
"""
if not self.read_value():
if not query:
if self.__inside_switch_off:
return 'switch_off'
if self.autoreset or reset:
if not self._violations and not reset:
self.log.warning('reset interlock')
self.reset()
else:
if self._violations:
return self._violations
return f'need reset after {self._off_reason}'
return self._violations
def read_value(self):
self.read_status()
return self.value
def write_target(self, value):
if value:
self.read_status()
if self._conditions:
raise ImpossibleError('not ready to start')
if self._violations:
raise ImpossibleError(f'not ready to start: {self._violations}')
self._off_reason = None
self.value = True
elif self.value:
elif self.value and not value:
self.switch_off()
self._off_reason = 'switched off'
self.value = False
@@ -83,12 +130,20 @@ class Interlocks(Writable):
def switch_off(self):
if self.value:
self._off_reason = self._conditions
self._off_reason = self._violations
self.value = False
if self.control.control_active:
self.log.error('switch control off %r', self.control.status)
self.control.write_control_active(False)
self.__inside_switch_off = True
try:
for mod in self._controllers:
if mod.control_active:
try:
mod.write_control_active(False)
except Exception as e:
self.log.warning('can not shut %s', mod.name)
finally:
del self.__inside_switch_off
if self.htr and self.htr.target:
self.log.info('switch heater off')
self.htr.write_target(0)
if self.relais.value or self.relais.target:
self.log.warning('switch off relais %r %r', self.relais.value, self.relais.target)
@@ -99,26 +154,29 @@ class Interlocks(Writable):
self._sensor_checks = []
for att, limitname in self.SENSOR_MAP.items():
obj = getattr(self, att)
if obj and obj.name not in disabled:
self.log.info('info %r %r %r', att, obj.name, disabled)
self._sensor_checks.append((obj, limitname))
if obj:
self._sensor_checks.append((obj, limitname, obj.name in disabled))
self._disable_flow_check = 'flow' in disabled
def get_violations(self):
violations = {False: [], True: []}
if self.flowswitch and self.flowswitch.value == 0:
violations[seld._disable_flow_check].append('no cooling water')
for sensor, limitname, disabled in self._sensor_checks:
if sensor.status[0] >= ERROR:
violations[disabled].append(f'error at {sensor.name}: {sensor.status[1]}')
continue
if sensor.value > getattr(self, limitname):
violations[disabled].append(f'above {sensor.name} limit')
continue
self._violations = ', '.join(violations[False])
self._all_violations = ', '.join(violations[False] + violations[True])
return violations[False]
def read_status(self):
conditions = []
if self.flowswitch and self.flowswitch.value == 0:
conditions.append('no cooling water')
for sensor, limitname in self._sensor_checks:
if sensor.value > getattr(self, limitname):
conditions.append(f'above {sensor.name} limit')
if sensor.status[0] >= ERROR:
conditions.append(f'error at {sensor.name}: {sensor.status[1]}')
break
self._conditions = ', '.join(conditions)
if conditions and (self.control.control_active or self.htr.target):
self.switch_off()
self.get_violations()
if self.value:
return IDLE, '; '.join(conditions)
return IDLE, self._all_violations
return ERROR, self._off_reason
@Command
@@ -132,20 +190,37 @@ class Interlocks(Writable):
class PI(HasConvergence, PImixin, Writable):
input_module = Attached(Readable, 'the input module')
relais = Attached(Writable, 'the interlock relais', mandatory=False)
callback_func = None
def read_value(self):
return self.input_module.value
def read_status(self):
return self.input_module.status
violations = self.callback_func(query=True)
status = (ERROR, violations) if violations else super().read_status()
return merge_status(status, self.input_module.status)
def set_target(self, value):
super().set_target(value)
if self.relais:
if not self.relais.value or not self.relais.target:
self.log.warning('switch on relais %r %r', self.relais.value, self.relais.target)
self.relais.write_target(1)
def write_target(self, target):
zero = self.parameters['target'].datatype.default
if target == zero:
target = zero
elif self.callback_func:
errtxt = self.callback_func()
if errtxt == 'switch_off':
target = zero
elif errtxt:
msg = f'can not set target: {errtxt}'
self.log.warning(msg)
raise ImpossibleError(msg)
return super().write_target(target)
@Command
def reset(self):
"""reset interlock after error"""
if self.callback_func:
self.callback_func(reset=True)
else:
raise ConfigError('reset is not configured')
class PIctrl(WrapControlledBy, PI):
@@ -156,13 +231,18 @@ class PI2(PI):
maxovershoot = Parameter('max. overshoot', FloatRange(0, 100, unit='%'), readonly=False, default=20)
def doPoll(self):
self.output_max = self.target * (1 + 0.01 * self.maxovershoot)
self.output_min = self.target * (1 - 0.01 * self.maxovershoot)
super().doPoll()
maxdif = 0.01 * self.maxovershoot * self.target
self.output_max = self.target + maxdif
self.output_min = self.target - maxdif
if self.control_active:
super().doPoll()
def write_target(self, target):
if not self.control_active:
self.output_module.write_target(target)
# guess start value based on current T difference
maxdif = 0.01 * self.maxovershoot * target
self.output_module.target = target + clamp(
-maxdif, maxdif, self.output_module.value - self.input_module.value)
super().write_target(target)

View File

@@ -61,7 +61,7 @@ example cfg:
import time
import math
from frappy.core import Readable, Writable, Parameter, Attached, IDLE, Property
from frappy.lib import clamp
from frappy.lib import clamp, merge_status
from frappy.datatypes import LimitsType, EnumType, BoolType, FloatRange
from frappy.ctrlby import HasOutputModule
from frappy_psi.convergence import HasConvergence
@@ -94,7 +94,6 @@ class PImixin(HasOutputModule, Writable):
if not self.control_active:
return
out = self.output_module
self.status = IDLE, 'controlling'
now = time.time()
deltat = clamp(0, now-self._lasttime, 10)
self._lasttime = now
@@ -115,6 +114,12 @@ class PImixin(HasOutputModule, Writable):
self._overflow = 0
out.update_target(self.name, self._cvt2ext(output))
def read_status(self):
status = IDLE, 'controlling' if self.control_active else 'inactive'
if hasattr(super(), 'read_status'):
status = merge_status(super().read_status(), status)
return status
def cvt2int_square(self, output):
return (math.sqrt(max(0, clamp(x, *self._get_range()))) for x in (output, self.output_min, self.output_max))
@@ -146,10 +151,12 @@ class PImixin(HasOutputModule, Writable):
self._cvt2int = getattr(self, f'cvt2int_{self.output_func.name}')
self._cvt2ext = getattr(self, f'cvt2ext_{self.output_func.name}')
def write_control_active(self, value):
super().write_control_active(value)
if not value:
self.output_module.write_target(0)
# not needed, done by HasOutputModule.write_control_active
# def write_control_active(self, value):
# super().write_control_active(value)
# out = self.output_module
# if not value:
# out.write_target(out.parameters['target'].datatype.default)
def set_target(self, value):
if not self.control_active: