Control charts with exponentially weighted moving average (EWMA) statistics (mean and variance) are used to jointly monitor the mean and variance of a process. An EWMA cost minimization model is presented to design the joint control scheme based on pure economic or both economic and statistical performance criteria. The pure economic model is extended to the economic-statistical design by addin...

Androgen receptor (AR) is frequently over-expressed and plays a critical role in the growth and progression of human prostate cancer. The therapy attempting to target AR signalling was established in decades ago but the treatment of prostate cancer is far from being satisfactory. The assignable cause is that our understanding of the mechanism of AR regulation and re-activation remains incomplet...

The structure signature of a system made up of n components having continuous and i.i.d. lifetimes was defined in the eighties by Samaniego as the n-tuple whose k-th coordinate is the probability that the k-th component failure causes the system to fail. More recently, a bivariate version of this concept was considered as follows. The joint structure signature of a pair of systems built on a co...

Preventive maintenance is required to keep critical systems available at reasonable costs. Instead of applying the traditional experience-based approach of statistical analysis of failure data, the present paper proposes to adopt a predictive maintenance policy that relies on detailed knowledge of the physical failure mechanisms. A structured scheme for this approach is presented. Then three ca...

We describe a simulator for modeling complex control dynamics in optical line systems involving the interaction of multiple transmission, control, and monitoring elements in response to channel changes, component failure, and recovery events.

This paper studies the relation between approximation semantics and filter models for Combinator Systems. It presents notions of approximants for terms, intersection type assignment, and using a strong normalization result of [4], it is proved that, for every typeable term, there exists an approximant of that term with the same type. Also a characterization of the normalization behaviour of ter...

This paper proposes a stochastic bounded stabilization method for a class of stochastic port-Hamiltonian systems. Both full-actuated and underactuated mechanical systems in the presence of noise are considered in this class. The proposed method gives conditions for the controller gain and design parameters under which the state remains bounded in probability. The bounded region and achieving pr...

Identification of the assignable causes of process variability and the restriction and elimination of their influence are the main goals of statistical process control (SPC). Identification of these causes is associated with so called tests for special causes or runs tests. From the time of the formulation of the first set of such rules (Western Electric rules) several different...

We define a compositional output-based interpretation of the λ-calculus with explicit substitution into a variant of the π-calculus with pairing, and show that this interpretation preserves full single-step β-reduction (i.e. not just open applicative bisimilarity) with respect to contextual equivalence. For this interpretation, we show the customary operational soundness for β-reduction, adequa...

Giving a complete semantics to strongly typed object-oriented programming is a well-known research problem. Recent work has made signiicant strides toward solving this problem. However , in most of this work a purely functional, call-by-name view of objects is taken. In this paper we give meaning to a call-by-value, typed object language with updatable instance variables , and prove the type sy...