The notions we study in this paper, those of existentially-atomic structure and effectively existentially-atomic structure, are not really new. The objective of this paper is to single them out, survey their properties from a computability-theoretic viewpoint, and prove a few new results about them. These structures are the simplest ones around, and for that reason alone, it is worth analyzing ...

the networked control system in modern control widely uses to decrease the implementation cost and increasing the performance. ncs in addition to its advantages is inevitable. nevertheless they suffer of some limitations and deficiencies. packet loss is one of the main limitations which affect the control system in different conditions and finally may lead to system instability. for this reason...

the use of micro-controllers in actuators provides extended flexibility for on-line data acquisition and sophisticated control implementation. however, attempts to utilize the excellent features of induction motor that is deemed by its strength, robustness, high torque, and relatively low cost in actuators face a fundamental control design challenge. the purpose of this paper is to introduce th...

There exists a countable structure M of Scott rank ωCK 1 where ωM 1 = ω CK 1 and where the LωCK 1 ,ω-theory of M is not ω-categorical. The Scott rank of a model is the least ordinal β where the model is prime in its Lωβ,ω-theory. Most well-known models with unbounded atoms below ωCK 1 also realize a non-principal LωCK 1 ,ω-type; such a model that preserves the Σ1-admissibility of ωCK 1 will hav...

Abstract: This paper presents a new algorithm for the closed-loop H∞ composite control of weakly coupled bilinear systems with time-varying parameter uncertainties and exogenous disturbance using the successive Galerkin approximation (SGA). By using weak coupling theory, the robust H∞ control can be obtained from two reduced-order robust H∞ control problems in parallel. The H∞ control theory gu...

H.1 WHY QUEUEING ANALYSIS?........................................................................2! H.2 THE SINGLE-SERVER QUEUE......................................................................4! H.3 THE MULTISERVER QUEUE.........................................................................7! H.4 POISSON ARRIVAL RATE .........................................................................

We study the Seiberg-Witten curves for N = 2 SUSY gauge theories arising from type IIA string configurations with two orientifold sixplanes. Such theories lift to elliptic models in M-theory. We express the M-theory background for these models as a nontrivial elliptic fibration over C. We discuss singularities of this surface, and write the Seiberg-Witten curve for several theories as a subvari...

We present an explicit relation between the Hanany-Witten and Geometric Engineering approaches of realising gauge theories in string theory. The last piece in the puzzle is a T-duality relating arbitrary Hanany-Witten setups and fractional branes.