### 2-D polynomial equations

Skip to main content (access key 's'),
Skip to navigation (access key 'n'),
Accessibility information (access key '0')

We show how to use the extension and torsion functors in order to compute the torsion submodule of a differential module associated with a multidimensional control system. In particular, we show that the concept of the weak primeness of matrices corresponds to the torsion-freeness of a certain module.

In this paper, we investigate Egoroff’s theorem with respect to monotone set function, and show that a necessary and sufficient condition that Egoroff’s theorem remain valid for monotone set function is that the monotone set function fulfill condition (E). Therefore Egoroff’s theorem for non-additive measure is formulated in full generality.

The notion of controlled invariance under quasi-static state feedback for discrete-time nonlinear systems has been recently introduced and shown to provide a geometric solution to the dynamic disturbance decoupling problem (DDDP). However, the proof relies heavily on the inversion (structure) algorithm. This paper presents an intrinsic, algorithm-independent, proof of the solvability conditions to the DDDP.

This paper presents a constrained decomposition methodology with output injection to obtain decoupled partial models. Measured process outputs and decoupled partial model outputs are used to generate structured residuals for Fault Detection and Isolation (FDI). An algebraic framework is chosen to describe the decomposition method. The constraints of the decomposition ensure that the resulting partial model is decoupled from a given subset of inputs. Set theoretical notions are used to describe the...

This paper deals with the stabilization of the linear time-invariant finite dimensional control problem specified by the following linear spaces and subspaces on C: χ (state space) = χ* ⊕ χd, U (input space) = U1 ⊕ U2, Y (output space) = Y1 + Y2, together with the linear mappings: Qs = χ x U x [0,t} --> χ associated with the evolution equation of the C0-semigroup S(t) generated by the matrices, of real and complex entries A belonging to L(χ,χ) and B belonging to L(U,χ) of a given differential...

Contrary to state space systems, there are different notions of controllability for linear time invariant descriptor systems due to the non smooth inputs and inconsistent initial conditions. A comprehensive study of different notions of controllability for linear descriptor systems is performed. Also, it is proved that reachable controllability for general linear time invariant descriptor system is equivalent to the controllability of some matrix pair under an assumption milder than impulse controllability....

A closed loop parametrical identification procedure for continuous-time constant linear systems is introduced. This approach which exhibits good robustness properties with respect to a large variety of additive perturbations is based on the following mathematical tools: (1) module theory; (2) differential algebra; (3) operational calculus. Several concrete case-studies with computer simulations demonstrate the efficiency of our on-line identification scheme.