  This manuscript contains technical details and proofs of recent results
developed by the authors, pertaining to the design of nonlinear controllers
from the experimental data measured on an existing feedback control system.
