Peer Revenue Publish or profit

Papers

Fresh from arXiv, typeset properly. Highlighted words trade on the market.

Electrical Engineering and Systems Science Systems and Control

eess.SY Watch Systems and Control (sign in to use)

Sunday 4 October

Systems and Control

The asymptotic variance of the Hermite-Domain Predictor-Based Subspace Identification method

This paper derives analytical expressions for the asymptotic variance of the Hermite-Domain Predictor-Based Subspace Identification (HD-PBSID) method. Unlike continuous-time subspace approaches that rely on intermediate-domain transformations, HD-PBSID identifies continuous-time state-space matrices directly. The derivation first establishes the uncertainty of the estimated state-space matrices and then exploits these results to obtain asymptotic variance expressions. These expressions provide analytical uncertainty bounds for system eigenvalues, which are invariant under similarity transformations and therefore uniquely characterize the identified dynamics. The proposed formulas are first validated in an ideal Hermite-domain setting, where the conditions underlying the derivation are satisfied, and then assessed on noisy time-domain data through Monte Carlo simulations. The predicted bounds show very good agreement with the eigenvalue distributions in the ideal setting and acceptable agreement in the time-domain case when the innovation sequence is enforced to be white.
Read the full abstract

Systems and Control

Optimal Dynamic Resource Allocation for Multicore Real-time Systems

We formulate a novel optimal control problem for data-driven dynamic resource allocation in multicore real-time systems. The proposed formulation accounts for hard deadline constraints and resource bounds. Under mild assumptions, we prove several results on the feasibility and existence of optimal solution for the proposed formulation. Building on these analyses, we design an algorithm to solve the multi-core dynamic resource allocation problem. We demonstrate the practical use of this new algorithm by experimentally evaluating it on a real multicore platform using four benchmarks from the literature.
Read the full abstract

All authors Georgiy A. Bondar, Abigail Eisenklam, Ripon C. Sarker, Linh Thi Xuan Phan, Abhishek Halder

Systems and Control · Cross-listed from cs.MA

Distributed Algorithms for $\alpha$-Potential Functions in General-Sum Games

We study the problem of computing the tightest \(\alpha\)-potential approximation of a general-sum game over continuous action spaces, within a prescribed class of potential functions and when each player has access only to its own utility function. The difficulty is twofold: the approximation error involves a worst-case search over an infinite set of unilateral deviations, and the required utility information is distributed across players. For a linear-in-parameters potential class, we use an exact finite-tuple reformulation that separates the problem into a global outer search over deviation tuples and distributed convex inner problems. We develop a primal–dual inner oracle tailored to this structure and establish a uniform one-sided accuracy guarantee. This oracle can be combined with global outer search to obtain an end-to-end guarantee on the outer optimization error. We also develop a projected zeroth-order outer method as a computationally lighter alternative for higher-dimensional problems. Numerical experiments illustrate the accuracy–computation tradeoff between the two outer-search methods and show that the proposed optimization framework can improve upon analytical \(\alpha\)-potential constructions.
Read the full abstract

Systems and Control

New and Improved Analytical Methods for Calculating Power System Adequacy Metrics

A new analytical technique is proposed for calculating adequacy metrics for generation planning. The proposed technique is simple, direct, and provides higher accuracy than traditional discretized approaches. Additionally, a new analytical methodology is introduced for calculating loss of load days (LOL Days) as distinct from loss of load events or frequency of load loss. This paper emphasizes that, where feasible, analytical methods are preferable to Monte Carlo simulations because they yield exact closed-form solutions rather than statistical estimates.
Read the full abstract

Systems and Control

Unlocking AI Data Center Interconnection Capacity Through Coordinated Grid and Data Center Flexibility

The rapid growth of AI data centers is creating concentrated electricity demands that can exceed available distribution network headroom and delay interconnection. This paper investigates whether capacity can be used effectively by coordinating flexibility on both sides of the interconnection. A day-ahead mixed integer second order cone programming framework maximizes feasible AI data center IT capacity using utility side conservation voltage reduction and network topology reconfiguration, together with data center workload shifting and reserve constrained uninterruptible power supply storage. Background feeder demand uses voltage dependent ZIP models, while the data center is modeled as constant power demand using Training, Inference, and Mixed workload profiles. A two-stage solution first maximizes interconnection capacity and then minimizes feeder losses for the retained capacity, with numerical relaxation screening. Studies on a 116-bus model derived from the IEEE 123-node feeder show that, at the constrained bus-60 connection point, grid side flexibility, driven almost entirely by network reconfiguration, increases feasible IT capacity by approximately 42.5-45.0%, while data center flexibility alone provides approximately 2.1-5.4% gains. Coordinated operation increases feasible IT capacity from approximately 10.5-10.6 MW under BASE operation to 15.3-16.0 MW, corresponding to gains of approximately 45.9-50.8%; the 16.0 MW Inference result is limited by the adopted UPS reserve requirement. Benefits are strongly location dependent and influenced by workload flexibility, deferral duration, PUE, UPS energy and reserve requirements, and feeder loading. Under a combined adverse operating condition, FULL capacity decreases by only 3.4% relative to the nominal Mixed case while retaining substantial additional capacity over BASE.
Read the full abstract

Systems and Control · Cross-listed from eess.SP

RF-Agent: Hierarchical Language-Agent Control for Instruction-Conditioned Active Spectrum Sensing

Active radio-frequency (RF) sensing must acquire evidence under receiver limits while following confirmation, recovery, and stopping instructions. \newhl{We propose RF-Agent, a closed-loop architecture combining language supervision, episode memory, deterministic RF execution, perception feedback, and evidence-based reporting.} An independent auditor checks trajectory compliance. We derive acquisition and supervisory-request bounds, characterize full-history token complexity, and bound joint success by output validity and evidence capacity. \newhl{ActiveRF-AD tests instruction changes at fixed states and evaluates joint success, requiring compliance and RF correctness in the same episode.} \newhl{Training on different instructions at shared sensing states raises counterfactual-pair accuracy from 24.03% to 96.22% and Core joint success from 65.13% to 72.12%. Of the 6.99-point joint-success gain, 6.73 points reflect a decrease in the fraction of all episodes that are RF-correct but noncompliant.} \newhl{At Core budget three, paired-training hierarchical control achieves 66.60% joint success versus 9.17% for direct-action control.} \newhl{In a separate comparison at the same budget, RF-Agent improves joint success by 2.31 points and reduces RF acquisitions by 12.3% relative to an initial-state planner, at increased inference cost.} Cross-backbone diagnostics cover three model families. These results show how instruction-responsive control improves task completion beyond what RF accuracy alone reveals.
Read the full abstract

All authors Hao Zhang, Dongfang Xu, Hang Zou, Anis Bara, Brahim Mefgouda, Lina Bariah, Yuzhi Yang, Fuhui Zhou, Qihui Wu, Merouane Debbah

Systems and Control

Cooperative Adaptive Cruise Control with Constant Distance Gaps for Retrofitted Legacy Vehicles

A Constant Distance Gap (CDG) spacing controller for Cooperative Adaptive Cruise Control (CACC) designed to increase the capacity of oversaturated signalized intersections is presented. In a departing platoon of production passenger vehicles, the controller maintains close inter-vehicle distances below 3 m within limited platoon lengths, using one-vehicle-look-ahead (OVLA) communication only. Extensive real-world experiments on heterogeneous, retrofitted legacy production cars demonstrate robust operation. To the best of our knowledge, this is the first experimental demonstration of such close distances under this combination of conditions. A CDG policy can substantially increase discharge rates at oversaturated signalized intersections when vehicles preserve their standstill spacing during startup, as shown in our previous simulation study. Because this benefit unfolds only at high penetration rates, it calls for retrofit-capable solutions deployable in existing combustion-dominated fleets. However, practical realization in such fleets remains an open challenge. The proposed MPC-based controller combines a first-order longitudinal prediction model with precise powertrain feedforward employing OEM-specific torque models, without exchanging confidential vehicle parameters. It avoids explicit platoon coordination to minimize air-interface load in dense traffic. To mitigate disturbance amplification and increase feasible platoon length at very small gaps, two controlled spacing-relaxation strategies are compared: (i) a micro-time-gap policy near the theoretical string-stability bound, and (ii) an acceleration-dependent spacing relaxation based on a virtual mass-spring-damper model. We introduce the Desired Acceleration Overshoot (DAO), a time-domain metric relating local actuator-demand amplification to achievable platoon length.
Read the full abstract

All authors Kay Massow, Emanuele Crisostomi, Ilja Radusch, Robert Shorten

Systems and Control

Backup Control Barrier Functions with Memory for Online Set Expansion

Backup control barrier functions (bCBFs) construct implicit safe sets for nonlinear systems with bounded inputs using finite-horizon predictions under a backup controller. As in model predictive control, an invariant backup set serves as a terminal set that guarantees safe continuation beyond the prediction horizon. However, reaching a small terminal set may require long prediction horizons, increasing the cost of online prediction. In this paper, we introduce an online construction that builds a certified region from sets stored along backup trajectories while keeping the prediction horizon fixed. The method stores finite collections of balls and connects each newly certified collection to the backup set or to previously stored balls. We derive conditions that guarantee forward invariance of the union of these balls and the backup set under a fixed backup controller. These conditions also ensure that every stored state reaches the backup set in finite time. The resulting union serves as an enlarged terminal set, allowing safety to be certified with shorter prediction horizons. We formulate a feasible quadratic program for safe control and prove that safety is preserved as additional certified collections are stored online. Simulations on a quadrotor demonstrate safe task completion with a shorter prediction horizon than the standard bCBF.
Read the full abstract

Systems and Control

Physics-informed neural control of heat flow rate in a counter-flow heat exchanger: modeling, identification and experimental validation

The advanced operation of heat exchangers plays a critical role in the development of efficient and sustainable multivector energy systems. This paper proposes a hybrid physics-informed and data-driven framework for the analysis, identification, and regulation of transient heat transfer in counter-flow heat exchangers. A parameterized physical model combines classical heat-transfer relations with transport equations to capture convective propagation, transport-induced delays, and nonlinear effects associated with flow-rate variations. The heat-transfer coefficient is identified from experimental data, enabling the characterization of flow-dependent heat-transfer dynamics over a broad operating range. The identified model is then used to develop a hierarchical real-time control strategy. An inner loop regulates the volumetric flow rate using a high-order data-driven linear model, while an outer loop regulates the exchanged heat power using a machine-learning controller initially trained on the physical model and subsequently refined with experimental data. Experimental results demonstrate accurate reproduction of transient heat-transfer dynamics and effective heat-flow-rate regulation under varying thermal boundary conditions (identification fit above 94% in normalized root-mean-square error and total variation of the flow rate reduced by half compared to a proportional-integral controller). The proposed framework combines physical interpretability with data-driven adaptation for the analysis and real-time operation of dynamic heat-transfer systems.
Read the full abstract

Systems and Control · Cross-listed from cs.RO

CoDance: Learning Reactive and Compliant Human-Humanoid Interaction from Video

Partnered human-humanoid interaction couples locomotion with continuous physical contact. A humanoid needs to coordinate with a person's motion while responding to interaction forces and maintaining stable and natural movement. We present CoDance, a framework for learning reactive and compliant human-humanoid interaction from video. We study partnered dancing as a challenging instantiation, where a humanoid coordinates its footsteps with a moving partner and maintains continuous two-hand contact. Given a single video of two human dancers, CoDance retargets their motions into a robot reference and a moving partner. We introduce a multi-link compliance augmentation that transforms the kinematic demonstration into force-aware training data by adapting the robot reference under structured forces at both hands. Policies trained on this data follow the observed partner while preserving the demonstrated locomotion style and responding compliantly to physical interaction. In simulation, the policies adapt their footsteps to changes in the partner and reproduce approximately 80% of the wrist displacement encoded by the augmented demonstrations. On a physical humanoid, CoDance enables sustained two-hand dancing with a human partner including repeated transitions between forward and backward motions.
Read the full abstract

Systems and Control · Cross-listed from cs.CR

Cross-chain Access Control for Permissioned Blockchain Interoperation

As enterprise blockchains become increasingly interconnected, access control must extend beyond the boundaries of a single network. Existing approaches mainly focus on controlling access within one blockchain, while cross-chain interactions involve multiple networks that may follow different access-control policies and administrative rules. In this paper, we propose InterAcct, an end-to-end access-control framework for secure interactions across permissioned blockchain networks. To avoid exposing sensitive internal information, InterAcct converts outgoing requests into a consortium-level representation before they are shared with another network. When a response is returned, the framework securely maps it back to the original requester within the source consortium, preserving confidentiality throughout the interaction. Our experimental results show that InterAcct can enforce end-to-end access control for cross-chain request-response interactions with low additional overhead and can continue to operate effectively as the workload increases.
Read the full abstract

All authors Tirthankar Sengupta, Bishakh Chandra Ghosh, Sandip Chakraborty, Shamik Sural

Systems and Control · Cross-listed from cs.CL

When LLMs Sit Above Diagnostic Tools: Unrealized Complementarity in Industrial Fault Diagnosis

Large language models are increasingly used as integration layers above specialized tools, but a stronger component does not necessarily produce a stronger combined system. Across five diagnostic datasets (bearing vibration, process monitoring, semiconductor equipment), we study whether an LLM can reliably use external diagnostic information; paired repeat calls separate advice effects from output instability. In all five, conflicting external information overturned initially correct LLM judgments. Among the four datasets with direct integration comparisons, none showed a consistent advantage for implicit LLM integration over the stronger standalone source. On a Tennessee Eastman confirmation set whose protocol was fixed before evaluation, unaided accuracy was 64.67%, implicit LLM-specialist integration 77.43%, and the specialist alone 83.33%. Specialist information improved the LLM by 12.8 points (95% interval 9.7 to 15.9), yet the integrated output stayed 5.9 points below the specialist (95% interval -12.0 to -0.7). A two-source selector oracle reached 92.76%, indicating complementarity that the integrated output did not fully realize. The integrated output missed 140 of 295 specialist corrections (47.5%) but lost 15 of 99 initially correct LLM judgments (15.2%). The deficit remained under prompt and specialist sensitivity analyses. Among CWRU cases solved under both evidence presentations, task-aligned physical evidence yielded lower estimates of susceptibility to incorrect advice in six of seven models (five intervals excluding zero); higher reasoning effort gave no reliable reduction in five models, and a separate four-model TEP analysis gave no clear evidence that it resolves the integration problem. Source quality and integration quality should be evaluated separately: an integration layer should be compared with its stronger standalone component, not only with the unaided LLM.
Read the full abstract

Systems and Control · Cross-listed from cs.RO

A Unified Dynamics Framework for Reinforcement Learning and Classical Control of a Six-DOF Pipeline-Tracking ROV in NVIDIA Isaac Sim

Reinforcement learning controllers for underwater vehicles are usually trained against one physics representation and deployed against another, so reported performance does not always describe behavior outside training. This paper presents a pipeline-tracking architecture for a six-degree-of-freedom remotely operated vehicle (ROV) in which one Universal Scene Description (USD) scene supplies the real BlueROV2-Heavy mass, added-mass, damping, buoyancy, and thruster parameters to both halves of the system: a vectorized NumPy implementation of Fossen's marine-craft equations, and an interactive NVIDIA Isaac Sim deployment applying the identical equations as PhysX forces at every step. The Coriolis-centripetal term is the primary dynamics model in both branches; a controlled ablation on PPO and TRPO shows that including it does not destabilize either algorithm and modestly improves tracking, about 19 percent lower standoff RMS error for TRPO. Five reinforcement learning algorithms, PPO, soft actor-critic, TD3, DDPG, and TRPO, are trained against one environment, reward, and randomized evaluation harness through a checkpoint-compatibility layer scoring any policy with the same code. The pipeline is extended with six classical baselines, PID, sliding-mode, fuzzy logic, feedback linearization, model predictive control, and an adaptive neuro-fuzzy inference system, driven by the same guidance geometry and thruster allocation as the learned policies. Under Coriolis-enabled dynamics, PPO, TRPO, and feedback linearization reach the strongest combination of 100 percent success and competitive accuracy; PID, fuzzy control, and the neuro-fuzzy baseline also reach 100 percent success with looser tracking; DDPG and TD3 each show a specific, explainable failure mode rather than a general weakness of off-policy learning; and classical control remains a strong baseline against the best learned policies.
Read the full abstract

Systems and Control · Cross-listed from cs.RO

GJK-CBF: Control Barrier Functions for Convex Rigid Body Collision Avoidance on SE(3)

Collision avoidance among convex bodies is a fundamental problem in robotics. Control Barrier Functions (CBFs) provide a practical framework for real-time safety filtering due to their computational efficiency. For general convex bodies, exact separation measures, such as distance or scaling factor, are typically computed through optimization. Existing CBF formulations often obtain the required gradient via differentiable optimization (diffOpt), adding computational overhead. In contrast, we leverage the Gilbert-Johnson-Keerthi (GJK) algorithm to obtain the current witness pair—the pair of points realizing the minimum distance or penetration depth—and formulate a CBF, termed GJK-CBF, whose gradient is constructed directly from the relative rigid-body motion of the witness pair, without resorting to diffOpt. This formulation applies to both 2D and 3D environments across a broad class of convex body pairs, provided that at least one in each one-to-one interaction is strictly convex. The proposed GJK-CBF is validated in various scenarios, including multi-robot position swapping in both 2D and 3D, navigation through a vertical slit in 3D, and its applicability to manipulators. The results demonstrate collision-free motion across all scenarios while reducing the conservativeness introduced by geometric approximations, particularly in narrow environments.
Read the full abstract

All authors Yi-Hsuan Chen, Shuo Liu, Wei Xiao, Michael Otte, Calin Belta

Systems and Control

A Unified Framework for Robust Data-Driven Model Predictive Control with Terminal Ingredients

This paper proposes a unified framework for robust data-driven model predictive control (MPC) with terminal ingredients for unknown linear time-invariant systems. Based on Willems' fundamental lemma, a single offline input-output trajectory is used as an implicit model, while online implementation only requires past input-output measurements. Bounded measurement noise is considered in both offline and online output data. The framework consists of an offline stage, where robust terminal ingredients are designed directly from noisy data, and an online stage, where these ingredients are incorporated into a one-step MPC scheme. Recursive feasibility of the proposed framework and practical exponential stability of the closed-loop system are established. Numerical results illustrate the performance tuning capability of the terminal set, with particularly pronounced benefits for short prediction horizons, and show that the proposed framework achieves performance comparable to data-driven MPC without terminal ingredients while requiring a reduced prediction horizon and less online computation.
Read the full abstract

All authors Zhaohua Yang, Nan Bai, Pengyu Wang, Ling Shi

Systems and Control · Cross-listed from cs.RO

Tackling Sim-to-Real Mismatch Through Sampling-Based Disturbance Observers: From Analytical Models to Learned World Models

Robotic controllers increasingly rely on analytical models, simulators, cost-query interfaces, and learned world models. However, physical deployment can deviate from nominal assumptions, and additional disturbances may arise even when the model itself is accurate. In control systems, disturbance observers (DOB) are widely used to estimate such unmeasured effects from nominal models and measured feedback. Classical DOB formulations are generally built around explicit plant models. This paper develops the sampling-based disturbance observer (SDOB), extending the DOB principle to a broader range of models, including simulators and learned world models, through state-rollout or cost-query interfaces. SDOB separates two observable channels: state-effect disturbances, for which the feedback state differs from its prediction, and cost disturbances, for which the same query state receives different costs as the perceived environment changes. Diverse simulation and real-robot experiments across traditional and learned models demonstrate the effectiveness of SDOB in compensating for sim-to-real mismatch and improving control performance.
Read the full abstract

All authors Tianqi Zhu, Jun Yang, Jianliang Mao, Cong Li, Shihua Li

Systems and Control

Consumer empowerment: need, definition, quantification, outcomes and challenges

The transition toward decentralized digitalized and lowcarbon electricity systems is fundamentally changing the role of electricity consumers Traditionally passive endusers are increasingly expected to integrate distributed energy resources DERs and participate in energy management and demand response This paper examines consumer empowerment CE in electricity networks with a specific focus on small consumers connected to distribution networks The paper first discusses the technical economic and societal drivers underlying the growing need for CE including increasing DER penetration electrification of heating and transportation network congestion and flexibility requirements A comprehensive definition of CE is then proposed based on six elements active participation enhanced choice information and control automation and controllability selfsufficiency and resilience and energy communities with shared ownership The proposed CE definition is an explicit consideration of weakgrid where security of supply is not guaranteed To support consistent assessment across different electricity systems a framework for quantifying CE is developed based on the availability of technology and policy enablers and consumers ability to ensure security of supply The paper further reviews global experiences and implementation practices across different continents highlighting variations in technological readiness regulatory support and securityofsupply considerations Finally the expected outcomes and challenges of CE are discussed The expected outcomes of CE are improving affordability flexibility resilience market efficiency DER integration and decarbonization while its successful implementation requires overcoming barriers related to information access digital literacy affordability regulation interoperability privacy cybersecurity and consumer engagement
Read the full abstract

Systems and Control · Cross-listed from math.OC

Communication-Efficient Differentially Private Gradient Tracking for Distributed Optimization via Local Updates

This paper studies privacy-preserving distributed optimization using gradient tracking with one communication-free local update between consecutive communication rounds. Since local computation alone does not protect gradient information, we perturb both the primal state and the gradient-tracking direction at communication iterations while keeping local updates noise-free. We establish an aggregate variable for tracking, characterize the limiting consensus point in the presence of added random noise, and prove convergence in mean under certain parameter conditions. We also establish infinite-horizon pure differential privacy for the complete communication transcript under an affine objective adjacency relation and geometrically decaying Laplace perturbations. Simulation results illustrate the advantages of the proposed method in terms of the convergence and optimization accuracy given a privacy budget.
Read the full abstract

Systems and Control

Adaptive Control as an Information Gradient Flow: Excitation, Constraints, Energy, and Stochastic Learning

Adaptive control is usually developed through Lyapunov stability, excitation, and parameter convergence, whereas neighboring fields describe learning using convexity, information geometry, variational principles, and stochastic thermodynamics. This paper develops a constrained common language for these viewpoints. For linearly parameterized models, the excitation Gramian is simultaneously the Hessian of accumulated prediction loss and, under Gaussian observations, Fisher information up to scaling. Persistent, finite, and partial excitation become uniform, finite-horizon, and restricted temporal curvature; memory methods retain previously acquired curvature. On a closed convex parameter set, deterministic adaptation is a projected gradient/Onsager flow, with tangent and normal cones recovering projection, while composite learning supplies data-dependent symmetric dissipation. Reflected Langevin dynamics, no-flux Fokker–Planck evolution, and constrained free-energy flow provide the stochastic counterpart. The framework distinguishes information supplied by data from confinement supplied by regularization or hard constraints and connects familiar adaptive-control structures to modern variational and information-theoretic language.
Read the full abstract

Saturday 3 October

Systems and Control · Cross-listed from cs.RO

Autonomous Droplet Navigation via Model-Based Reinforcement Learning: Zero-Shot Transfer and Emergent Dynamics

Self-driving laboratories (SDLs) are transforming chemical and materials discovery through closed-loop automation, yet automated infrastructure for physical manipulation of soft, deformable matter remains beyond current robotic platforms. A critical instance is autonomous droplet transport on an open surface, where contact-angle hysteresis, capillary pinning, and surface heterogeneity produce partially observable dynamics that pose significant challenges for classical model-based controllers. We introduce the first robotic platform for closed-loop autonomous liquid droplet navigation on an open, unconfined surface using model-based reinforcement learning. A two-axis tilting board coated with a thin silicone oil film drives the droplet, while an overhead camera provides real-time feedback. A learned policy was trained on just 50 to 150 physical episodes depending on geometric complexity, without simulation or analytical models. Beyond performance alone, the platform demonstrates three capabilities of interest to the SDL community: it robustly transfers zero-shot to unseen geometries; it autonomously discovers an oscillatory depinning strategy to free the droplet when it sticks; and it completes its full training pipeline in under 90 minutes. These results extend reinforcement-learning manipulation from rigid microrobots to deformable soft-matter systems for next-generation SDLs.
Read the full abstract

Systems and Control

Model Predictive Control for Safety-Critical Systems Using Taylor's Theorem with Lagrange Remainder

Safety-critical Model Predictive Control (MPC) formulations based on Control Barrier Functions (CBFs) often require multiple tuning parameters and may become conservative or difficult to keep feasible, particularly for high-relative-degree constraints. To address these limitations, in this paper we draw inspiration from the recently introduced Taylor-Lagrange Control (TLC) method, and propose an MPC formulation based on a Taylor expansion with Lagrange remainder (MPC-TLR). To enable digital implementation, we develop a numerical approximation of the Lagrange remainder under zero-order-hold control. The resulting safety constraint includes a tunable margin to account for approximation errors and balance safety, feasibility, and conservativeness. Comparisons with MPC using high-order CBFs (MPC-HOCBF), discrete-time high-order CBFs (MPC-DHOCBF), and direct safety constraints (MPC-DC) on a unicycle obstacle-avoidance problem show that MPC-TLR yields safer trajectories than MPC-DHOCBF and MPC-DC, while requiring fewer tuning parameters and being less conservative than MPC-HOCBF. Its broader control-input coverage under the adopted discretization can improve feasibility and control performance for short prediction horizons.
Read the full abstract

All authors Shuo Liu, Liang Wu, Wei Xiao, Ján Drgoňa, Calin A. Belta

Systems and Control

Safe Position and Attitude Control for Landing on Small Celestial Bodies with Gravitational Uncertainty

Landing on small celestial bodies is challenging because the spacecraft must satisfy safety and actuator constraints despite gravitational forces that are difficult to model accurately. This article presents an optimal control for safe landing with gravitational uncertainty and strict actuator limits. The approach addresses spacecraft pose control with attitude represented on SO(3), where there are actuator constraints and state constraints on position, attitude, velocity, and angular velocity. The approach combines several key techniques. First, the gravitational force uncertainty is estimated using an extended high-gain observer, and we present a new dynamic upper bound on the estimation error. This gravitational estimate and dynamic bound are then used to compute optimal control forces and torques that satisfy state and actuator constraints while tracking a landing trajectory. Optimal forces and torques are obtained from the closed-form solution to a quadratic program that has a single control barrier function constraint constructed by composing multiple control barrier functions that are designed to enforce each state and actuator constraint. Finally, an optimal allocation maps control forces and torques to actuator commands that satisfy actuator constraints. The method is demonstrated in simulation using 2 vehicle configurations with severe gravitational uncertainty.
Read the full abstract

Systems and Control · Cross-listed from cs.DC

AID: A Framework for AI Infrastructure Dynamics

A useful model of AI inference infrastructure must specify the system state, the information available to an observer, and the decisions the model is intended to support. We introduce AID (AI Infrastructure Dynamics), a framework for describing this learning problem across coupled physical, computational, networking, and serving processes. The formulation allows structured and variable-size state, asynchronous observations, multiple physical timescales, and demand that responds to service. We distinguish representations that support prediction under an existing policy from those that preserve service outcomes under changed actions, and separate both from identifying intervention responses. Two analytical results describe a lower bound on prediction error when available observations cannot distinguish models and a sufficient condition for exact controlled state reduction. These results apply established information and state-abstraction principles to AI infrastructure. We then describe a validation protocol for cache representations, workload histories, measurement availability, and imposed actions.
Read the full abstract

Systems and Control · Cross-listed from cs.IT

Scalable Distortion-Aware Clustering for Fronthaul-Limited Cell-Free MIMO Networks

This paper studies distortion-aware clustering for uplink fronthaul-limited cell-free MIMO networks employing maximum ratio combining (MRC). While MRC is appealing for its low-complexity, its performance is limited by interference, fronthaul distortions, and channel imperfections. This motivates clustering strategies that compensate for these impairments through coordination of access points. Since instantaneous small-scale fading-based optimization is not scalable in large systems, and is impractical due to frequent channel variations, we instead optimize an objective depending only on large-scale fading coefficients. To this end, asymptotic analysis is used to derive deterministic equivalent expressions for the average network sum rate, with focus on quantization distortion, leading to a quadratic-over-linear objective. Although maximizing such an objective under binary constraints is non-convex, we exploit its structure to develop a polynomial time scheme that attains the global optimum. Numerical results show that the proposed clustering method provides performance gains over improved variants of existing literature, and remains competitive with the small-scale fading-based global optimum obtained via exhaustive search.
Read the full abstract

All authors Zehua Li, Raviraj Adve, Israfil Bahceci, Yahia Ahmed

Systems and Control · Cross-listed from cs.RO

Distributed Cascade Force Control of Soft-Tactile-Based Multi-robot System for Object Transportation

In this paper, we present a distributed cascade force control system (DCFC) for multiple robots with the aim of pushing a rigid object towards a desired moving target without their inter-robot communication. These mobile robots are equipped with 360-degree vision-based soft tactile sensors utilized to determine contact location and resultant impact force. By investigating the dynamics of moving rigid objects on the flat, we proposed a distributed cascade control. The inner loop control incorporates contact force and positioning, ensuring the robots' pushing contact and application of the desired force to the object. The outer loop control coordinates the robots to push the object in a desired direction without inter-robot communication, regardless of the unknown object mass. The stability and convergence of the system are verified using the Lyapunov stability theory. We also conducted simulation and real-word experiments to validate the performance of the proposed control method, and the experimental results showcase the successful coordination of multiple robots in pushing an object towards a moving desired direction.
Read the full abstract

All authors Duy Anh Nguyen, Nhat Minh Dinh Le, Nhan Huu Nguyen, Pham Duy Hung, Van Anh Ho, Trung Dung Ngo

Systems and Control · Cross-listed from nlin.CD

ETM-3D: A One-Parameter Multistable Quadratic Flow with an Explicit Absorbing Set and Intermittent Chaos

We study a one-parameter three-dimensional quadratic flow, denoted ETM-3D, on the benchmark domain $\rho\geq0$. Its homogeneous quadratic triad preserves Euclidean quadratic energy, while the full vector field has constant divergence -8. A shifted quadratic Lyapunov function yields an explicit positively invariant absorbing set and therefore global ultimate boundedness. The equilibria reduce generically to a scalar quartic, with a separate singular case at $\rho=\sqrt{5}$. Continuation reveals two saddle-node bifurcations, a generic transcritical bifurcation, a supercritical Hopf bifurcation, and a fold of limit cycles. Stable and unstable period-one branches meet at the fold with their nontrivial Floquet multipliers approaching +1. Just beyond this point, a 25-point logarithmic parameter study gives a laminar-length scaling exponent of -0.551 (95% confidence interval [-0.621,-0.481]), consistent with type-I intermittency. At larger $\rho$, a chaotic attractor coexists with an asymptotically stable equilibrium and periodic windows occur. Structural invariants are used to distinguish the flow from several classical quadratic chaotic families.
Read the full abstract

Systems and Control · Cross-listed from cs.RO

DNPush: Distributed Nonparallel Pushing Force Control of Multi-Robot Systems for Object Transportation

This letter proposes DNPush, a Distributed Nonparallel Pushing force controller for cooperative object transport without inter-robot communication. Each robot uses local force measurements, a preassigned force weight, and a locally expressed desired transport direction, without requiring an object model, contact locations, a CoM estimate, or moment arm magnitudes online. DNPush regulates nonparallel force magnitudes from local force direction misalignments through a reciprocal-sine law. Under the stated contact conditions, Lyapunov analysis with LaSalle's invariance principle proves convergence to a unique rotational equilibrium, where perpendicular force contributions cancel and the net torque from normal forces is zero. Object velocity converges to the desired transport direction, and suitable contact regions exist for convex polygons. Simulations isolate the reciprocal-sine scaling mechanism, five-robot coordination, and active rotational damping. Hardware experiments with soft tactile differential-drive robots achieve a velocity direction error of 0.61 deg +/- 0.79 deg over five trials with a fixed transport direction and demonstrate object transport through waypoints with three robots.
Read the full abstract

Systems and Control · Cross-listed from cs.NI

Segment Routing Traffic Engineering with Time-Based Reconfiguration Constraints

Segment routing (SR) involves routing requests through shortest paths or a limited number of segments, which are themselves the shortest paths between their endpoints. While this flexibility makes segment routing attractive for traffic engineering (TE) in IP/MPLS networks, it becomes challenging to update when some links become unavailable (e.g., maintenance) and routing decisions must adapt while limiting the number of configuration changes between two consecutive periods. We address the problem of dynamically selecting SR-TE configurations for multiple traffic demands with the objective of minimizing the maximum link utilization (MLU). In addition, a reconfiguration budget is imposed in order to limit the number of segments modified. Based on this representation, we develop a MLU column-generation optimization framework. It allows to jointly consider traffic distribution, SR configuration complexity, and temporal reconfiguration costs in time-varying IP/MPLS networks. The numerical results are obtained using realistic datasets provided by Orange, with topologies containing up to 1,263 nodes and 15,000 traffic demands. The optimality gap (i.e., accuracy) is below 5% in 80.45% of the 133 instance-time evaluations.
Read the full abstract

Systems and Control

Feasibility of Simultaneous Input-Output Constraints for Tracking in a Class of LTI Systems: Part II

This paper illustrates the properties of a new CBF-governor that enables simultaneous input and output constraint satisfaction for a class of multi-input linear time-invariant systems with state feedback and integral action. This governor is designed so as to modify the reference command while preserving the nominal feedback controller. Necessary and sufficient conditions are derived in a companion paper under which the governor is shown to be feasible at every state of a prescribed operating set and ensures simultaneous input and output constraint satisfaction, forward invariance, and bounded closed-loop solutions. These theoretical results are illustrated in this paper through several numerical examples. In each of these examples, we show how the goals of the CBF-governor are met and corroborate the corresponding necessary and sufficient condition. The computational burden associated with the proposed CBF-governor is also articulated, with its online component comparable to either that of a QP solver or determined using an exact closed-form solution. The offline component is related to the checking of the SIOCF condition which is of $O(N)$.
Read the full abstract

All authors Junhyeok Yoon, Alan B. Cao, Heather Hussain, Anuradha M. Annaswamy

Systems and Control · Cross-listed from math.OC

Safe Leader-Follower Density Control via Higher-Order Mean-Field Control Barrier Functions

Safety filters for large-scale multi-agent systems can be formulated at the population level through mean-field control barrier functions (MF-CBFs). Most existing formulations are first-order, requiring the control input to appear explicitly in the first time derivative of the safety functional; higher-order extensions have only very recently been proposed for a single, directly actuated population. We consider instead the case in which the population to be kept safe is not directly actuated, but is transported by a field generated by a second, controlled population. For this setting, we develop a higher-order MF-CBF framework for density dynamics with safety constraints of relative degree larger than one. Our main result is that indirect actuation of this kind does not destroy the control-affine structure of the safety condition: the control-dependent part of the second time derivative of the safety functional is obtained in closed form and is linear in the control velocity field, with a kernel given by the actuated density times the spatial gradient of a first variation. Relative-degree-two safety constraints can therefore still be enforced through a convex quadratic program. We then specialize the framework to a leader-follower density control problem in the presence of dangerous regions, where safety is ensured by keeping the overlap of each population with those regions below a prescribed threshold. We show that the follower safety functional has relative degree two with respect to the leader control field, while the leader safety functional has relative degree one. We further characterize exactly when the two simultaneous constraints are infeasible, introduce an adaptive-gain mechanism to mitigate potential conflicts, and bound the tracking errors induced by the safety correction. Numerical simulations in cluttered environments illustrate the resulting safety-performance trade-off.
Read the full abstract