Abstract
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.
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 titel | Sikkerheds Certifikater til Online Sikkerheds Validering af Kølecontainere. |
---|---|
Originalsprog | Engelsk |
Titel | Computer Aided Control System Design (CACSD), 2016 IEEE Conference on |
Antal sider | 6 |
Forlag | IEEE |
Publikationsdato | sep. 2016 |
Udgave | 2016 |
Sider | 635 - 640 |
ISBN (Trykt) | 978-1-5090-0760-8 |
ISBN (Elektronisk) | 978-1-5090-0759-2 |
DOI | |
Status | Udgivet - sep. 2016 |
Begivenhed | 2016 IEEE Conference on Computer Aided Control System Design (CACSD) - Buenos Aires, Argentina Varighed: 19 sep. 2016 → 22 sep. 2016 |
Konference
Konference | 2016 IEEE Conference on Computer Aided Control System Design (CACSD) |
---|---|
Land/Område | Argentina |
By | Buenos Aires |
Periode | 19/09/2016 → 22/09/2016 |
Navn | IEEE Conference on Computer-Aided Control Systems Design |
---|---|
ISSN | 4244-2221 |