Search
Now showing items 1-2 of 2
An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction
(Logical Methods in Computer Science c/o Institut f. Theoretische Informatik, Technische Universität Braunschweig, 2013-03-29)
We prove an algebraic preservation theorem for positive Horn definability in aleph-zero categorical structures. In particular, we define and study a construction which we call the periodic power of a structure, and define ...
Sliding mode position control for real-time control of induction motors
(ICIC International, 2013-07)
A sliding mode position control for high-performance real-time applications of induction motors in developed in this work. The design also incorporates a simple flux estimator in order to avoid the flux sensors. Then, the ...