1: \begin{abstract}
2: We
3: investigate how the following properties are related to each other:
4: i) - A manifold is ``transversally'' exponentially stable; ii) - The
5: ``transverse'' linearization along any solution in the manifold is
6: exponentially stable; iii) - There exists a
7: field of positive definite quadratic forms whose
8: restrictions to the directions transversal to the
9: manifold are decreasing along the flow.
10: \startmodifbj
11: We illustrate their relevance with the
12: study of exponential incremental stability. Finally, we apply
13: these results to two control design problems, nonlinear
14: observer design and synchronization. In particular, we provide
15: necessary and sufficient conditions for the design of nonlinear observer
16: and of nonlinear synchronizer with exponential convergence property.
17: %We illustrate these results by specifying them to the study of
18: %incremental stability. We show their relevance in control design
19: %problems as observer and synchronization, for which they give necessary
20: %conditions which can be exploited to obtain design tools
21: \stopmodifbj
22: \end{abstract}
23: