Models at runtime are considered a key enabling technology for systems that control themselves as they operate. The automatic-control community has developed extensive theories and experiences in qualifying the properties of controller and systems; including stability, observability and commandability. In this position paper we propose to use control-theory for describing self-adaptive model-dr...

This paper presents a type system to control the migration of code between network nodes in a concurrent distributed framework, using the Dπ language. We express resource access policies as types and enforce policies via a type system. Types describe paths travelled by migrating code, enabling the control of history sensitive access to resources. Sites are logically organised in subnetworks tha...

This paper presents the assumptions and proposition of the model for the estimation of the execution time of parallel program loops. The model is intended to be used in iterative compilation. The model has been elaborated with the focus on shortening the duration of iterative

The strips with good flatness after finish rolling will have defects such as edge wave run-out table cooling. These are caused by the residual stress due to inhomogeneous thermal and microstructural behaviors during cooling stage. traditional control methods rely too much on experience, resulting in poor effect universality. Therefore, this study proposed two based model calculation: water flow...

Usually, in monitoring a proportion p < /em>, the binary observations are considered independent; however, in many real cases, there is a continuous stream of autocorrelated binary observations in which a two-state Markov chain model is applied with first-order dependence. On the other hand, the Bernoulli CUSUM control chart which is not robust to autocorrelation can be applied two-sided co...

Control charts are extensively used in processes and are very helpful in determining the special cause variations so that a timely action may be taken to eliminate them. One of the charting procedures is the Shewhart-type control charts, which are used mainly to detect large shifts. Two alternatives to the Shewhart-type control charts are the cumulative (CUSUM) control charts and the exponentia...

This work presents a comparative study of the performance of the cumulative sum (CuSum), as well as the exponentially weighted moving average (EWMA) control charts. The objective of this research is to verify when CuSum and EWMA control charts do the best control region, in order to detect small changes in the process average. Starting from the data of a productive process, several series were ...