Control Systems with Model Hierarchies: A Category-Theoretic Framework

Abstract

Storage functions are widely used to relate a control system to a simpler model for analysis and controller design, and to quantify model mismatch when a controller is designed on one model but implemented on another. In applications, several models of the same physical process are available at different levels of refinement, while refinement relations, consisting of a storage function and an associated interface, are constructed only between neighboring levels. Thus, a direct refinement relation may be unavailable between the model used for controller design and the model used for implementation. To address this gap, we consider open control systems with internal ports for interconnection and external ports for input-output analysis. We define a category, $\mathsf{OCS}_{\mathrm{chain}}$, whose objects are open control systems and whose morphisms are finite chains of refinement relations. Using this category, we derive an output mismatch bound and a closed-loop performance result for controllers refined through a sequence of interfaces. We then define a functor that transfers refinement relations from open control systems to systems without internal ports. We also develop a network lifting result showing that, under standard interconnection compatibility conditions, subsystem storage functions can be combined to obtain refinement relations and performance bounds for composite networks. Two thermal network examples illustrate recursive controller refinement and the propagation of model mismatch along refinement chains. Simulations show that an HVAC system tracks a time-varying reference temperature with error below $0.2^\circ\mathrm{C}$ even when the controller is designed on the coarsest model and deployed on the finest model.