Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities

Section: Scientific Foundations


Participants : Ismaïl Gourragui, Abderrahman Iggidr, Mohamed Mabrouk, Gauthier Sallet, Jean-Claude Vivalda.

Consider a real system modeled by the differential system:

Im5 $\mfenced o={ c=. \mtable{...}$(1)

where the observation function hrepresents the set of measures made on the physical system. An observer is an auxiliary dynamical system:

Im6 $\mfenced o={ c=. \mtable{...}$(2)

which provides at any time tan estimation Im7 ${\mover x^{(t)}}$ of the real state x( t) . More specifically, we have:

Im8 ${lim_{t\#8594 \#8734 }\#8741 \mover x^(t)-x{(t)}\#8741 =0.}$

If every parameter of system ( 1 ) is known with enough precision and if it is possible to design an observer, a differential equation solver can give an estimation of the state of system ( 1 ).

The team investigates the theory of observability and observers for finite dimensional systems. More specifically, a current subject of interest is the design of observers for some mechanical systems (Ph.D. thesis of M. Mabrouk) or for the switched reluctance motor (Ph.D. thesis of I. Gourragui).

Another subject is the design of observers for biological systems, more specifically for systems which model the evolution of fishes populations submitted to a fishing effort. In this case, our aim is to stabilize the size of the population around an equilibrium point but, since it is not possible to measure all the state variables, it is necessary to design an observer which gets an estimation of the sizes of the different age classes. Before designing an observer, it is necessary to investigate the observability property. One definition of this last concept is as follows: system ( 1 ) is said observable if, given two initial conditions Im9 ${x_0\#8800 \mover x¯_0}$ , there exists an input usuch that the solutions x( t) and Im10 ${\mover x¯{(t)}}$ starting from x0 and Im11 $\mover x¯_0$ satisfy the inequality Im12 ${{h(x(t))\#8800 h(}\mover x¯{(t))}}$ for all tin a set of nonzero measure. If we are concerned with the construction of observers that converge with an arbitrary speed, the observability condition is necessary. From a theoretical point of view, it is then important to know ``how many'' systems are observable, that's why we study the problem of the genericity of the observability for discrete-time


Logo Inria