Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Blanco Vinuela, Enrique"'
Autor:
Biedrawa, Piotr, Blanco Vinuela, Enrique, Cala Franco, Clara, Gonzalez Cobas, Juan David, Di Castro, Mario, Donze, Mathieu, Falcao Machado, Joao Luis, Fargier, Sylvain, Fernandez Adiego, Borja, Herty, Andreas, Kampp, Jonas, Klumb, Francis, Jasonek, Wojciech, Lipinski, Maciej Marek, Mainaud Durand, Helene, Masi, Alessandro, Noir, Michel, Peronnard, Paul, Schofield, Brad, Sollander, Peter, Sosin, Mateusz, Rude, Vivien
The High Luminosity Large Hadron Collider (HL-LHC) is an upgrade of the LHC to achieve instantaneous luminosities, a factor five larger than the LHC nominal values. During the Long Shutdown 3, scheduled between 2026 and 2028, nearly 1.2 km of acceler
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od________65::f8b80682ddc2a8dd0a6c1aef19b743b8
http://cds.cern.ch/record/2849056
http://cds.cern.ch/record/2849056
The correctness of the software used in control systems has been always a high priority, as a failure can cause serious expenses, injuries or loss of reputation. To improve the quality of these applications, various development and verification metho
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d9a72837f314b89c9b963a83879fe18f
http://cds.cern.ch/record/2213506
http://cds.cern.ch/record/2213506
Autor:
Andreassen, Odd, Abalo Miron, Damian, Augrandjean, Frank, Blanco Vinuela, Enrique, Gomez De La Cruz, Maria De Fatima, Rijllart, Adriaan
To shorten the development time of supervision applications, CERN has developed the UNICOS framework, which simplifies the configuration of the front-end devices and the supervision (SCADA) layer. At CERN the SCADA system of choice is WinCC OA, but f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::71bcafcc2b1d6b763e653cc336031e44
Autor:
Blanco Vinuela, Enrique, a, Bradu, Benjamin, Marti Martinez, Ruben, Mazaeda, Rogelio, de Frutos, Laura, de Prada, Cesar
PID (Proportional, integral and derivative) is the most used feedback control algorithm in the process control industry. Despite its age, its simplicity in terms of deployment and its efficiency on most of industrial processes allow this technique to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::842d0e28bacd05d05ce57fc6bdb94f05
http://cds.cern.ch/record/2213461
http://cds.cern.ch/record/2213461
Autor:
Booth, William, Barillère, Renaud, Bes, Marcin, Blanco Vinuela, Enrique, Bradu, Benjamin, Quilichini, Marc, Zimny, Michal
At CERN there are currently about 200 ventilation air handling units in production, used in many different applications, including building ventilation, pressurization of safe rooms, smoke extraction, pulsion/extraction of experimental areas (tunnel,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ec18115b7d79cac81f3e3b3032f4cce2
http://cds.cern.ch/record/2213508
http://cds.cern.ch/record/2213508
Model checking is a promising formal verification method to complement testing in order to improve the quality of PLC programs. However, its application typically needs deep expertise in formal methods. To overcome this problem, we introduce PLCverif
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7fcc9aa4bd4e5e4617199a0f6ee4f833
Autor:
Blanco Vinuela, Enrique
The thesis addresses the study, analysis, development, and finally the real implementation of an advanced control system for the 1.8 K Cooling Loop of the LHC (Large Hadron Collider) accelerator. The LHC is the next accelerator being built at CERN (E
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od________65::7365194d61ab2d8116a1929ca91b4abf
http://cds.cern.ch/record/1392624
http://cds.cern.ch/record/1392624