Recently developed, second-order sliding-mode control (2-SMC) algorithms are analyzed to assess their global convergence properties. While standard first-order sliding-mode control (1-SMC) algorithms derive their effectiveness from the global solution of the well known “reaching condition” _ ( = 0 being the actual sliding manifold), 2-SMC is based on more complex differential inequalities, for ...

The mathematical formalism for linear quantum field theory on curved spacetime depends in an essential way on the assumption of global hyperbolicity. Physically, what lie at the foundation of any formalism for quantization in curved spacetime are the canonical commutation relations, imposed on the field operators evaluated at a global Cauchy surface. In the algebraic formulation of linear quant...

This study tackles to develop a sensorless drive technique for brushless dc motors (BLDC) by using wavelet theory. Initially a BLDC motor with hall sensors is handled. The simulink model of the motor is established and the simulation performances are obtained. Then BLDC motor’s PWM pulses are produced by DS2201 dSPACE digital signal processing (DSP) rapid control prototyping kit. The time domai...

The lambda calculus with constructors is an extension of the lambda calculus with variadic constructors. It decomposes the pattern-matching à la ML into a case analysis on constants and a commutation rule between case and application constructs. Although this commutation rule does not match with the usual computing intuitions, it makes the calculus expressive and confluent, with a rather simple...

Poincaré-invariant quantum field theories can be formulated on non-commutative planes if the coproduct on the Poincaré group is suitably deformed [1, 2].(See also especially Oeckl [3],[4] and Grosse et al.[5]) As shown in [6], this important result of these authors implies modification of free field commutation and anti-commutation relations and striking phenomenological consequences such as vi...

Abstmct. Various synchronization primitives are described by adding and testing integer vectors, or by using “Petri Nets”. A slice represents a local behavior, described by permissible sequences of distinct actions of the system. We present a double characterization of slices defined by various synchronization primitives: In terms of generating sets and dually in terms of commutation properties...

Pauli’s theorem asserts that the canonical commutation relation [T,H] = iI only admits Hilbert space solutions that form a system of imprimitivities on the real line, so that only non-self-adjoint time operators exist in single Hilbert quantum mechanics. This, however, is contrary to the fact that there is a large class of solutions to [T, H] = iI, including self-adjoint time operator solutions...