[Paper Review] Adaptation Implies Internal Model

Eduardo D. Sontag|ArXiv.org|Mar 21, 2002

Fault Detection and Control Systems15 references3 citations

TL;DR

This paper proves that any nonlinear system adapting to a class of external signals must contain an internal subsystem capable of generating all signals in that class—establishing a foundational link between adaptation and internal modeling. Under mild technical conditions, the system's output regulation to zero implies the existence of a subsystem (the internal model) driven solely by the output, which replicates the external signals via a coordinate transformation and omega-limit set analysis, generalizing the internal model principle beyond linear or robustly stable systems.

ABSTRACT

This note provides a simple result showing, under suitable technical assumptions, that if a system S adapts to a class of external signals U, then S must necessarily contain a subsystem which is capable of generating all the signals in U. It is not assumed that regulation is robust, nor is there a prior requirement for the system to be partitioned into separate plant and controller components.

Motivation & Objective

• To establish a general condition under which adaptation in a nonlinear system implies the existence of an internal model for the external signals.
• To remove the need for structural stability (robustness) or predefined plant-controller decomposition in the internal model principle.
• To provide a minimal, self-contained proof using differential geometry and dynamical systems theory applicable to general nonlinear systems.
• To support biological modeling by enabling distinction between models that do and do not contain internal models of signaling inputs.

Proposed method

• Uses a composite system model combining the original system Σ and an exosystem Γ generating external signals u(t), with w(t) representing the exosystem state.
• Applies omega-limit set analysis to show that trajectories of the composite system must converge to states where the output h(x) = 0, implying output-zeroing behavior.
• Employs a global diffeomorphism Φ to transform the system into a canonical form where the internal model structure becomes explicit.
• Uses output-zeroing sets Z = {x | h(x) = 0} and Poisson stability to ensure existence of solutions that maintain zero output and track the input signal.
• Demonstrates that for any input u ∈ U, there exists a solution where the internal subsystem reproduces u via the dynamics of z1 and z2 in the transformed coordinates.
• Applies linear system theory (Lemma 3.2) to show that under observability, the internal model can be embedded in a block-diagonal form that includes the exosystem dynamics.

Experimental results

Research questions

• RQ1 Does adaptation to a class of external signals necessarily imply the existence of a subsystem capable of generating those signals, even without robustness or controller-plant separation?
• RQ2 Can the internal model principle be established for general nonlinear systems using minimal assumptions?
• RQ3 How can the internal model be structurally embedded within the system, and what conditions ensure its existence?
• RQ4 What role do omega-limit sets and output-zeroing sets play in proving the existence of such an internal model?
• RQ5 Can the result be extended to show that the internal model is not just existent but isomorphic to the exosystem under suitable coordinate transformations?

Key findings

• For any initial state w0 of the exosystem, there exists a solution of the composite system where the output h(x(t)) ≡ 0 and the internal state x(t) remains in the output-zeroing set Z for all t ≥ 0.
• The system Σ must contain a subsystem Σim that can generate all signals in the class U, even without assuming structural stability or controller-plant decomposition.
• The internal model is driven only by the output y(t), with no direct access to the external input u, confirming the core requirement of the internal model principle.
• In the transformed coordinate system, the z1-subsystem evolves according to a chain of integrators with a nonlinear input term, and the output y = ζ1 ≡ 0 implies that the last state ζr is constant.
• For each u ∈ U, there exists a solution where the internal dynamics reproduce u via the relation b(0, z2(t)) + a(0, z2(t))u(t) ≡ 0, proving signal replication.
• Under observability, the internal model can be embedded in a block-diagonal form that includes the exosystem dynamics, showing a structural isomorphism between the exosystem and a subsystem of the internal model.