This paper studies the problem of data-driven covariance steering for stochastic, nonlinear dynamical systems. We utilize Koopman operator theory to learn, directly from data, an approximate linear representation of the nonlinear dynamics in a lifted space of observable functions of the state. By exploiting this linear model, we design controllers for the mean and covariance of the underlying nonlinear system by utilizing linear distribution steering algorithms. To account for approximation errors in the learned dynamics and the ambiguity in the disturbance distribution induced in the lifted space, we formulate the problem as a distributionally robust covariance steering problem. Furthermore, we leverage a deep neural network (DNN) to simultaneously learn the Koopman observables and the linear model parameters, thus eliminating the need for manual observables basis selection while also…
Fictitious play (FP) is one of the earliest and most fundamental learning procedures in games, where each agent independently chooses a best response to the empirical distribution of opponents' past actions by maximizing the expected payoff with respect to it. However, learning agents may not always be expected-utility maximizers: they may use nonlinear evaluation functionals to account for the uncertainty induced by the opponents, e.g., via risk measures. In this work, we study nonlinear fictitious play (NL-FP), in which each pure action is evaluated by a general, possibly nonlinear functional of the payoff distribution induced by the opponent's empirical belief. To analyze NL-FP, we first identify a single-crossing property (SCP) of evaluation functionals that preserves the classical geometry of FP in $2\times2$ games. Furthermore, we conduct a novel geometric analysis of the…
Multi-horizon optimal control aims to select optimal control sequences simultaneously for several possible future scenarios, ensuring consistency at the first stage. While this enables advanced model predictive control schemes that explicitly handle prediction uncertainty, solving these problems tends to be costly. We introduce FanCyqlone, a linear solver that exploits parallelism across both time steps and scenario branches. The method builds on Cyqlone to compute the contribution of each branch and combines these results through a shared root problem. We integrate FanCyqlone into QPALM to develop FanCyQPALM, a solver for multi-horizon optimal control problems with general linear stage-wise constraints. We compare its performance with state-of-the-art solvers on spring-mass and quadruped control benchmarks.
Long Short-Term Memory (LSTM) and Gated Recurrent Unit (GRU) networks are the two most widely adopted recurrent neural networks for black-box nonlinear system identification, yet they are invariably treated as mutually exclusive structural choices. To move toward a general framework that inherits the properties of both networks, we introduce the Generalized Gated Recurrent Neural Network (GGRNN), a unified architecture that embeds the exact GRU and LSTM network dynamics through homotopies between their respective gating mechanisms. Each homotopy continuously deforms one mechanism into the other, with a vector of homotopy parameters blending the contribution of the GRU and LSTM counterparts. Since benchmark comparisons report no consistent winner between the two architectures, the gating mechanism best suited to a given system is unlikely to coincide with either endpoint. We thus let…
The rapid growth of artificial intelligence is driving demand for new data centers at large scale and on short deployment timelines. To power them, firms connect to the commercial grid or contract generation directly, but interconnection and gas-turbine delays now incentivize on-site generation. We compare grid-connected and off-grid data center energy infrastructure (AC- and DC-coupled solar-plus-storage, islanded natural gas, and grid interconnection) across the continental U.S. Using an open-source technoeconomic framework built on empirically calibrated AI training loads, climate-driven cooling, stage-by-stage power conversion, and physics-based battery degradation, we model designs providing equivalent energy services. Our central contribution is a speed-adjusted cost of energy that values the compute unlocked by faster construction, making options with different deployment…
This paper investigates total energy shaping of underactuated mechanical systems with gravity compensation evaluated at the desired equilibrium instead of throughout the online closed-loop operation. Within the interconnection and damping assignment passivity-based control (IDA-PBC) framework, sufficient conditions for local asymptotic stability are established in terms of integrability of a vector field and positive definiteness of an augmented potential energy. The approach is also combined with a reformulation of potential energy matching that replaces a nonhomogeneous partial differential equation with a homogeneous one and introduces an additional design term. Analytic constructions for the TORA system and a class of two-degree-of-freedom systems illustrate how the matching and integrability requirements can be addressed. The proposed control law avoids online evaluation of the…
The increasing penetration of inverter-based resources and growing cyber-physical interdependencies expose electrical power systems to disturbances that challenge conventional resilience assessments. Existing approaches often evaluate resilience dimensions independently, overlooking the non-additive effects of coordinated disruptions and the influence of exogenous stressors. To address this gap, this paper proposes a Grid Multidimensional Resilience Index (GRID-MRI) that integrates endogenous disruption severity, coordination effects, and climatic and economic-regulatory conditions. The framework quantifies physical, cyber, and operational degradation, identifies interaction effects through counterfactual (i.e., what-if), simulations of individual and coordinated attacks, and incorporates exogenous stressors as scenario-dependent scaling factors. Its application to a modified IEEE…
Sampling-time jitter makes a sampled-data control loop time-varying, so standard LTI robust-control synthesis does not apply directly. This paper reformulates dynamic output feedback design under bounded, unmeasured sample-to-sample jitter as a robust-control problem. The exact zero-order-hold model is decomposed into a nominal time-invariant plant and a memoryless, time-varying uncertainty block with a norm bound representing the sampling-time jitter. As the block is memoryless, the operator small-gain condition for the time varying loop reduces to a standard robustness test with a matrix norm bound. It is shown that the same test also guarantees uniform exponential stability for every admissible jitter sequence. Embedding the decomposition into a generalized plant with performance channels serves two synthesis objectives with standard robust-control tools: Robust stability with…
While conventional optimal control selects an optimal input sequence, probabilistic control assigns probability mass over all possible inputs and exploits a distribution of control sequences. Control distributions help enable exploration, capture diverse solutions, and solve deterministic optimal control problems. This work reviews an important probabilistic model for control distributions, the control-Gibbs distribution, i.e., the Gibbs distribution with an optimal control objective as the energy function. We point out its fundamental role in various probabilistic control frameworks, e.g., maximum entropy control, control-as-inference framework, model predictive path integral control, and energy-based models for control. This provides a model-central perspective to unify these probabilistic control frameworks. We also review the associated extensions of dynamic programming for…
Nonlinear time-optimal model predictive control (TOMPC) enables highly performant control of constrained systems, but its computational cost prohibits real-time use on fast dynamical systems. Neural network imitation of the TOMPC control law can reduce online computational costs, yet existing work mostly targets quadratic cost formulations in simulation and addresses the challenges of neural controllers in isolation. This work imitates a long-horizon nonconvex TOMPC with hard terminal constraints, whose high computational cost limits training-data generation. We present (i) \emph{self-informed sampling (SIFS)}, a data-efficient expert-sampling strategy that uses a learned time-to-go to query the expert only where the policy deviates from time-optimal behavior, (ii) a complete training and control architecture that jointly addresses dataset correlation, suboptimal expert labels…
Patient-specific airway modelling requires geometrically consistent lumen surfaces with identifiable boundaries and support for controlled anatomical modifications. We present CT-RespGeomLib, a deterministic framework that converts CT airway masks into two complementary representations: an editable assembly of semantically labelled pipe and junction blocks connected through canonical shared ports, and a fused lumen surface reconstructed from tapered implicit primitives with validated port-to-boundary loop correspondence. The parametric representation further enables localised modelling of airway stenosis and dilation without re-segmentation. Evaluated on 42 reference airway masks from ATM22 (15 cases) and AeroPath (27 cases), the framework produced 37 topologically accepted reconstructions, with a median port-to-loop distance of 0.123 mm across 2174 matched ports. Reconstructed and…
When demand exceeds the maximum production capacity of a supply chain, it can be satisfied only for a finite time, determined by the inventory stored along the chain. Existing control methods ensure indefinite constraint satisfaction under bounded demand, but provide no guarantees on how long a supply chain can withstand a shock in which demand goes beyond production capacity. We address this gap for a serial supply chain with transportation delays and flow constraints. Under a specified flow policy, we derive necessary and sufficient conditions on the inventory distribution that guarantee a prescribed lower bound on the exit time from the set where demand is served. We use these conditions to compute inventory targets that minimize holding costs via a quadratic program. Then, we propose a two-mode controller that builds reserves under ordinary demand and depletes them during the shock.…
Integrated electric vehicle chargers reduce cost by sharing power conversion hardware between the onboard charger (OBC) and the wireless charger (WC). A previously proposed dual active bridge (DAB)-based OBC/WC shares the rectification stage between the OBC and WC; however, the modulation required to realize its wireless operation has not yet been reported. This paper details a modulation strategy that enables the operation of the integrated OBC/WC topology. Differential-mode operation is used for the OBC, and common-mode operation is used for the WC. In OBC mode, the shared full-bridge produces differential-mode voltage for wired power transfer while ideally generating zero common-mode voltage on the wireless charging path. In WC mode, the same full-bridge produces common-mode voltage for wireless power transfer while ideally generating zero differential-mode voltage on the onboard…
This paper presents improvements to the single-input space vector (SISV) concept for current control in a battery cycler based on a two-phase interleaved buck converter. The cycler is controlled to output a dc-biased sinusoidal current, enabling investigation of second-harmonic ripple effects on lithium-ion cell aging. A modified SISV generation scheme is introduced to track current references containing both dc and sinusoidal components, and an impedance-angle compensation method is proposed to decouple the d and q control axes without disturbing dc tracking. A dq phase-portrait visualization method is also introduced to evaluate transient performance for both SISV and proportional-integral-resonant (PIR) control methods. Simulation and experimental results validate dc-biased sinusoidal current tracking using PIR control and SISV control with different decoupling schemes. The…
This paper investigates how the dynamic modes of a power system contribute to the stationary variance of its variables under continuous stochastic excitation. Using a modal decomposition of the covariance matrix, the variance of each state or algebraic variable can be resolved into components associated with individual modal responses and their interactions. These components are shown to correspond to within-mode variance and cross-modal covariance, respectively, and the corresponding normalized contributions are termed mode-in-variance participation factors (PFs). The proposed PFs can be used to identify modes governing the variability of important system quantities such as frequency and voltage, quantify the effect of modal interactions, and reveal control dynamics that can be targeted to reduce their stochastic variability. These capabilities are demonstrated through case studies…
This paper establishes the relationship between loss-of-load expectation (LOLE) and loss-of-load frequency (LOLF). We show why LOLE generally does not measure distinct-event frequency, mean event duration, or shortage magnitude. We identify conditions under which peak-based LOLE admits a frequency interpretation as the expected count of deficient daily peaks per horizon and distinguish this quantity from LOLF. We also derive an analytical formulation for frequency-and-duration indices that combines a convolution-derived generation probability-and-frequency model with chronological load changes. Under stationary generation, it uses the prescribed load profile directly, without constructing a separate load model or discretizing load magnitudes. Studies using generation and load data from the 24-bus IEEE RTS reveal different event frequencies and mean event durations at identical…
Field demonstrations of advanced heating, ventilation, and air-conditioning control often operate a few thermal zones within a larger building and report savings for those zones alone. A recent theorem showed that this practice overestimates whole-building savings, because heat drawn from the neighboring zones is paid for by their equipment and is not counted. The error grows with the thermal conductance between the controlled and uncontrolled zones, with how much colder the controlled zones run over the test, and with the price of the heat their neighbors supply. For one controlled zone with one neighbor, a single thermal price, and slowly changing prices, the relative error reduces to the ratio of two conductances, a screening number that can be evaluated from the two conductances before a demonstration begins. This paper tests how far that reduction can be taken. A two-story house…
We develop a distributed quantum network flow for solving linear equations from locally stored row data. Local pumping enforces each node's equation constraint, while neighboring registers interact through swaps. The node marginals obey an exact, closed flow combining consensus with local constraint enforcement. For consistent equations, all node states converge exponentially to a common state supported on the solution space; a unique solution yields full-network convergence to the product solution state. For inconsistent equations of full column rank, scaled encoding and readout recover the least-squares solution through successive large-gain and small-scale limits. For consistent systems, the marginal convergence rate is nondecreasing and concave in the swap gain, approaching a graph-independent limit for fixed local dissipators. Its leading finite-gain correction couples graph…
Differential flatness enables efficient planning and control, but discovering explicit flat outputs for general nonlinear systems remains difficult due to the lack of general methods and supervised data. We propose FlatSeek, a framework combining backward data generation with task-specific large language model (LLM) training. By reversing the defining reconstruction of flatness, we generate system-flat-output pairs with known certificates, then fine-tune an LLM to propose symbolic flat-output candidates for unseen dynamics. On literature and synthetic benchmarks, FlatSeek outperforms both the traditional symbolic methods and the untuned reference models in flat-output discovery success, and uncovers alternative symbolic flat outputs not reported in the literature.
Learning the dynamics of mechanical systems subject to nonlinear nonholonomic constraints is challenging, as data-driven models may violate the underlying physical constraints, leading to inconsistent predictions. To address this problem, we develop a constraint-preserving learning framework based on the Lagrange-d'Alembert-Chetaev equations and tangency to the constraint submanifold, which together define an affine space of admissible accelerations. Using the kinetic-energy metric and the Moore-Penrose pseudoinverse, we construct a metric projector and the corresponding Chetaev correction. Embedding this geometric structure directly into a Gaussian process prior ensures that both prior and posterior dynamics satisfy the acceleration constraints exactly. We characterize the resulting reproducing kernel Hilbert space (RKHS), derive an adapted-coordinate representation, and establish…
Classical funnel control keeps the tracking error within a prescribed, time-varying envelope by increasing the feedback gain as the error approaches the boundary. For mechanical systems, this guarantee typically relies on velocity measurements. We show that it can be retained for fully actuated Euler--Lagrange systems using only position measurements. The proposed controller replaces the velocity error with a difference quotient of the position error over a fixed delay, while preserving the classical unbounded gain. It requires no plant model, reference derivatives, observer, or filter states. The central challenge is to reconcile the averaging inherent in delayed feedback with a gain that can grow without bound near the funnel boundary. We resolve this by establishing an a priori bound on the gain along closed-loop trajectories, independent of the delay. This bound yields a computable…
The value of renewable energy devices depends on their operation, which must adapt to weather and demand using limited, imperfect forecasts that update over time. Conventional energy systems planning practices assume unlimited foresight in a single-level formulation, potentially leading to long-term investment in suboptimal device sizes. Accounting for realistic operation corresponds to a bi-level problem: the upper level selects device sizes, while the lower level contains closed-loop operation under evolving forecasts. We solve this problem using backpropagation MPC (BP-MPC), a gradient-based method, with a deterministic MPC as the lower-level controller. Using forecast errors generated by a parameterized martingale model of forecast evolution, we investigate how forecast accuracy affects the benefits of operation-aware energy systems planning and the resulting device sizes. In a case…
Artificial intelligence data centers (AIDCs) are rapidly increasing in number and capacity. These large electronic loads are interfaced through power electronic devices and can sharply reduce grid power intake during fault-induced voltage sags. Disturbances exceeding equipment ride-through capabilities may also trigger protective disconnection, posing risks to power system security. Static synchronous compensators (STATCOMs) and appropriately controlled AIDC uninterruptible power supply (UPS) rectifiers can provide reactive power support during voltage sags. This paper compares the individual and combined effectiveness of STATCOM and UPS-based voltage support in mitigating fault-induced reductions in grid power intake through electromagnetic transient simulations of a 1 GW AIDC connected to an IEEE nine-bus system. Simulation results show that STATCOM support better preserves short-term…
Anesthesia dynamics are commonly described by Wiener models, consisting of linear dynamics followed by a static nonlinearity. This nonlinear output complicates the derivation of theoretical guarantees on closed-loop stability and convergence. Model Predictive Control (MPC) is particularly suitable for anesthesia control, as it explicitly accounts for constraints in the control design. In this paper, we propose an incremental MPC formulation for tracking a desired reference. The proposed approach exploits the structure of the nonlinear output equation to reformulate the control problem within a linear framework. An incremental model is then employed to avoid the explicit computation of steady states and inputs, which may be inaccurate in the presence of model uncertainties. The proposed controller is evaluated through simulations involving 1000 virtual patients and compared with a…
Victim search in wilderness areas is time-critical. Drones enable rapid area search, but scheduling them is challenging because victims may continue moving, detection results are uncertain, and effective decisions must combine structured mission information with unstructured contextual clues and domain knowledge. To address this, we propose an agent-aided drone scheduling system. The system employs an agent at the ground control station (GCS) to coordinate multiple drones over successive search cycles. In each cycle, the agent applies a scheduling policy that combines a large language model (LLM) for reasoning about where to search with an optimizer for determining how to dispatch the drones under energy constraints. Simulation results show that the proposed system consistently completes the victim-search mission, whereas none of the six non-LLM baselines does so and direct LLM…