Safety verification of refrigeration containers using barrier certificates

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

doi:10.1109/CACSD.2016.7602538

Safety verification of refrigeration containers using barrier certificates

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

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

3 Citations (Scopus)

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.

Translated title of the contribution	Sikkerheds Certifikater til Online Sikkerheds Validering af Kølecontainere.
Original language	English
Title of host publication	Computer Aided Control System Design (CACSD), 2016 IEEE Conference on
Number of pages	6
Publisher	IEEE
Publication date	Sept 2016
Edition	2016
Pages	635 - 640
ISBN (Print)	978-1-5090-0760-8
ISBN (Electronic)	978-1-5090-0759-2
DOIs	https://doi.org/10.1109/CACSD.2016.7602538
Publication status	Published - Sept 2016
Event	2016 IEEE Conference on Computer Aided Control System Design (CACSD) - Buenos Aires, Argentina Duration: 19 Sept 2016 → 22 Sept 2016

Conference

Conference	2016 IEEE Conference on Computer Aided Control System Design (CACSD)
Country/Territory	Argentina
City	Buenos Aires
Period	19/09/2016 → 22/09/2016

Series	IEEE Conference on Computer-Aided Control Systems Design
ISSN	4244-2221

Access to Document

10.1109/CACSD.2016.7602538

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@inproceedings{85b9166d770a4157bf8f395683ef2a81,

title = "Safety verification of refrigeration containers using barrier certificates",

abstract = "Refrigeration containers make up a large portion oftodays global trade, carrying anything from electronics to freshfruit and vegetables. The containers are transported throughvarying surrounding temperatures which speeds up the wearand tear of the mechanical parts of the system. It is thereforeof interest to produce a fault detection scheme, that allowsfor varying ambient temperature, varying handling standards,varying mechanical state, and accurately predicts if the system istrending towards failure. Lodam Electronics A/S develops controlunits for refrigeration containers, and are interested in developingsuch an algorithm. Recent advances in algebraic geometry, havebeen applied in the development of Barrier Certificates, whichcan be used in the process of detecting errors. This paper willdescribe the development of such a certificate, as well as theadjustments used to implement them on a refrigeration system.",

author = "Christensen, {Rasmus Lundgaard} and Rafal Wisniewski and S{\o}rensen, {Kresten Kj{\ae}r}",

year = "2016",

month = sep,

doi = "10.1109/CACSD.2016.7602538",

language = "English",

isbn = "978-1-5090-0760-8",

series = "IEEE Conference on Computer-Aided Control Systems Design",

pages = "635 -- 640",

booktitle = "Computer Aided Control System Design (CACSD), 2016 IEEE Conference on",

publisher = "IEEE",

address = "United States",

edition = "2016",

note = "2016 IEEE Conference on Computer Aided Control System Design (CACSD), CACSD ; Conference date: 19-09-2016 Through 22-09-2016",

}

Christensen, RL, Wisniewski, R & Sørensen, KK 2016, Safety verification of refrigeration containers using barrier certificates. in Computer Aided Control System Design (CACSD), 2016 IEEE Conference on. 2016 edn, IEEE, IEEE Conference on Computer-Aided Control Systems Design, pp. 635 - 640, 2016 IEEE Conference on Computer Aided Control System Design (CACSD), Buenos Aires, Argentina, 19/09/2016. https://doi.org/10.1109/CACSD.2016.7602538

Safety verification of refrigeration containers using barrier certificates. / Christensen, Rasmus Lundgaard; Wisniewski, Rafal; Sørensen, Kresten Kjær.
Computer Aided Control System Design (CACSD), 2016 IEEE Conference on. 2016. ed. IEEE, 2016. p. 635 - 640 (IEEE Conference on Computer-Aided Control Systems Design).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - Safety verification of refrigeration containers using barrier certificates

AU - Christensen, Rasmus Lundgaard

AU - Wisniewski, Rafal

AU - Sørensen, Kresten Kjær

PY - 2016/9

Y1 - 2016/9

N2 - Refrigeration containers make up a large portion oftodays global trade, carrying anything from electronics to freshfruit and vegetables. The containers are transported throughvarying surrounding temperatures which speeds up the wearand tear of the mechanical parts of the system. It is thereforeof interest to produce a fault detection scheme, that allowsfor varying ambient temperature, varying handling standards,varying mechanical state, and accurately predicts if the system istrending towards failure. Lodam Electronics A/S develops controlunits for refrigeration containers, and are interested in developingsuch an algorithm. Recent advances in algebraic geometry, havebeen applied in the development of Barrier Certificates, whichcan be used in the process of detecting errors. This paper willdescribe the development of such a certificate, as well as theadjustments used to implement them on a refrigeration system.

AB - Refrigeration containers make up a large portion oftodays global trade, carrying anything from electronics to freshfruit and vegetables. The containers are transported throughvarying surrounding temperatures which speeds up the wearand tear of the mechanical parts of the system. It is thereforeof interest to produce a fault detection scheme, that allowsfor varying ambient temperature, varying handling standards,varying mechanical state, and accurately predicts if the system istrending towards failure. Lodam Electronics A/S develops controlunits for refrigeration containers, and are interested in developingsuch an algorithm. Recent advances in algebraic geometry, havebeen applied in the development of Barrier Certificates, whichcan be used in the process of detecting errors. This paper willdescribe the development of such a certificate, as well as theadjustments used to implement them on a refrigeration system.

U2 - 10.1109/CACSD.2016.7602538

DO - 10.1109/CACSD.2016.7602538

M3 - Article in proceeding

SN - 978-1-5090-0760-8

T3 - IEEE Conference on Computer-Aided Control Systems Design

SP - 635

EP - 640

BT - Computer Aided Control System Design (CACSD), 2016 IEEE Conference on

PB - IEEE

T2 - 2016 IEEE Conference on Computer Aided Control System Design (CACSD)

Y2 - 19 September 2016 through 22 September 2016

ER -