Example of RAWeb source file

Result of conversion of miaou2003.tex by tralics -ps.


\def\CC{{\mathbb C}}

\def\RAprojetfull{Mathématiques et Informatique de l'Automatique et de l'Optimisation pour l'Utilisateur}
\RAstartprojet{num}{1}{\RAprojetlatex}{\RAprojetfull}{Sophia Antipolis --- Futurs}



\begin{catperso}{Head of project team}
\pers{Laurent}{Baratchart}[DR INRIA]

\begin{catperso}{Vice-head of project team}
\pers{Juliette}{Leblond}[CR INRIA]

\begin{catperso}{Administrative assistant}
\pers{France}{Limouzis}[AI INRIA, partial time in the project]

\begin{catperso}{Staff member}
\pers{José}{Grimm}[CR INRIA]

\begin{catperso}{Ph. D. Students}
\pers{David}{Avanessoff}[Fellow, INRIA]
\pers{Alex}{Bombrun}[Since November, 1st]
\pers{Moncef}{Mahjoub}[Co-advised, ENIT Tunis (in France in February, March, October, November)]


The project was terminated June the 30th, 2003. 
A proposal for a new project named APICS has been submitted to the steering
comittee of Inria Sophia Antipolis.

The Team develops effective methods for modelling, identification and control
of dynamical systems.

\subsubsection*{Research Themes}
\item Meromorphic and rational approximation in the complex domain,
  application to identification of transfer functions  and matrices as well as
  singularity detection for 2-D Laplace operators. Development of 
%the hyperion
  software for frequency domain identification and synthesis of transfer
\item Control and structure of non-linear systems: continuous stabilization,
  non-linear transformations (linearization, classification). 

\subsubsection*{International and industrial partners}

\item Industrial collaborations with Alcatel-Space, \etc
\item Exchanges with CWI CNR (Italy), \etc
\item The project is involved in a NATO Collaborative Linkage Grant \etc

\RAstartmodule{2}{MIAOU}{3}{identif}{Identification and deconvolution}

Let us first introduce  the subject of Identification in some generality.

Abstracting in the form 
of mathematical equations the behavior of a phenomenon is
a step called \emph{modeling}. It typically serves two purposes: the first
is to describe the phenomenon with minimal complexity for some specific 
the second is to \emph{predict} its outcome. \etc

\subsubsection{Analytic approximation of incomplete boundary data}
\pers{Birgit}{Jacob}[University of Leeds (GB)],
\pers{Jean-Paul}{Marmorat}[CMA, École des Mines],

meromorphic approximation, frequency-domain identification,
extremal problems 

\etc, so that a prototypical Problem is:

{\sl ($P$)~~Let $p \geq 1$, $N \geq 0$, $K$ be an arc of the unit circle $T$, 
  $f \in L^p(K)$, $\psi \in L^p(T \setminus K)$ and $M>0$;
  find a function  $g \in H^p + R_N$ such that 
  $\|g - \psi\|_{L^p(T \setminus K)} \leq M$ and such that $g - f$ 
  is of minimal norm in  $L^p(K)$ under this constraint.}

Problem ($P$) is an extension to the meromorphic case, and to incomplete data,
of classical analytic extremal problems (obtained
by setting $K=T$ and $N=0$), that generically go under the name
\textit{bounded extremal problems}. 
These have been introduced and intensively studied by the Team, 
\cite{blpprep} and ~\footcite{partII}. 

\subsubsection{Scalar rational approximation}

rational approximation, critical point, orthogonal polynomials
\left\|f - \frac{p_m}{q_n} \right\|_{L^2(d \mu)} 
where, by definition, 
\|g\|_{L^2(d \mu)}^2=\frac{1}{2\pi} \int_{-\pi}^{\pi}|g(e^{i\theta})|^2


If one introduces now as a new variable the rational matrix $R$ defined by
L            &  H \\
0            &   I_m
\end{array} \right)^{-1}
and if $T$ stands for the first block-row, 
normalizing the variance of the noise to be identity, the maximum likelihood
estimator  is asymptotically equivalent, when the sample size increases, 
to the minimization of
\|T\|_{\Lambda}^2={\bf Tr}\left\{\frac{1}{2\pi}
where $\Lambda$  is the spectral measure  of the process $(y~u)^t$ 
(which positive and matrix-valued)
and where  ${\bf Tr}$ indicates the trace. 

\subsubsection{Continuous stabilization}
Stabilization by continuous state feedback \etc

\paragraph{Periodic stabilisation of non-linear systems.}
It is known that \etc

\paragraph{Control Lyapunov functions.}
Lyapunov functions  are \etc


The activity of the team focuses on two bottom lines, namely \etc
\RAstartmodule{1}{MIAOU}{4}{dom-fissures}{Geometric inverse problems  for the Laplacian}


\begin{motscle}   % non destructive
inverse problem, Laplace equation, non destructive control, tomography

Localizing cracks, \etc
\RAstartmodule{1}{MIAOU}{4}{resonn}{Identification and design of resonant systems}

telecommunications, multiplexing, filtering device, hyperfrequency, surface waves
\RAstartmodule{1}{MIAOU}{4}{spatial}{Spatial mechanics}

\RAstartmodule{2}{MIAOU}{4}{optique}{Non-linear Optics}

\RAstartmodule{1}{MIAOU}{4}{plat}{Transformations and equivalence of non-linear systems}


path planning, mobile cybernetics,  identification, {(max,plus) algebra}

\RAstartmodule{1}{MIAOU}{5}{hyperion}{The hyperion software}

\RAstartmodule{1}{MIAOU}{5}{logi-tralics}{The Tralics software}

\etc. \nocite{tralics-eurotex}
\RAstartmodule{1}{MIAOU}{5}{RARL2}{The RARL2 software}


RARL2 (Réalisation interne et Approximation Rationnelle L2) is a software for
rational approximation (see module \ref{didactique-approx-rat-mat}). Its web
page is
\RAstartmodule{1}{MIAOU}{5}{RGC}{The RGC software}


The RGC software \etc


PRESTO-HF: a toolbox dedicated to lowpass parameter identification for
hyperfrequency filters


\RAstartmodule{1}{MIAOU}{6}{tralics}{Tralics: a Latex to XML Translator}

The main philosophy of Tralics is to have the same parser as \TeX, but the
same semantics as \LaTeX. This means that commands like \verb+\chardef+, 
\verb+\catcode+, \verb+\ifx+, \verb+\expandafter+, \verb+\csname+, etc.,
that are not described in the \LaTeX\ book and not implemented in translators
like latex2html, tth, hévéa, etc., are recognised by Tralics. This year we
added constructions like \verb=\endlinechar=, \verb=\read=,
\verb=\uppercase=, \verb=\endinput=, which are less used, and a bit tricky. 
Note that a construction like \verb=\ifdim\wd0>0pt\fi= is recognised by the
parser, but there is no way to change the size of the box number zero, so that
the test is always false. 

For more information, see the
\htmladdnormallink{Tralics web page}{http://www-sop.inria.fr/miaou/tralics/}.

\caption{A slide that explains how the raweb operates. Rectangular boxes contain
  tools, diamond-shape boxes are style sheets, and ellipses contain language
  names; the name XML is in a double ellipse, it is the central object. The
  Perl script that handles the math formulas is not shown here;  it uses tools
  borrowed from latex2html.}

\RAstartmodule{1}{MIAOU}{6}{Couplages-Algebrique}{Parametrizations  of matrix-valued lossless functions}

\RAstartmodule{1}{MIAOU}{6}{martine2}{The mathematics of Surface Acoustic Wave filters}

\RAstartmodule{1}{MIAOU}{6}{nat}{Scientific Committees}

L. Baratchart is member of the editorial board of \textit{Computational
Methods in Function Theory}.


\RAstartmodule{0}{MIAOU}{7}{cnes}{Contract ABCD-EFGH-INRIA}

Contract \no 1 03 E 2145% this number is OK

In the framework of a contract that links  ABCD, EFGH and Inria, 
whose objective is \etc the work of Inria has been
\item \etc see module \ref{filtrescnes},
\item \etc  (see module  \moduleref{MIAOU}{resultats}{Couplages-Algebrique}),
\item modeling and \etc, see module \ref{filtrescnes}.
In this contract, we promised version 1 of our software to both partners.
This contract has been renewed in 2003.
\RAstartmodule{0}{MIAOU}{7}{aspi-c}{Contract Company Somename (Cannes)}

Contract \no 1 01 E 0736.

This contract started in 2001, for three years. 
The objective is \etc
\RAstartmodule{0}{MIAOU}{7}{c-marcoussis}{Contract OtherName}

Contract \no 1 02 E 0327.
This was a one year contract, that ended formally in February, 2003.
\item[Subject.] Objective was \etc
\item[Outcome.] We have contributed to \etc

\RAstartmodule{0}{MIAOU}{8}{nationale}{National Actions}

Together with project-teams Caiman and Odyssée
(INRIA-Sophia Antipolis, ENPC), the University of Nice (J.A. Dieudonné lab.), 
CEA, CNRS-LENA (Paris), and a few French hospitals, we are part of the
national action \textbf{ACI Masse de données «~OBS-CERV~»}, 2003-2006 (inverse
problems, EEG).

The \textbf{region PACA} (Provence Alpes Côte d'Azur) is partially supporting
the post-doctaral stay of Per Enquist until May, 2004. We also obtained a (modest) grant from
the region for exchanges with SISSA Trieste (Italy), 2003-2004.

\RAstartmodule{0}{MIAOU}{8}{cee}{Actions  Funded by the EC}

The Team \etc
The Team is member of the \textbf{TMR network}
\emph{European Research Network on System Identification} (ERNSI), see
This formally ended in February. A new proposal of a Research Training Network
(RTN) has been submitted to the EC.

The team obtained a \textbf{Marie Curie EIF} (Intra European Fellowship)
FP6-2002-Mobility-5-502062, for 24 months (2003-2005). This finances Mario
Sigalotti's post-doc.

The Team is a member of the  \textbf{Marie Curie multi-partner training site}
\emph{Control Training Site}, number HPMT-CT-2001-00278, 2001-2005. See

The project is member of Working Group Control and System Theory
of the \textbf{ERCIM} consortium, see
\RAstartmodule{0}{MIAOU}{8}{monde}{Extra-european International Actions}

\textbf{NATO CLG} (Collaborative Linkage Grant), PST.CLG.979703, 
«~Constructive approximation and inverse diffusion problems~», with
Vanderbilt Univ. (Nashville, USA) et le LAMSIN-ENIT (Tunis, Tu.), 2003-2005.
\RAstartmodule{0}{MIAOU}{8}{accueil}{Exterior research visitors}

Ceci est un test de moduleref:
resu \moduleref{MIAOU}{resultats}{}
resu \moduleref{MIAOU}{contrats}{}
resu \moduleref{MIAOU}{international}{}
resu \moduleref{MIAOU}{diffusion}{}
1=\ref{crit}, 2=\ref{xml-route}, 3=\moduleref{MIAOU}{fondements}{} 4=\moduleref{MIAOU}{fondements}{identif} 5=\ref{filtrescnes}

In addition to the ``Scientific advisors'' and to the ``Visiting scientists''
listed in section \moduleref{MIAOU}{composition}{}, 
the following scientists visited us in 2003. 
\item Mohamed Jaoua (Lamsin-ENIT, Tunis).
\item Herbert Stahl (TU Berlin).
\item \etc


\item [Courses] \ 
  \item D. Avanessoff \etc
  \item L. Baratchart, \etc
  \item J. Leblond \etc
\item [Trainees] \ 
  \item Antoine Chaillet, \etc

\item[Ph.D. Students] \ 
  \item David Avanessoff, «~Linéarisation \etc~» 
   (dynamic linearization \etc)
  \item Fehmi Ben Hassen, <<~Localisation \etc~>>, 
  \item Alex Bombrun, \etc
\item[Ph.D. thesis defended] \ 
\item Reinhold Küstner, \etc

L. Baratchart was (president|rapporteur|examinateur)\footnote{Rayer les
  mentions inutiles}
 of the Thesis  of X and Y
and Z\footnote{Remplacer les lettres par des noms}.

\RAstartmodule{0}{MIAOU}{9}{dif-anim}{Community service}

L. Baratchart is a member of the  ``bureau'' of the CP
(Comité des Projets) of INRIA-Sophia Antipolis.
\RAstartmodule{0}{MIAOU}{9}{dif-conf}{Conferences and workshops}

\begin{glossaire}\glo{A}{B\par C}\glo{A1}{B1\par C1}\end{glossaire}

Talks, courses, sessions, software demonstrations at the
CNRS-INRIA summer school ``Harmonic analysis and rational approximation: their
r\^oles in signals, control and dynamical systems theory'',
Porquerolles, september. 

J. Grimm gave a talk about Tralics at Eurotex 2003 (Brest)

Valid XHTML 1.0 Strict back to home page © INRIA 2004, 2006 Last modified $Date: 2006/07/03 16:30:39 $