Systems and Control
Cost-Informed Learning for Aggregating Building HVAC Flexibility
Jingguan Liu, Cong Chen, Xiaomeng Ai et al. (+3 more)
This paper develops a cost-informed aggregation framework that learns an aggregate flexibility set of building heating, ventilation, and air-conditioning (HVAC) loads to minimize the aggregator's dispatch cost. Existing aggregation methods mainly use volume-oriented objectives and treat flexibility aggregation and downstream utilization as separate stages. Consequently, the resulting aggregate set may fail to preserve the flexibility most valuable for reducing downstream dispatch costs. To address this limitation, we represent aggregate HVAC flexibility using a parameterized storage-form surrogate and jointly learn the surrogate parameters and the inner-approximation objective from downstream dispatch-cost feedback. This cost-informed feedback allocates the surrogate's limited representation capacity to cost-relevant regions of the aggregate flexibility set. To account for electricity-price uncertainty, we formulate a distributionally robust conditional value-at-risk (DR-CVaR) downstream problem that captures both distributional ambiguity and tail risk. For efficient learning, we reformulate the DR-CVaR problem as a convex second-order cone program. We estimate cost gradients using randomized smoothing and a score-function
estimator, avoiding differentiation through large-scale building-level optimization problems. Case studies using NYISO price data show that the proposed framework reduces dispatch costs relative to a volume-oriented aggregation
benchmark and that suitable risk and ambiguity settings can lower the out-of-sample CVaR of dispatch costs.
Read the full abstract ▾
All authors Jingguan Liu, Cong Chen, Xiaomeng Ai, Jiakun Fang, Jinsong Wang, Jinyu Wen
Systems and Control · Cross-listed from cs.RO
Fast Direction-Conditioned Reachability for Motion Prediction Under Model Uncertainty
Hrishav Das and Melkior Ornik
To avoid collisions, a
robot must repeatedly predict where nearby
agents may move, usually with an imperfect model of their dynamics. Reachable sets provide such predictions, but computing them when the system
matrices themselves are uncertain can become computationally expensive and conservative for frequent replanning. Moreover, a planner often needs to know only how far an
agent can move in one particular direction, for example toward the
robot, rather than the complete reachable set. We propose a direction-conditioned reachability method for linear systems with uncertain state and input
matrices. Given a query direction $d$, the method selects one admissible model $(A^\star,B^\star)$ whose reachable set extends nearly as far along $d$ as the reachable set of the entire uncertain model family, and then computes the reachable set of only this model with a standard reachability solver. On an uncertain linearized bicycle model, the complete selection-and-computation pipeline is about three times faster than computing the reachable set of the full uncertain family in the CORA toolbox, while its extent along $d$ is within $5\%$ of the full family's in the reported directions. We also use the method in a closed-loop multi-vehicle simulation in which the
robot queries, at each replanning step, how far each nearby vehicle can move toward it, and replans to avoid the resulting sets.
Read the full abstract ▾
Systems and Control
Evaluating Grid Strength with Rising Penetration of Inverter Based Resources
Mohammed N. Khamees, Gad Ilunga, Zhongxia Zhang et al. (+1 more)
Over the years, Dominion Energy Virginia (DEV) has experienced recurring power quality disturbances, including voltage and power oscillations, particularly in areas with significant inverter-based generation. While these phenomena suggest a potential relationship to system strength, no definitive correlation has yet been established. This paper presents methodologies for assessing system strength across the DEV network and identifying regions that may be vulnerable to such disturbances. To this end, three grid-strength metrics are evaluated: the Simple Short-
Circuit Ratio (SSCR), the Weighted Short-
Circuit Ratio (WSCR), and the Composite Short-
Circuit Ratio (CSCR). Historical event data will be analyzed using steady-state snapshots from DEV's proprietary Analysis on Demand (ANODE) platform, which provides 10-minute interval load-flow data. These snapshots will be processed using a developed software tool to compute system strength metrics. The analysis will investigate potential correlations between system strength and observed disturbances. Where such correlations are identified, the study will further evaluate the impact of deploying synchronous condensers (SynCons) as a mitigation strategy.
Read the full abstract ▾
All authors Mohammed N. Khamees, Gad Ilunga, Zhongxia Zhang, Richard E. Tuck
Systems and Control
Merging Large Language Models and Battery Physics for User-Aware Electric Vehicle Driving Management
Yukta Pareek, Yasaman Masoudi and Satadru Dey
Electric vehicle (EV) battery performance is strongly coupled with driver behavior, yet human intent is typically expressed semantically rather than numerically. This paper proposes a hybrid physics-artificial intelligence framework that integrates a Large
Language Model (LLM) as a high-level behavioral
reasoning layer within a physics-driven supervisory architecture. The LLM interprets textual user intent and structured battery feedback to generate bounded behavioral parameters that shape a discharge current envelope. A physics-driven safety filter then enforces physical safety constraints before computing feasible velocity recommendations. Lyapunov-based analysis establishes bounded recommendation error under battery model and
prompt inaccuracies. Simulation results demonstrate adaptive, user-aware operation without compromising physical safety. The proposed
reasoning-enforcement architecture provides a principled pathway for safe AI integration in EV energy management.
Read the full abstract ▾
Systems and Control
Three High Performance Global Tracking Composite Adaptive Controllers for Fully Actuated Euler-Lagrange Systems: Experimental Validation
Luis Cervantes-Pérez, Jose Guadalupe Romero, Romeo Ortega et al. (+2 more)
Three adaptive global tracking controllers for fully actuated Euler-Lagrange systems, with verifiable performance improvement over existing designs, are reported in this letter. Two of these controllers ensure global exponential convergence under a weak interval excitation condition. Besides, one of the proposed controllers features a simple adaptive PID-like structure that-unlike classical solutions-avoids the need for additional filtering. We adopt a composite adaptation architecture, invoke a novel parameterization of the system dynamics and use a high performance estimation scheme recently introduced in the literature. Real-time experiments and a comparative study with a learning-based adaptive controller on a two-degrees-of-freedom manipulator arm illustrate the effectiveness of the proposed controllers.
Read the full abstract ▾
All authors Luis Cervantes-Pérez, Jose Guadalupe Romero, Romeo Ortega, Víctor Santibáñez, Jesús Sandoval
Systems and Control · Cross-listed from cs.RO
Spiderbot: An Open-Source Energy-Efficient Hexapod with Passive Gravity Compensation
Ritwik Sharma, Vimarsh Shah and Saransh Agrawal
Hexapod
robots can achieve static stability with fewer actuated joints than bipeds or quadrupeds, yet many platforms still use 3-DOF legs, increasing weight and continuous torque requirement with limited gain in locomotion capability on flat, inclined and moderately rough terrains. We release Spiderbot, an open-source hexapod that uses a 4-bar linkage with a passive spring to mechanically support body weight, with a 2-DOF per-leg design that substantially reduces energy consumption. This mechanism substantially offloads gravitational torque during standing stance consuming only 1.5W (reduction of over 90% over the unsprung version and up to 96% over other similar hexapods). The passive spring compensation extends to payloads of up to 3.25kg with no additional torque requirements. The platform enables long-duration deployments on a modest battery budget and costs under \$400, making it suitable for large-scale multi-agent experiments. We validate the locomotion capabilities of the platform with an RL policy trained in mjlab, including successful sim-to-real transfer, despite the complexity of the mechanism. The platform is evaluated on flat and rough terrains, slope up to $15^\circ$ and step obstacles. We release all the CAD files, assembling instructions, and full training and deployment code along with the model checkpoints at https://erc-bpgc.github.io/SpiderBot/.
Read the full abstract ▾
Systems and Control
Impact-Time Guidance via Normal Contraction to a Time-to-Go Isochron
Shivam Bajpai and Abhinav Sinha
We develop a contraction-based perspective on impact-time guidance that augments a baseline homing command with a timing bias. The proposed perspective treats the prescribed schedule as a moving time-to-go isochron and regulates motion normal to that set through velocity-normal lateral acceleration while the interceptor's speed remains constant. We derive a transport equation that characterizes homing-compatible time-to-go coordinates and define a predictor defect that quantifies the mismatch of approximate maps. We show that the scalar timing channel induces a coordinate-invariant rank-one metric on the normal quotient. To account for bounded lateral acceleration, we formulate a robust scalar filter and derive a necessary and sufficient condition for pointwise feasibility. We then show that terminal calibration and funnel invariance establish first interception at the prescribed time under the stated assumptions. We also develop a preterminal
alignment and homing handover that avoids singular inversion as lateral timing authority vanishes near collision-course
alignment. The proposed perspective accommodates analytic, numerical, and learned time-to-go maps that satisfy the required calibration and regularity conditions.
Read the full abstract ▾
Systems and Control · Cross-listed from math.OC
A Decentralized Partially Observable Team Decision Methodology with Delayed Information Sharing
Xiaoxing Ren, Thomas Parisini and Andreas A. Malikopoulos
We study decentralized partially observable team decision problems with low-rank latent dynamics and unknown system models. The proposed framework combines team-theoretic equivalence with low-rank model representations to address cooperative decision-making in partially observable Markov decision processes without prior knowledge of the transition model. Each team member makes decisions based on local private information and delayed common information shared across the team. Using only this available information, each member learns an approximate low-rank Markov decision process and applies least-squares value iteration to compute its policy. This yields a fully decentralized learning and planning
algorithm that requires neither a centralized coordinator nor centralized training. We show that the resulting member-side solutions approximate the centralized team solution: despite partial observability, unknown dynamics, and delayed common information, each member recovers the corresponding component of an approximate team-optimal policy. We further establish finite-sample performance guarantees and derive a corresponding sample-complexity bound for the proposed
algorithm.
Read the full abstract ▾
Systems and Control
Incentive Design for Multi-Agent Systems: A Bilevel Optimization Framework for Coordinating Independent Agents and Convergence Analysis
Xinyi Wei, Shuo Han and Jie Fu
Incentive design aims to guide the performance of a system towards a human's intention or preference. We study this problem in a multi-
agent system with one leader and multiple followers. Each follower independently solves a mdp to maximize its own expected total return with the same state space and action space. However, the leader's objective depends on the collective best-response policies of all followers. To influence these policies of followers, the leader provides side payments as incentives to individual followers at a cost, aiming to align the collective behaviors of followers with its own goal while minimizing this cost of incentive. Such a leader-followers interaction is formulated as a bilevel optimization problem: the lower level consists of followers individually optimizing their MDPs given the side payments, and the upper level involves the leader optimizing its objective function given the followers' best responses. The main challenge to solve the incentive design is that the leader's objective is generally non-concave and the lower level optimization problems can have multiple local optima. To this end, we employ a constrained optimization reformation of this bi-level optimization problem and develop an
algorithm that provably converges to a stationary point of the original problem, by leveraging several smoothness properties of value functions in MDPs. We validate our
algorithm in a
stochastic gridworld by examining its convergence, verifying that the constraints are satisfied, and evaluating the improvement in the leader's performance.
Read the full abstract ▾
Systems and Control
Reduced Order Observers for Monocular Visual Inertial Odometry
Amel Abi, Mouaad Boughellaba, Miaomiao Wang et al. (+1 more)
This work develops a reduced order observer framework of monocular visual-inertial odometry (VIO). The key idea consists in considering the
gravity vector in the body-frame as an additional state and constructing an appropriate output that relates the monocular bearing measurements and their time derivatives to the body-frame velocity. This eliminates the need for the estimation of the landmark positions, leading to a six-dimensional linear time-varying (LTV) observer for the body-frame velocity and
gravity, endowed with uniform global exponential stability guarantees. These estimates are subsequently used to recover the orientation almost globally, up to an unknown constant yaw offset, and the position up to an unknown constant translation. The mixed-bearing framework is further extended to account for the inertial measurement unit (IMU) biases, yielding a twelve-dimensional LTV observer endowed with local exponential stability guarantees. Numerical simulations are provided to illustrate the effectiveness of the proposed observers.
Read the full abstract ▾
All authors Amel Abi, Mouaad Boughellaba, Miaomiao Wang, Abdelhamid Tayebi
Systems and Control · Cross-listed from eess.SP
Prediction-Aware Structured Resource Control for Partitioned IRS-Assisted Mobile IoT Uplinks With Semi-Blind Cascaded-Channel Acquisition
Hediyeh Soltanizadeh and Ardavan Rahimian
Intelligent reflecting surface (IRS)-assisted mobile Internet of Things uplinks require joint control of channel aging, costly cascaded channel state information (CSI) acquisition, and coupled IRS/
radio resources. This investigation develops a unified prediction-aware deterministic framework for partitioned IRS-assisted massive multiple-input multiple-output (mMIMO) uplinks. Direct channels are recursively tracked, whereas cascaded channels are selectively refreshed by differential semi-blind acquisition reusing the same unknown data block across a minimum-reflection baseline and DFT-coded IRS states. Moreover, finite-block acquisition covariances initialize reduced-order beam-domain prediction, which propagates only unit-beam means online and retrieves age-dependent covariances from precomputed tables. A mixed-integer nonconvex formulation captures net throughput,
fairness, outage, uncertainty, switching cost, and sliding-window IRS service. The causal controller integrates covariance-floor actionability, feasible equal-size granularity, residual-feasible ownership, isolated-beam one-sweep refinement, same-block fresh-payload accounting, and service-first allocation using recomputed uncertainty-aware ZF rates and bidirectional receiver-consistent risk. Analysis establishes service-feasibility preservation, effective-channel error bounds, distribution-free reliability, and
polynomial online scaling. In unseen environments, the predicted acquisition floor matches the practical semi-blind error, actionable recalibration reduces the mean recalibration rate by 31.5%, and IRS-assisted control achieves a 14.09% mean net-rate gain over direct-only transmission. Receiver-consistent allocation improves realized rate, while ablations support equal-size partitioning and single-sweep refinement; zero post-action service violations occur under nominal, mobility, and load-stress conditions.
Read the full abstract ▾
Systems and Control
Decentralized Guidance and Control for Rendezvous and Docking with a Tumbling Target using Multiple Servicers
Jonathan Taylor Jönsson, Sathyanarayanan Seshasayanan, Sumeet Gajanan Satpute et al. (+1 more)
The growing trend of miniaturization in space, combined with an exponential increase in orbital debris, motivates a new operational paradigm, that is the deployment of multiple small servicers to collectively rendezvous, dock and service large tumbling targets. A single small spacecraft is often limited in thrust or reach for such targets, yet coordinating multiple autonomous spacecraft safely in close proximity remains an open challenge. This paper presents a proof-of-concept decentralized 6-DOF model predictive control (MPC) framework for multiple servicers to safely rendezvous and dock (RVD) to a tumbling target with no knowledge about each others predicted input over the prediction horizon. The proposed framework enforces soft docking conditions, inter-servicer collision avoidance, and obstacle avoidance through embedded constraints, while remaining computationally tractable via a linear time-invariant (LTI) formulation. Validation in MATLAB with three servicers and fixed obstacle arrangements confirms that all constraints are satisfied and successful docking is achieved.
Read the full abstract ▾
All authors Jonathan Taylor Jönsson, Sathyanarayanan Seshasayanan, Sumeet Gajanan Satpute, George Nikolakopoulos
Systems and Control · Cross-listed from cs.RO
Wheel-loader V-Cycle Automation with Deep Koopman MPC
Armin Abdolmohammadi, Navid Mojahed, Dinesh Kumar et al. (+2 more)
The repeated forward-reverse maneuvers performed by wheel loaders during earthmoving operations make them well suited for automation. However, the nonlinear dynamics of articulated vehicles and complex vehicle-terrain interactions limit the effectiveness of conventional model-based approaches. This paper presents a hierarchical framework that combines long-horizon
geometric planning with data-driven predictive control for autonomous wheel-loader operation. A reduced-order articulated kinematic model is used to generate the maneuver geometry, where the forward and reverse trajectories are jointly optimized through a shared intermediate state. To capture the vehicle dynamics, two data-driven deep bilinear Koopman models are learned for the forward and reverse motions using data generated from high-fidelity simulations in Algoryx Dynamics. The learned Koopman representations are subsequently incorporated into a computationally efficient model predictive control (MPC) formulation for trajectory tracking. The resulting controller operates in real time within a 50-ms execution loop. High-fidelity simulation results demonstrate that the proposed end-to-end framework enables accurate and computationally efficient execution of wheel-loader V-cycle maneuvers, providing a promising approach toward autonomous operation of articulated heavy-duty machinery.
Read the full abstract ▾
All authors Armin Abdolmohammadi, Navid Mojahed, Dinesh Kumar, Bahram Ravani, Shima Nazari
Systems and Control
Robust Strictly Positive Real Synthesis for Sixth-Order Interval Polynomial Families
Tiancheng Xu, Guowei Dou, Xiang Ji et al. (+2 more)
Every Hurwitz-stable interval family of monic real
polynomials of degree six admits a single real numerator of degree six that makes all the associated transfer functions strictly positive real. We give a constructive proof. The complete existence
theorem has been formalized in Lean4.
Read the full abstract ▾
All authors Tiancheng Xu, Guowei Dou, Xiang Ji, Long Wang, Wensheng Yu
Systems and Control
Finite-Horizon Robustness Analysis under Mixed Disturbances using Signal-IQCs
Frederik Thiele, Harald Pfifer and Felix Biertümpfel
Common worst-case analyses for uncertain finite-horizon systems consider quadratic performance metrics based on the strict Bounded Real Lemma. Thus, they assess system performance for bounded inputs, e.g., signals in L2, which exhibit a worst-case shape. Consequently, known disturbance characteristics are left unexploited and uncovered, leading to unnecessarily conservative results. The present paper develops a worst-case analysis covering arbitrarily L2-bounded worst-case signals and partially known disturbances simultaneously. This is achieved by modeling the latter using signal integral-quadratic constraints (IQCs). The resulting analysis condition relies on a dissipation inequality within the IQC framework for finite time horizon problems. This framework also readily allows to incorporate additional system uncertainties in the analysis. The approach's feasibility is demonstrated with the worst-case performance analysis of a small unmanned aerial vehicle in an urban environment.
Read the full abstract ▾
Systems and Control
Robust Mode Transition for Spacecraft Attitude Control
Emily Burgin, Carl-Johann Winkler, Felix Biertümpfel et al. (+2 more)
This paper proposes the design of a single linear parameter-varying (LPV) controller for the combined control and smooth transition between two modes in a spacecraft mission. Current industry practice for transitioning between different controller modes is to use a discrete switching approach. When predefined criteria are satisfied, the controller of one mode is turned off and the controller of the other is initialised, resulting in an undesirable transient behaviour. In addition, each controller must individually undergo a rigorous verification and validation (V&V) process. A single controller synthesised using LPV methods streamlines the V&V process and improves the transient behaviour. The proposed design follows a mixed-sensitivity control scheme with LPV weights that are derived from the performance and robustness requirements of the individual modes. The controller is synthesised by minimising the induced $\mathcal{L}_2$-norm of the closed-loop interconnections between the controller and weighted plant. The performance and robustness of the controller is demonstrated on an acquisition and pointing task of a flexible satellite through a Monte-Carlo campaign.
Read the full abstract ▾
All authors Emily Burgin, Carl-Johann Winkler, Felix Biertümpfel, Harald Pfifer, Pedro Simplicio
Systems and Control
Plug-and-Play Stability Certificates Compliant with Black-Box Models of Devices
Petr Vorobev, Andrey Gorbunov, Youhong Chen et al. (+2 more)
This paper presents a new approach to the derivation of decentralized plug-and-play stability certificates that can be calculated using black-box admittance spectra, without requiring white-box models of devices. The method is based on analysing the properties of the nodal admittance
matrix. The certificates ensure that the devices can be connected at any node of a network of any
topology as long as the R/X ratio is within a specified range. The approach is related to the passivity concept, but uses frequency-dependent transformation
matrices to check if a device, which is non-passive in a certain frequency range, can still satisfy a plug-and-play stability criterion. We illustrate the method using Grid Forming Inverters (GFMs) connected to IEEE 39 node test-case.
Read the full abstract ▾
All authors Petr Vorobev, Andrey Gorbunov, Youhong Chen, Janusz Bialek, Balarko Chaudhuri
Systems and Control
New perspectives for the fitness fatigue model: how to revisit questions about the science of sports training from the perspective of systems control theory
Jacky Montmain, Pierre Couturier and Gérard Dray
The Fitness-Fatigue model (FFM) was initially designed to gain a better physiological understanding of the impact of training loads on sports performance. For almost 50 years, simulations have been compared with the observed response of sports performance to training loads. Understanding the relationship between training load and performance should have answered some fundamental questions for the physical trainer or sports coach: 1/ how to define the best training to achieve a performance without exhausting an athlete or how to achieve a performance in a limited time; 2/ how to assess the athlete's fatigue and fitness reliably to better understand his performance; 3/ how to prevent the risk of injury. But this was not the case. Studies dedicated to the FFM have been limited to improving somewhat on Banister's initial model without really taking the necessary step back to take advantage of the mathematical framework offered by the state representation, the implicit formalism underlying the FFM. The idea behind this research strategy is that having a valid and accurate model makes it easy to address previous questions through simulation: multiple training scenarios can be simulated until the ideal scenario for a given training question is identified. The main drawback to this approach is the combinatorial nature of the exercise. This paper is not discussing the relevance of the model, but how to use it. The state representation makes it possible to study the controllability, observability and diagnosability of a system (i.e, the athlete) and thus to formally answer the three previous practical questions. It can be considered that sports science studies have missed the richness of the FFM model. Artificial learning approaches are increasingly preferred to the FFM model because they are supposed to better capture observation. However, in the light of the state representation, the FFM model could still be extended naturally while remaining mathematically interpretable, offering mathematical tools to estimate the state of the athlete, and to define the most adequate training and prevent the risk of injury. This article does not aim to solve the question of optimal training in practice, for that it would need to be validated by specialists in physiology and sports science, it just proposes to take a fresh look at training issues and to demystify the mathematical formalism adopted by Banister.
Read the full abstract ▾
Systems and Control · Cross-listed from eess.SP
Adaptive Predictive Sampling and Communication for Real-time Monitoring
Erfan Delfani and Nikolaos Pappas
We propose an adaptive predictive sampling and communication framework for real-time remote monitoring over packet-erasure channels. Rather than relying on a prescribed dynamical model or continuous sensing, our model-free method uses Taylor-expansion-based prediction to adaptively estimate local signal dynamics and proactively schedule the next sampling times. An analytical compensation factor accounts for packet losses to satisfy a prescribed reconstruction-error level. We develop adaptive sample-wise and episodic policies and evaluate their performance against event-driven and uniform sampling and communication baselines.
Read the full abstract ▾
Systems and Control · Cross-listed from cs.AI
The Source of Disturbance Matters: External, Internal, and Control-Generated Noise in Adaptive Regulation
Veronique Ziegler
Adaptive regulation can itself perturb the state it is intended to stabilize. In replicated simulations of an adaptive
agent, we compare external disturbance, persistent internally generated disturbance, and control-generated disturbance under regulation-first and disturbance-first ordering. Persistent internal disturbance produces the largest exposure and regulatory burden within the tested parameter grid. When positive controller updates generate an immediate disturbance cost, increasing that cost produces a nonmonotonic response: effective disturbance initially rises, variability across
stochastic runs increases over an intermediate range, and corrective activity becomes strongly suppressed at higher costs. The results show how disturbance source and timing shape exposure and controller burden in this model. They motivate testing adaptive
agents with distinct disturbance sources and assessing regulatory activity alongside exposure.
Read the full abstract ▾