- The paper introduces an intrinsic state variable that enables bijective mapping of trajectory data for unbiased control synthesis.
- It employs the CALIB neural architecture to combine autoencoder-based state learning with control Lyapunov functions for exponential stabilization.
- Empirical validation with drone stabilization demonstrates improved convergence and trajectory smoothness over traditional data-enabled predictive methods.
Behavioral Systems Theory Meets Machine Learning: Control-Aware Learning via Intrinsic State from Big Data
Background and Motivation
The proliferation of industrial process data and advances in machine learning have motivated data-centric control paradigms, particularly where first-principles modeling is infeasible. Classical control theory, with its state-based causal modeling, fundamentally conflicts with trajectory-based, causality-absent learning approaches common in big data-driven methods. While behavioral systems theory provides an alternative viewpoint, focusing on system trajectories rather than explicit input-state-output causality, the synthesis of behavioral systems theory and machine learning presents unresolved technical challenges, especially for nonlinear systems where classical state-space approaches become restrictive or unrepresentative.
Behavioral Systems Theory Foundations
Behavioral systems theory characterizes a dynamical system as a triple (T,W,B), with T the time axis, W the signal space, and B the set of all admissible trajectories (the behavior). This framework eschews strict input-output causality, instead emphasizing the structure of the set of all system trajectories. Key concepts include:
- Lag (LB​): The minimal interval length required so that trajectory snippets uniquely specify global behavior.
- Kernel Representation: System behavior described by constraints like r(wk−L​,…,wk​)=0.
- State Property: A latent variable ℓ possesses the state property if pasting trajectory segments with identical ℓk​ yields new valid system trajectories, a foundation for stateful system representations.
- Control as Sub-Behavior Selection: Control is formulated as intersecting the system and controller behaviors, reducing design to the search for feasible sub-behaviors.
This trajectory-centric framework is amenable to analysis and synthesis via data, circumventing explicit causal modeling constraints.
Intrinsic State and Equipotent Behavioral Representation
A core result is the construction of an intrinsic state variable g, which is bijectively mapped from length-(L+1) trajectory windows (T0). The dimension of T1 reflects the manifest input dimension and system order: T2, where T3 is the minimal intrinsic complexity.
The intrinsic state T4 offers:
- Bijective Mapping: T5 is invertible, with inverse T6 parameterizing behavior, thus acting as a chart for T7.
- Equipotency: The set of admissible T8-trajectories (T9) is equivalent in structure to W0.
- No Implicit Causality: The representation retains correspondence rather than evolution, congruent with data-driven learning assumptions.
For LTI systems, the map can be explicitly constructed from Hankel matrices in the context of fundamental lemma [Willems:2005]. For nonlinear systems, the existence of such bijective maps is established, and their flexible realization via neural networks is proposed.
Control Design in Intrinsic State Space
Exponential stabilization via intrinsic state proceeds as follows:
- Control Lyapunov Function (CLF) Construction: Via the intrinsic state, stabilizing sub-behaviors are characterized as those permitting monotonic decrease in an appropriate CLF, without a priori controller structure or causality.
- Linear Case: The stabilization problem reduces to LMIs in the intrinsic state representation, with explicit controller realizations.
- Nonlinear Case: Controlled state transitions are formulated as arbitrary functions W1, with CLF-based feasibility constraints ensuring exponential convergence. The existence of such a feasible W2 is treated as a function approximation problem amenable to learning from data.
This methodology eliminates the bias and structural limitations inherent to classical state-space identification, allowing robust control synthesis directly from trajectory data.
CALIB Architecture: Neural Control-Aware Learning
The Control-Aware Learning of Intrinsic Behavior (CALIB) architecture operationalizes the theoretical framework using neural networks:
- Autoencoder Structure: The state map W3 and its inverse W4 are learned as an autoencoder over trajectory windows, with W5 as the latent intrinsic state.
- Controlled Behavior Learning: A neural network W6 implements the controlled state transition, while a CLF network W7 assesses stability.
- Loss Function Design: The loss combines intrinsic behavior reconstruction (bijectivity, chart anchoring, trajectory weaving) and controlled behavior criteria (behavior subset constraints, CLF anchoring and monotonicity), robustly guiding learning to representations suitable for control.
CALIB simultaneously learns representations of the system’s intrinsic complexity and control-relevant features, ensuring aligned behavioral and CLF properties for nonlinear stabilization. The architecture imposes minimal structural or causal constraints, and is flexible across different system classes.
Empirical Validation: Drone Stabilization
The application of CALIB in drone stabilization demonstrates the efficacy of the framework. Large-scale trajectory data are used to learn the intrinsic state representations and control mappings. Results show:
- Smooth convergence to setpoints, with steady-state offsets attributed to small learning errors prevalent near the origin.
- Superior performance compared to DeePC (Data-enabled Predictive Control), particularly in trajectory smoothness and convergence accuracy.
- Robust prediction alignment between realized and CALIB-predicted trajectories.
These results validate the practical integration of behavioral systems theory with deep learning in real-world nonlinear control.
Implications and Future Directions
The introduction of the intrinsic state via behavioral systems theory provides a formal foundation for data-driven control, superseding the limitations of classical modeling and identification. By leveraging bijective behavioral representations and their neural realization, the paper demonstrates integrated learning and control synthesis that is both structurally general and control-aware.
The implications are twofold:
- Theoretical: Redefines state representation for nonlinear systems in big-data settings, enabling intrinsic complexity-preserving and unbiased learning.
- Practical: Provides scalable, flexible neural architectures for complex control tasks with minimal prior structural assumptions.
Future work will address robustness to data noise, extension to tracking and setpoint-independent control, and architecture refinements for error mitigation, potentially expanding CALIB to multi-agent and distributed control environments.
Conclusion
The paper presents a rigorous synthesis of behavioral systems theory and machine learning for control-aware behavior learning from big data. By introducing the intrinsic state and formalizing its neural realization via the CALIB architecture, the approach enables effective, unbiased nonlinear control design directly from trajectory data, with significant theoretical and practical ramifications in data-driven control.