Predicting physical processes in the presence of faulty sensor readings

Error recovery using forced validity assisted by executable assertions for error detection: an experimental evaluation

“…r min,incr ≠ r max,incr and/or r min,decr ≠ r max,decr ). These parameters are static, but dynamic constraints as in [9] may also be considered.…”

Executable assertions for detecting data errors in embedded control systems

“…r min,incr ≠ r max,incr and/or r min,decr ≠ r max,decr ). These parameters are static, but dynamic constraints as in [4] and [14] Signal modes. The behaviour of a signal may differ between different phases of operation of the system.…”