arXiv · eess.SY

This paper addresses the problem of global pose synchronization for heterogeneous multiple rigid-body systems evolving on the matrix Lie group $\SE(3)$. We first construct a new potential function on $\SE(3) \times \mathbb{R}$ with a generalized non-diagonal weighting matrix, together with a set of switching variables governed by continuous-discrete hybrid dynamics. Based on this new potential function and these switching variables, we propose a distributed hybrid feedback control scheme that us

In this paper, we propose an input design framework for the safe online excitation and identification of uncertain linear systems without requiring informative initial data. The objective is to actively excite the system and collect sufficiently informative input-output data while maintaining safe operation and satisfactory control performance. Achieving this objective is challenging due to the potential conflict between the excitation required for learning and the safety and performance require

Autonomous vehicles track planned trajectories close to obstacles. Unknown disturbances make them deviate from these trajectories. With a bound on the tracking error that disturbances can cause, a planned trajectory can be certified as safe before execution. Existing set-based methods bound the tracking error by one invariant ellipsoid for the whole trajectory or by intervals, which are both conservative. For aerial and space vehicles, the tracking error evolves on a matrix Lie group with nonlin

Fundamental tasks in linear systems analysis and control require evaluating infinite-horizon output energies for autonomous systems and optimal value functions for controlled systems. These quantities are characterized by Lyapunov and algebraic Riccati equations, respectively. In this work, we study promise problems for their evaluation when the system matrices are sparse and represented succinctly by Boolean circuits specifying their nonzero entries, with input length polynomial in the logarith

This paper analyzes the cooperative transportation of a payload suspended from two drones in which, instead of being attached to two independent ropes, the payload is allowed to slide along a single rope connecting both UAVs. First, a planar nondimensional dynamical model of the sliding motion with viscous friction is presented. Then, considering stationary drones, this configuration is compared with a fixed payload with the same total rope length, both at equilibrium and under disturbances. The

Policy-gradient methods for adaptive linear quadratic control improve the feedback gain of an unknown plant online by gradient-type steps computed from closed-loop data. A recent framework of such methods, policy-gradient adaptive control (PGAC), takes one gradient-type step per sample, which its indirect form computes from an estimated model and its direct form directly from the data. Because data generated by a fixed linear feedback cannot identify the plant, PGAC adds a probing perturbation t

This paper presents a hierarchical inner-outer loop nonlinear control strategy using a geometric Lyapunov-based framework for the cooperative encirclement of a target by multi-ple unmanned aerial vehicles (UAVs) in three-dimensional space. The encirclement problem is formulated on a two-sphere with arbitrary radius and center, denoted Gamma-2, by projecting agent positions from R3 onto a spherical manifold centered at the target, being the unit two-sphere at the origin S2 used for intermediate c

Offset-free tracking is a key objective of any control algorithm. For predictive controllers with linear models, it is well understood that rejecting asymptotically-constant disturbances necessitates augmenting the prediction model with $p$ integrating states, where $p$ is the number of measured outputs. This can be achieved in model predictive control (MPC) by using a velocity form or a combination of disturbance model and observer. In data-driven predictive control (DPC), implicit incorporatio

Synchronous checkpoints in large language model training cause rapid power variations that challenge frequency regulation in islanded data-center microgrids. This paper proposes a checkpoint-aware two-layer framework that schedules flexible inference workloads to compensate for checkpoint-induced disturbances. Using measured GPU power profiles and anticipated checkpoint power deficits, the upper layer coordinates heterogeneous task selection and launch times, while the lower layer adjusts the ba

We prove converse Lyapunov theorems for input-to-state stability (ISS) of a broad class of infinite-dimensional systems applicable to evolution equations in Banach spaces, boundary control systems, and delay systems. To this end, we employ a novel method that does not require constructing auxiliary closed-loop systems. We start by showing that ISS of a control system implies uniform global asymptotic stability of the same system with respect to trajectory-dominated inputs. Then, under an additio

This paper studies covert system identification in cyber-physical systems, where an attacker infers plant dynamics while attempting to remain stealthy. We introduce a lightweight static linear model in which the time to execute a setpoint change is proportional to the commanded speed difference. On a Siemens PROFINET testbed this gain captures the drive's ramp response accurately but not its terminal overshoot. That omitted transient becomes the attacker's main exposure: on real traces, the resi

As data centers make the load on the power grid fluctuate faster, frequency regulation grows more valuable. Battery energy storage systems (BESSs) are well suited to provide frequency regulation, but providing this service speeds up aging, especially during operation at extreme state of charge (SoC). In the PJM interconnection, the grid operator supplies a regulation signal that a participating BESS is expected to follow, within a capacity that it must bid before the signal is known. Accordingly

We propose a passivity-informed data-driven predictive control framework based on passivity-preserving sampling of unknown continuous-time linear systems. We incorporate the passive supply rate into the objective functional alongside an output-regulation cost, thereby explicitly accounting for energy extraction. Despite being practically motivated, the resulting objective is not always convex; its convexity depends on the collected input-output training data. We exploit passivity-induced positiv

Growing shares of inverter-based generation and constrained transmission expansion increase the need to assess stability across operating conditions. Production-cost models provide chronological commitment and dispatch, but stability analysis requires corresponding electrical detail and device dynamics. This paper introduces KPG193-ext, an extension of the synthetic Korean power-grid test system KPG193 that links chronological operating points with detailed electrical and dynamic models. The ext

We study practical state synchronization of heterogeneous linear multi-agent systems over directed graphs using static diffusive state feedback. Persistent mismatches between the agent dynamics generally preclude exact synchronization and are treated as bounded disturbances within an Input-to-State Stability (ISS) framework. We derive a scalable synthesis procedure based on fixed-dimension linear matrix inequalities (LMIs), whose dimension is independent of the number of agents. Local robust dis

Leakage detection in water distribution networks (WDNs) is crucial for limiting water losses. However, effective detection strongly depends on sensor availability and placement. Most existing sensor placement methods rely on extensive simulations or precise knowledge of hydraulic parameters, which are often uncertain in practice. In this paper, we propose using a scalable sensor placement framework based on structural observability that depends only on the network topology and the underlying pre

This paper addresses internal seepage monitoring in hydraulic infrastructures through the estimation of physical parameters in a distributed model. A physics-based approach relying on Darcy's law is adopted to describe the spatiotemporal evolution of hydraulic head within the structure. To enable real-time applicability, a Proper Orthogonal Decomposition (POD) is employed to derive a reduced-order model of the underlying partial differential equation. An Extended Kalman Filter (EKF) is then desi

Control barrier function (CBF) filters depend on dynamic models that can be inaccurate when their parameters and external forces are uncertain. This paper investigates a radial basis function (RBF) neural network compensator whose output is shared by a Cartesian tracking controller and a joint-space CBF filter. An auxiliary state driven by the difference between requested and applied torques corrects the learning signal, reducing the direct influence of filter intervention on adaptation. A two-l

Over the past ten years Tensor Network Kernel Machines have enabled efficient nonlinear system identification through the use of low-rank tensor networks. The goal of this article is to provide the reader with a basic understanding of this model class in terms of its two defining properties. Furthermore, both the optimization and regularization of such models are discussed, together with recent developments and starting points for further exploration.

Scale-space theory has emerged as a central attempt to restrict the {\it general} theory of signal processing with geometric constraints inspired from the animal world. In the mathematical language of operator theory, scale-space theory restricts the Toeplitz operator. The present paper investigates scale-space theory for memory systems. We investigate how scale space theory restricts a memory system encoding past information, that is, restricts the Hankel operator. Our main result is to establi

Electric heavy goods vehicle (eHGV) fleet coordination requires each vehicle to choose driving, charging and resting actions whose consequences depend on shared infrastructure. Existing multi-agent reinforcement learning (MARL) methods mainly represent current states, leaving action-specific futures and resource interactions to be learned indirectly. We develop Horizon-Preview and Graph-Coordinated Proximal Policy Optimisation (HGC-PPO), which integrates horizon preview and candidate-resource gr

We present and evaluate a game-theoretic model predictive control planner for cooperative goal reaching and adversarial pursuit-evasion with drones. The planner combines 3D prediction, individual objectives, optional shared separation constraints and trajectory-tracking interfaces. A comparison of cooperative game solvers assesses their ability to find feasible trajectories that resolve conflicts. A computational study quantifies how number of drones, prediction horizon and move blocking affect

Three-phase ac-ac converters for variable-speed drives can be realized conventionally as voltage-source converters (VSCs) or, leveraging emerging monolithic bidirectional GaN power transistors (M-BDSs), as current-source converters (CSCs). This paper presents a comparative life-cycle assessment of a realized VSC and a CSC demonstrators including grid-side and motor-side EMI filters, and with identical specifications (1.4 kW rated power, 200 V line-to-line rms grid and motor voltage). The embodie

Large-scale integration of inverter-based resources (IBRs) is widely known to cause subsynchronous oscillations. This paper investigates a distinct class of oscillations that occur in the electromechanical frequency range (EFR), referred to as EFOs, and are dominated by the DC voltage control (DVC) loops of grid-following IBRs rather than synchronous generator-like controls or phase-locked loops (PLLs). Although open-loop oscillation modes of DVC loops are subsynchronous, the corresponding close

Within control theory, a question of great interest is to understand when a stabilizing feedback exists. Building upon Krasnosel'skiĭ and co-workers, necessary conditions for the existence of a continuous stabilizing feedback have been pioneered by Brockett and Coron, providing so-called adversarial and homological conditions, respectively. Kvalheim recently generalized their conditions from equilibria to compact attractors and---in line with earlier work by Coron---showed that when a control sy

Hand kinesthetic feedback is crucial for restoring and enhancing human perception of force and displacement in robotic hand teleoperation. Wide perception range of force feedback is vital in rendering objects of different stiffness, especially for high-stiffness rendering. However, existing approaches struggle to achieve wide range of force feedback while maintaining compact and wearable design. This paper presents a hand exoskeleton system employing magnetorheological (MR) brakes to provide a w

A data-center campus can change its load by hundreds of megawatts within an hour, yet every carbon signal in use gives one value per hour for a load change, whatever its size or direction. We compute the directional carbon intensity, the emission caused or avoided per megawatt-hour of a finite upward or downward ramp, for every hour of 2025 on the PJM Interconnection's fossil fleet, and compare it with the locational marginal emission rate (LME) and the regional average. The LME misstates a 1 GW

The online assimilation of data and the application of controls are essential ingredients of the digital twin paradigm. In this paper, we formalize the online interaction between the physical process and its virtual digital representation in the setting of continuously arriving data from the physical process and a receding horizon virtual planning process, which provides the control for the physical process. Our mathematical formulation relies on a mean field representation of the data assimilat

Classical optimal control is used to design a separate controller for each plant. This paper asks a different question. Can one learned policy serve a whole family of partially observed, noisy linear systems? We show that one transformer can. The policy is trained to imitate optimal LQG control on a heterogeneous family of Linear Time-Invariant (LTI) systems with Multiple Inputs and Multiple Outputs (MIMO), whose dimensions, cost matrices, and noise levels all vary. A shared representation with

We study the least-cost co-expansion of power distribution networks and public charging ports to accommodate the growth of electric vehicles (EVs). Our approach, MAC+, exploits the flexibility of charging along each EV's itinerary and coordinates it across the fleet to reduce the peak violations of each feeder's hosting capacity and port capacity. This coordination is an extremely large, spatio-temporally coupled optimization problem with binary plug-in variables. We solve it by iterated price r

This paper presents a distributed model predictive control (MPC) architecture for collision-avoiding motion planning of planar robots with double-integrator dynamics. To reduce coordination demands, a time-varying predicted conflict graph selects relevant pairwise interactions. The associated collision-avoidance constraints are convexified once per MPC update using warm-start trajectories, yielding a fixed convex quadratic program (QP). The resulting QP is then decomposed using an edge-consensus

Many digital systems courses teach on FPGA boards whose vendor tool is no longer maintained: the Digilent Basys2 and Nexys2 (Xilinx Spartan-3E) and Nexys3 and Atlys (Spartan-6) need Xilinx ISE 14.7, discontinued since 2013 and hard to install on the computers and tablets students use today. The author presents Silinx, a free (AGPL-3.0) HDL design platform for teaching that keeps ISE's Project Navigator workflow but runs in a web browser with nothing to install. A module can be written in VHDL or

Real-world intelligent systems must reconcile two demands: the adaptability conferred by emergence and the steerability required for accountable deployment. We show that these demands are governed by two distinct bifurcations on the same object and that, consequently, increased capability does not imply increased controllability. Emergence is a bifurcation of the capability variable $S$, with criterion $Γ:=\mathcal F'(0)>1$ equivalent to the existence of a unique positive stable fixed point of a

The growth in renewable resources will increase net load variability and forecast error. Energy storage resources can provide flexibility when ramp capability is limited and contribute to load leveling over the day. The challenge for system operators is how to balance these two functions in real time, when updated net load forecasts are available for a limited lookahead horizon. U.S. electricity markets are seeking ways to manage state-of-charge (SoC) within their energy markets to more efficien

LLM agents increasingly act as routers for tools, APIs, and software-supply-chain workflows, making an execution path - rather than generated text alone - a security-relevant model output. We study shadow invocation: a task-preserving request variant that causes an LLM router to select a riskier execution path, potentially skipping validation, provenance, staging, redaction, or audit controls even though the request does not ask for a malicious action. We introduce ShadowBench-MCP, a benchmark a

Chip performance is limited by a shared bottleneck: the core produces heat faster than it can be moved out. We study the hardest case, RF power GaN HEMTs, whose hotspots exceed 5 kW/cm^2, and propose a horizontal near-junction active cooling topology built on electron entropy transport. Classical on-chip thermoelectric cooling faces a contest: Peltier absorption grows linearly with current, Joule heating with its square. In a vertical pillar, its own conduction resistance locks about half the Jo

Autonomous SaR requires robots to explore unknown or partially known environments, avoid hazards, coordinate team activities, and guide discovered victims to safety. Improving individual capabilities of robots does not necessarily improve mission outcomes: safer motion can restrict the exploration behavior, faster discovery can increase the rescue demand, and effective guidance depends on victim responses. We introduce PA-SaR, a mathematical and architectural framework for coordinating heterogen

Organizing control around events can reduce sensing and actuation demands while directly linking control decisions to the occurrence and timing of desired system behaviors. This paper proposes a novel event-centric model predictive control (MPC) framework that unifies event sensing, event prediction, and event regulation. Events define the feedback information, prediction horizon, and event-timing objectives, placing them at the center of predictive control design. The framework is developed for

In this letter, we consider trajectory tracking control and inertial parameter estimation of a quadrotor UAV whose center of mass (CoM) does not coincide with its geometric center. Onboard payloads like an IMU, a camera, or a battery are not necessarily placed at its geometric center. Moreover, during the flight these sensors might move because of external disturbances and cause a CoM offset. Thus, these events and equipment introduce an offset and cause the inertia matrix to be non-diagonal. We

Ground penetrating radar (GPR) represents a powerful and widely adopted tool for nondestructive subsurface detection and imaging. To overcome the impaired detection performance caused by polarization mismatch in conventional single-channel GPR systems, this paper presents an innovative ultrawideband polarization-rotating (UPR) antenna that achieves rotating linear polarizations (LPs) by varying the source frequency for enhanced detection. The developed UPR antenna achieves a continuous polarizat

World models learn internal simulators of environment dynamics for prediction, planning, and control, yet learning them from limited, noisy, and partial observations remains challenging. While much progress has focused on pixel-based observations, many physical systems instead provide vector-valued measurements that reveal only part of the underlying state. We introduce K-PWM, a probabilistic world model for prediction and control under partial observation. K-PWM couples Koopman-bilinear latent

We study how to adapt an existing distributed recommendation controller when local dynamics or objective weights change. Starting from a quadratic stability and cost certificate, we construct positive semidefinite corrections with finite spatial support and an explicit residual. A joint admission test allocates the available dissipation margin to these residuals and to interactions among changes and corrections, including pending updates. The test covers complete declared parameter ranges, allow

This paper develops a distributed observer for the forward-Euler discretization of a continuous-time linear time-invariant system under random local operations and random communications. Under uniform stochastic strong connectivity, we establish almost sure exponential convergence of all local state estimates for sufficiently small discretization step sizes. We further examine how the underlying parameters and components affect the admissible range of the discretization step size and the guarant

Urban net-zero strategies require a defensible emissions boundary and quantitative estimates of the contribution achievable through individual mitigation measures. This study assesses road-transport electrification within a planned residential development in Phu Quoc, Vietnam, using the assumptions and scenario data of an urban-planning study originally prepared in 2022. A vehicle-class inventory combines population-dependent fleet projections, assumed travel activity, gasoline and diesel consum

The increasing penetration of converter-interfaced generation reduces system inertia, short-circuit strength, and voltage support. European grid codes, including the ENTSO-E Network Code on Requirements for Generators and the ACER Demand Connection Code, now define disturbance-based validation procedures for grid-forming (GFM) generation and converter-based demand. Commercial RMS tools, however, lack an integrated workflow aligned with these recent requirements. This paper presents an automated

Diode-rectifier-unit (DRU)-based high-voltage direct current (HVDC) transmission considerably reduces the volume and weight of the offshore converter platform for remote wind farms and, hence, its cost, but shifts the task of forming and regulating the offshore AC network to the wind-turbine converters. This paper examines which grid-forming control strategy is the most suitable for DRU power transfer. The DRU commutation relationship shows that the delivered active power depends on the offshore

Inference providers size their accelerator fleets for the interactive peak and sell spare capacity through fixed discounts, such as batch tiers at half price. However, inference differs from conventional cloud capacity in four respects: capacity depends on the latency tier through batching, moving weights between models is slow and costly, spot demand can wait until its deadline, and power can bind. In this paper, we develop a framework for dynamic capacity allocation and pricing of AI inference

We study a multistage scalar extension of Witsenhausen's counterexample in which controller 1 observes the initial state exactly, whereas every subsequent controller observes only a local noise-corrupted state and does not inherit its predecessors' observations, so that every nonterminal action both regulates the state and shapes the signal available to the next controller. Restricting the signaling controllers to linear policies while leaving the terminal controller unrestricted, we compute the

Some existing methods for switching events calculation considering state variable discontinuities for EMT simulation can encounter numerical stability issues, either over-stabilizing or destabilizing the studied power systems. This paper documents these issues in detail with a concrete example. The underlying mechanism of the issues are revealed via systematic analysis. A mitigation method for the issues is proposed. The convergence behavior of the method is analyzed. Numerical examples demonstr

Although nonlinear model predictive control (NMPC) is widely used, its online optimization is computationally expensive. Neural network approximations of NMPC can effectively reduce the online computational burden but generally lack stability guarantees. This paper proposes an approximate NMPC framework with guarantees of constraint satisfaction and closed-loop stability. The approximation error is addressed through constraint tightening, and the resulting tightened NMPC is used to generate the