Run-to-run optimization methodologies exploit the repetitive nature of batch processes to find the optimal operating policy in the presence of uncertainty. For the class of batch optimization problems where the solution is determined by terminal constraints, the update of the decision variables towards their optimal values is realized using a constraint control scheme. The methodology is adapte...

static verification and software testing are not able to verify software single-handedly. therefore, another approach called run-time verification dealing with verifying software behavior against constraints at run-time received attention. however, the run-time verification faces the problem of verification of run-time activities against the constraints are specified in high-level and abstractl...

in some statistical process control applications, quality of a process or product can be characterized by a relationship between a response and one or more independent variables, which is typically referred to a profile. in this paper, polynomial profiles are considered to monitor processes in which there is a first order autoregressive relation between the error terms in each profile. a remedi...