the classical method of process capability analysis necessarily assumes that collected data are independent; nonetheless, some processes such as biological and chemical processes are autocorrelated and violate the independency assumption. many processes exhibit a certain degree of correlation and can be treated by autoregressive models among which the autoregressive model of order one (ar (1)) ...

This review aims at assessing the opportunities and challenges of creating using digital twins for process industrial systems over their life-cycle in context estimation control. The scope is, therefore, to provide a survey on mechanisms generate models machine learning (purely data-driven) automated equation-based modeling. In particular, we consider learning, validation, updating large-scale ...

This paper presents a preliminary study of an approach that models programmable logic controllers (PLCs) for their effective deployment in industrial control processes. A working model is developed for automatic allocation of PLCs and also a formal verification of Ladder Diagram representations of control processes using the Symbolic Model Verifier (SMV) tool. Automatic resource allocation is a...

Access to online experiments permitted by the current technology offers more flexibility than local presence. However, it also presents new challenges, such as which information should be transfered from the process to the remote user to describe with sufficient details the progress of the experimentation, and from the user to the process to control it and to test interesting working conditions...

Databases have been proposed as the chosen platform to develop automated control systems for environments where the state of the system changes rapidly, and actions need to be taken with timing constraints, such as stock trading, air tra c control, network management and process control to name a few. The workload in such systems consist primarily of two types: (a) updates, which report the sta...