Abstract. The response to a setpoint change in PID controlled feedback systems plays an important role for the tuning methods. This response may be easily evaluated in linear systems without delay by solving the related ordinary differential equations. These equations are also obtained for system with delay, if the delay exponential term is approximated to a polynomial by one of the Padé expres...

Setting of this research is Bishop’s constructive mathematics, the mathematics developed on Intuitionistic logic. If (X, =, 6=, θ) is an anti-ordered set, for a coequality q on X we say that it is strongly regular if it is regular and θ ◦ q ⊆ q ◦ θ holds. In this case, θ ◦ q is a quasi-antiorder relation on X such that the relation Θ = π ◦ θ ◦ π−1 on X/q is the maximal anti-order on X/q.

In this paper, by considering the notion of hyper hoop-algebras, we define the concepts of (strong) regular relations on hyper hoop-algebras and investigate some properties of them. Then we construct a quotient (hyper) hoop-algebra by a (strong)regular relation on hyper hoop-algebras. Finally, we define the notion of maximal filter and we investigate the relation between quotient simple hyper h...

in this paper, we investigate various kinds of extensions of twin-good rings. moreover, we prove that every element of an abelian neat ring r is twin-good if and only if r has no factor ring isomorphic to z2  or z3. the main result of [24] states some conditions that any right self-injective ring r is twin-good. we extend this result to any regular baer ring r by proving that every element of a...

In this work, we give an algorithm that infers Regular Trace Languages. Trace languages can be seen as regular languages that are closed under a partial commutation relation called the independence relation. This algorithm is similar to the RPNI algorithm, but it is based on Asynchronous Cellular Automata. For this purpose, we define Asynchronous Cellular Moore Machines and implement the merge ...

We analyze the Einstein equations for a spherically symmetric static distribution of matter which satisfies a given constitutive relation for elastomechanics. After reducing the equations into a system of Fuchsian ODE for certain scalar invariants of the strain, we show that, for a given constitutive relation and a given value of central pressure satisfying certain compatibility conditions, the...

The regular Einstein relation, connecting the coefficient of ambipolar diffusion and the Dember field with mobilities, is generalized for the case of an interacting electron-hole plasma. The calculations are presented for a nondegenerate plasma injected by light into semiconductors of silicon and germanium type. The Debye-Huckel correlation and the Wigner-Seitz exchange terms are considered. Co...

We investigate rational relations over trees. Our starting point is the definition of rational tree relations via rational expressions by Raoult (Bull. Belg.Math. Soc. 1997). We develop a new class of automata, called asynchronous tree automata, which recognize exactly these relations. The automata theoretic approach is convenient for the solution of algorithmic problems (like the emptiness pro...

We extend our investigation of the notion that a system built of communicating processes is an acceptable implementation of another base or target system, in the case that respective specification and implementation processes have different interfaces and we combine into a single scheme implementation relations previously presented. We also relax significantly the restrictions placed upon targe...