Mr
Borja Fernandez Adiego
(Universidad de Oviedo (ES))
PLCs are the most widely used control devices for industrial processes. Ensuring that PLC programs are compliant with the specifications is a challenging task and a highly recommended practice, especially for Safety Critical Systems. We propose a methodology for applying automated model checking to PLC programs hiding completely the complexity of using formal methods to PLC developers
Prof.
Xavier Blasco
(Universitat Politècnica de Valencia - Spain)
Engineering design problems usually require the satisfaction of several objectives. In most cases there exists conflict among design requirements and, thus, the solution to the problem is not either unique or trivial. In fact finding a tradeoff solution for these multiobjetive optimization problems (MOP) is a crucial and time consuming task that the designer must carry out. Obtaining a design...
Prof.
Cesar de Prada
(Universidad de Valladolid - Spain)
Model Predictive control (MPC) is a modern control technique that has gained high acceptance in industry due to its capability of dealing with large multivariable processes where demanding specifications and constraints must be met in spite of disturbances and operation changes. The talk gives an introduction to the fundamentals of this control technology, covering from basic concepts and...
Prof.
Ramon Vilanova
(Universitat Autònoma de Barcelona - Spain)
PID control is well known as the dominant field feedback controller.
Its simplicity, low number of parameters and acceptable performance levels even with “hand tunning” has made it the preferable option by most of the plant operators. During the last decade, some new perspectives o PI/PID tuning have raised that provide a more holistic and global view of the controller tuning procedure. The...
