---
title: 'FAIR Data Principles: A Data Stewardship Guide'
url: https://www.emergentmind.com/topics/fair-data-principles
type: topic
---

# FAIR Data Principles: A Data Stewardship Guide

Finite-Control-Set Model Predictive Control (FCS-MPC) is a discrete-time optimal control paradigm in which the input at each sample is constrained to a finite (typically small and enumerative) set. This finite input structure arises fundamentally from the switched or quantized nature of actuators in key technological domains such as power electronics and energy conversion, including multilevel inverters, DC-DC converters, and microgrid interfaces. FCS-MPC frameworks have been systematically developed to provide direct, non-modulated gate-level control of switching devices, enabling both rapid dynamic response and explicit treatment of hard nonlinearities and constraints—properties not available in classical continuous-input MPC.

## 1. Mathematical Formulation and Problem Class

FCS-MPC problems are formulated on discrete-time dynamical systems of the form
$$
x_{k+1} = A_{u_k}\,x_k + B_{u_k}\,u_k + f_{u_k}, \quad y_k = C_{u_k}\,x_k + d_{u_k},
$$
with state $x_k \in \mathbb{R}^{n_x}$, measured output $y_k \in \mathbb{R}^{n_y}$, and control $u_k$ selected from a finite set $\mathcal{U} = \{u^1, \dots, u^{N_s}\} \subset \mathbb{R}^{n_u}$. The system matrices and affine terms are indexed by the control mode $u$, characterizing the switched-affine regime [2407.07615].

At each sampling instant, FCS-MPC solves an open-loop optimal control problem over horizon $N$:
$$
\min_{\{u_{i|k}\}_{i=0}^{N-1} \subset \mathcal{U}} \sum_{i=0}^{N-1} \ell\big(x_{i|k}, u_{i|k}\big) + V_f\big(x_{N|k}\big)
$$
subject to system dynamics and constraints. The first element of the optimal input sequence is applied; the process repeats at the next time step (receding horizon).

The cost function $\ell(\cdot, \cdot)$ encodes tracking performance and/or switching penalties, and $V_f$ is a terminal cost, often designed to ensure recursive feasibility and stability in the absence of continuous input regularity.

## 2. Limit-Cycle and Practical Stability

A fundamental distinction in FCS-MPC arises due to the quantized nature of $\mathcal{U}$. Classical MPC with a continuous control set can enforce asymptotic convergence to an exact equilibrium, but FCS-MPC under typical cost functions only yields *practical stability*: trajectories converge to a (potentially non-singleton) invariant set surrounding the desired steady state. Within this set, the switching law may produce arbitrary chattering, resulting in unpredictable switching patterns and output ripple [2407.07615, 2205.15668].

Advances in limit-cycle stabilization for FCS-MPC leverage the design of cost functions and terminal ingredients to guarantee asymptotic convergence *to a specific precomputed limit cycle* $(\{\bar x_j, \bar u_j\}_{j=0}^{p-1})$ of period $p$. The FCS-MPC problem then tracks deviations $(z_{i|k}, v_{i|k}) = (x_{i|k} - \bar x_{k+i}, u_{i|k} - \bar u_{k+i})$ and employs $p$-periodic terminal sets and costs that enforce recursive feasibility and a Lyapunov-type decrease relative to the cycle [2407.07615, 2205.15668].

The theoretical framework includes:
- Construction of $p$-periodic invariant tubes $\{\mathcal{X}_j\}$ containing the cycle states.
- Periodic terminal costs $\{F_j\}$ and terminal control law $\kappa_j(x) = \bar u_j$.
- Lyapunov-type decrease conditions of the form
  $$
  F_{j+1}\big(A_{\bar{u}_j}x + f_{\bar{u}_j} - \bar{x}_{j+1}\big) - F_j(x - \bar{x}_j) \le -\ell(x - \bar{x}_j, 0)
  $$
  for all $x \in \mathcal{X}_j$.

This construction enables both recursive feasibility and asymptotic convergence (tracking error $z_k \to 0$) to the chosen orbit rather than to arbitrary points within a set, yielding predictable steady-state behavior and quantized switching frequency [2407.07615, 2205.15668].

## 3. Terminal Set, Cost Construction, and Computation

The terminal ingredients play a decisive role in achieving convergence or practical stability:
- **Quadratic terminal costs via LMIs:** For $\ell(z,v) = z^\top Q z + v^\top R v$, solve for positive definite $P_j$ such that
  $$
  A_{\bar u_j}^\top P_{j+1} A_{\bar u_j} - P_j + Q \preceq 0
  $$
  for each $j=0,\dots,p-1$. Terminal costs $F_j(z) = z^\top P_j z$ and sets constructed accordingly [2407.07615].
- **Ellipsoidal invariant tubes:** Parametrize each section as $\mathcal{Z}_j = \{z \mid z^\top Z_j z \le 1\}$, optimize $O_j = Z_j^{-1}$ via SDP, and ensure inter-stage forward-invariance under $A_{\bar u_j}$ [2407.07615].
- **Polytopic invariant tubes:** Employ set-iteration from $\mathcal{Z}_j^{(0)} = \mathcal{X} \ominus \bar x_j$, iterating
  $$
  \mathcal{Z}_j^{(n)} = \{z | A_{\bar u_j} z \in \mathcal{Z}_{j+1}^{(n)}\} \cap \mathcal{Z}_j^{(n-1)}
  $$
  for $j$ mod $p$, terminating at fixed points [2407.07615].

Such procedures enable systematic, convex computation of the terminal sets required for rigorous Lyapunov arguments in the finite-control setting, in contrast to the continuous-set case.

## 4. Algorithmic Structure, Complexity, and Real-Time Implementation

The cardinality of the input space $\mathcal{U}$ and the prediction horizon $N$ induces a combinatorial complexity $|\mathcal{U}|^N$ for brute-force enumeration. Mitigation techniques include:
- Problem-specific problem decomposition (converter-by-converter or subsystem-by-subsystem).
- Parallelization and warm-starting in online search.
- Tail-cost approximation via offline estimated infinite-horizon value functions (e.g., using approximate dynamic programming and iterated Bellman inequalities), which allows short-horizon (e.g., $N=1$ or $2$) FCS-MPC to match long-horizon performance with lower complexity [1510.05578].
- Mixed-integer programming solvers with explicit enumeration optimized for embedded hardware (e.g., FPGAs) [1510.05578].
- Sphere decoding for least-squares–like cost reformulations [2404.02727], binary relaxation methods [2411.19300], or semidefinite relaxations to obtain near-optimal feasible input sequences efficiently [2412.11666].

For applications with extremely stringent real-time constraints (e.g., $T_s < 25~\mu$s), tailored hardware implementations achieve deterministic and sub-millisecond solve latencies even for finite-control sets of moderate size [1510.05578].

## 5. Applications, Case Studies, and Design Trade-Offs

FCS-MPC is widely used in power electronics, electrical drives, and grid-forming/converter-dominated microgrids:
- **Power converter and inverter control:** Direct current and voltage regulation, switching frequency limitation or targeting, and THD minimization [1510.05578, 2312.05916].
- **Microgrids and DER interface:** Simultaneous voltage/frequency regulation and decentralized droop-based power sharing using FCS-MPC as the inner loop; this approach circumvents classical PI-tuning and yields faster transients and superior steady-state regulation [2407.07281].
- **Precision motion/actuation:** Limit-cycle tracking for quantized power amplifiers, producing minimized output ripple and predictable switching [2205.15668].
- **Hybrid microgrids:** Unified FCS-MPC architectures for converters, battery interfaces, and PV MPPT, using tailored cost functions and explicit candidate enumeration [1802.04435].

Design trade-offs center on the balance between horizon length, achievable performance (e.g., ripple, tracking error), computational burden, and the complexity of terminal set/cost construction. FCS-MPC with tailored limit-cycle tracking and terminal design guarantees lowest attainable ripple at the cost of offline mixed-integer search and online combinatorial optimization.

## 6. Extensions: Relaxations, Data-Driven Models, and Learning

Several approaches extend beyond model-based FCS-MPC:
- **SDP and convex relaxations:** For long-horizon problems, semidefinite relaxation may produce good candidate sequences in predictable time, complementing branch-and-bound or other combinatorial solvers [2412.11666].
- **Partial outer convexification and sum-up rounding:** Binary/SOS1 relaxations allow efficient continuous optimization followed by rounding with bounded tracking error, with theoretical guarantees of practical asymptotic stability under fast switching [2411.19300].
- **Data-driven or learning-based approaches:** Real-time parameter adaptation via recursive least squares, use of direct data-driven predictive control with sphere decoding, or black-box surrogate models (e.g., via Koopman operators) maintain performance in the presence of significant modeling uncertainty [1911.12065, 2404.02727, 1804.00854].
- **Imitation learning:** Policy distillation of FCS-MPC experts using neural network surrogates for fast sequence selection at runtime has demonstrated comparable closed-loop performance at significantly reduced computational cost [2604.11192].

## 7. Advantages, Limitations, and Research Directions

Key advantages of FCS-MPC with rigorous terminal design and cycle tracking include:
- Predictable, precisely quantized steady-state behavior (fixed switching frequency/waveform).
- Recursive feasibility and Lyapunov-based convergence or practical stability guarantees (even for switched/quantized systems).
- Unified controller structure for diverse converter architectures, supporting constraint handling and modular system expansion [2407.07281, 1802.04435].

Limitations and open research challenges include:
- Scalability to high-dimensional systems or long horizons due to the exponential growth of feasible input sequences.
- Additional offline complexity for terminal set and cost computation, especially for precomputed optimal cycles.
- Robustness to dynamic parameter uncertainties and time-varying operating conditions; further development is required for uncertainty-aware terminal set design [2407.07615].
- Extension to hybrid and stochastic systems, incorporating explicit uncertainty models, or integrating learning-based policies with formal guarantees remains an active area of research.

FCS-MPC thus constitutes a mature, theoretically grounded paradigm for quantized switched-system control with direct impact on the performance envelope of modern power electronics, drive systems, and converter-rich microgrids [2407.07615, 1510.05578, 2312.05916, 1802.04435, 2407.07281, 2205.15668].

Source: https://www.emergentmind.com/topics/fair-data-principles