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)

Abstrakt

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.
OriginalsprogEngelsk
TitelComputer Aided Control System Design (CACSD), 2016 IEEE Conference on
Antal sider6
ForlagIEEE
Publikationsdatosep. 2016
Udgave2016
Sider635 - 640
ISBN (Trykt)978-1-5090-0760-8
ISBN (Elektronisk)978-1-5090-0759-2
DOI
StatusUdgivet - sep. 2016
Begivenhed2016 IEEE Conference on Computer Aided Control System Design (CACSD) - Buenos Aires, Argentina
Varighed: 19 sep. 201622 sep. 2016

Konference

Konference2016 IEEE Conference on Computer Aided Control System Design (CACSD)
LandArgentina
ByBuenos Aires
Periode19/09/201622/09/2016
NavnIEEE Conference on Computer-Aided Control Systems Design
ISSN4244-2221

Citationsformater