| Autor: |
Christensen, Rasmus Lundgaard, Wisniewski, Rafal, Sørensen, Kresten Kjær |
| Jazyk: |
angličtina |
| Rok vydání: |
2016 |
| Zdroj: |
Christensen, R L, Wisniewski, R & Sørensen, K K 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 |
| DOI: |
10.1109/CACSD.2016.7602538 |
| Popis: |
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. |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
