No abstract

No abstract

No abstract

In this report, we present results of the modeling and control of a hydraulic pilot process, currently under construction at the Laboratory of Automatic of the ISA department of Universidad de Valladolid. The system is described by linear inequalities involving both, real and integer variables and the dynamical and logical decisions are heavily inter dependent. Hence the characterization as a Mixed Logical Dynamical system. Two MLD models are featured and both are suited to apply a Model Based Predictive Control strategy to command the system. Results of a simulation of the closed loop system are feature.

Industrial Control Systems (ICS) research and testing process was implemented to validate the existence of a well known security vulnerability in a Rockwell Automation Allen-Bradley Compact Logix PLC controller. The study was conducted considering a public advisory from the manufacturer, which includes a large list of families of affected products by the vulnerability. The established hypothesis of the study considered the existence of the vulnerability in a specific available PLC model, included by Rockwell Automation manufacturer in the list of affected products. An exploit was developed and multiple testing was performed to trigger the vulnerability.Testing methodology and results indicates there is sufficient evidence to establish that Rockwell Automation Allen-Bradley Compact Logix 5370 L2 controllers, are not affected by the same type of Improper Input Validation vulnerability, than the Compact Logix 5370 L3 controllers, as it was stated by the manufacturer in a public advisory.