Safety verification of refrigeration containers using barrier certificates

Bidragets oversatte titel: Sikkerheds Certifikater til Online Sikkerheds Validering af Kølecontainere.

Rasmus Lundgaard Christensen, Rafal Wisniewski, Kresten Kjær Sørensen

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

2 Citationer (Scopus)


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.
Bidragets oversatte titelSikkerheds Certifikater til Online Sikkerheds Validering af Kølecontainere.
TitelComputer Aided Control System Design (CACSD), 2016 IEEE Conference on
Antal sider6
Publikationsdatosep. 2016
Sider635 - 640
ISBN (Trykt)978-1-5090-0760-8
ISBN (Elektronisk)978-1-5090-0759-2
StatusUdgivet - sep. 2016
Begivenhed2016 IEEE Conference on Computer Aided Control System Design (CACSD) - Buenos Aires, Argentina
Varighed: 19 sep. 201622 sep. 2016


Konference2016 IEEE Conference on Computer Aided Control System Design (CACSD)
ByBuenos Aires
NavnIEEE Conference on Computer-Aided Control Systems Design