In this paper it is shown that, if a time-varying uncertain system is robustly completely detectable, then there exists an estimator for this system, i.e. the state vector of the system can be estimated asymptotically. If the time-varying uncertain system is robustly completely observable, it is shown that there exists an estimator for this system with assignable rate of convergence of the erro...

It is known that a two-person game form g is Nash-solvable if and only if it is tight [12, 13]. We strengthen the concept of tightness as follows: game form is called totally tight if every its 2 × 2 subform is tight. (It is easy to show that in this case all, not only 2 × 2, subforms are tight.) We characterize totally tight game forms and derive from this characterization that they are tight,...

We study the Λμ-calculus, extended with explicit substitution, and define a compositional output-based translation into a variant of the π-calculus with pairing. We show that this translation preserves single-step explicit head reduction with respect to contextual equivalence. We use this result to show operational soundness for head reduction, adequacy, and operational completeness. Using a no...

Structure of Oligostatin C Oligostatin C (Ic), a basic, water-soluble, amorphous substance; m.p. 183'C (dec.), [a]21+154' (c 1, H,O), shows strong IR absorption maxima at 31003600 and 9801180 cm-1 indicative of its oligosaccharide nature. PMR spectrum of Ic in D2O shows a methyl signal at 1.38 ppm (d, J=6 Hz), a methine proton at 2.76 ppm (t, J=9 Hz) and complex signals at 5.2 5.5 ppm assignabl...

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 with respect to contextual equivalence. For this interpretation, we show the customary operational soundness for β-reduction, adequacy, and operational completeness; using a noti...

This paper proposes a multi-objective model for the economic-statistical design of the variable sample size and sampling interval multivariate exponentially weighted moving average control chart by using double warning lines. The Markov chain approach is used to obtain the statistical properties. We extend the Lorenzen and Vance cost function considering multiple assignable causes and multivari...

This paper presents the software Partial Pole Placement via Delay Action, or P3? for short. is a Python with friendly user interface design of parametric stabilizing feedback laws time-delays, thanks to two properties distribution quasipolynomials’ zeros, called multiplicity-induced-dominancy and coexisting real roots-induced-dominancy. After recalling recent theoretical results on these their ...