Safety verification of refrigeration containers using barrier certificates

Refrigeration containers make up a large portion of
todays global trade, carrying anything from electronics to fresh
fruit and vegetables. The containers are transported through
varying surrounding temperatures which speeds up the wear
and tear of the mechanical parts of the system. It is therefore
of interest to produce a fault detection scheme, that allows
for varying ambient temperature, varying handling standards,
varying mechanical state, and accurately predicts if the system is
trending towards failure. Lodam Electronics A/S develops control
units for refrigeration containers, and are interested in developing
such an algorithm. Recent advances in algebraic geometry, have
been applied in the development of Barrier Certificates, which
can be used in the process of detecting errors. This paper will
describe the development of such a certificate, as well as the
adjustments used to implement them on a refrigeration system.