https://arxiv.org/api/1p5XO4qdFWs4xTE40yA3jHkm9HM 2026-07-21T17:48:48Z 46972 90 15 http://arxiv.org/abs/2607.15969v1 2026-07-17T14:04:48Z

This paper presents a trajectory prediction method for marine vessels based on optimal planning. Crude initial trajectories respecting static obstacles are first generated using A*-search to provide a feasible warm start. In the second step, a numerical optimizer is used to ensure COLREG compliance. The prediction problem is posed as sequential trajectory planning from the perspective of each surrounding vessel, requiring only their current positions, velocities, and intended destinations as input. As the latter is included in AIS messages, this enables faster predictions than learning-based methods that typically require longer data histories. The proposed method is validated using real-world scenarios constructed from AIS data.

2026-07-17T14:04:48Z 6 pages, 11 figures. This work has been accepted to IFAC2026 for publication under a Creative Commons Licence CC-BY-NC-ND David Kaikkonen Fredrik Ljungberg Erik Frisk http://arxiv.org/abs/2607.15961v1 2026-07-17T13:49:38Z

Control barrier functions (CBFs) provide formal safety guarantees for constrained nonlinear systems, but their effectiveness relies on accurate system dynamics. In high-dimensional manipulators subject to unknown disturbances and model uncertainties, fixed safety constraints constructed from nominal dynamics may become inconsistent with the actual system behavior, leading to safety degradation or excessive conservatism. This paper proposes a dynamic constraint reconstruction based control barrier function (DCR-CBF) framework for safety-critical control of disturbed robotic manipulators. An extended state observer is employed to estimate lumped disturbances online, and the estimated disturbance is incorporated into high-order control barrier functions to reconstruct safety constraints according to the estimated true dynamics. To address estimation inaccuracies, a safety margin is introduced, and a sufficient condition is derived to guarantee forward invariance under bounded estimation errors. Simulation studies on a 4-DOF excavation manipulator demonstrate that the proposed DCR-CBF method achieves zero safety violation under strong unknown disturbances while significantly improving trajectory-tracking performance compared with standard and robust CBF methods.

2026-07-17T13:49:38Z Bingsheng Zhang Shen Wang Qiang Wang Muguo Du Donghai Shi Xiaofeng Tao http://arxiv.org/abs/2607.15949v1 2026-07-17T13:33:54Z

We propose a stochastic behavioral modeling framework, termed Gaussian behaviors, which augments a deterministic linear time-invariant (LTI) behavior with a Gaussian noise component. We show that this notion is a tractable subclass of stochastic behaviors and encompasses classical parametric stochastic LTI state-space system models as special cases. Analogously to deterministic LTI behaviors, the framework enables simple and tractable stochastic data-driven control methods. To this end, we obtain a method for prediction by conditioning the Gaussian behavior on the known part of the trajectory, which is identified directly from the sample covariance of trajectory data. Building on this method, we develop predictive control formulations that optimize over feedforward or disturbance affine feedback policies. The resulting formulations are shown to be convex. We further derive a finite-sample confidence bound on the prediction accounting for both aleatoric and epistemic uncertainty, and incorporate it into a robust control method, for which a tractable convex upper bound is obtained. Within this framework, subspace predictive control is recovered when only the mean prediction is used, while data-enabled predictive control is shown to account for the prediction uncertainty in an optimistic fashion. Numerical case studies illustrate the benefits of the proposed methods.

2026-07-17T13:33:54Z András Sasfi Alberto Padoan Ivan Markovsky Florian Dörfler http://arxiv.org/abs/2607.15939v1 2026-07-17T13:22:54Z

We study a dynamic strategic communication problem in which a sender controls the timing of truthful updates from binary continuous-time Markov sources. The receiver chooses between a zero-order-hold estimator that follows the sender's updates and a prior-only default estimator, aiming to maximize a weighted correct-estimation utility. In contrast, the sender seeks to persuade the receiver to estimate the state as 1, regardless of the true state. This misalignment leads to a Stackelberg game in which the sender, as the leader, commits to state-dependent Poisson update rates, and the receiver, as the follower, decides whether to follow the sender's messages. The sender maximizes the long-term average time that the receiver's estimate equals 1, subject to a conditional intensity budget and a participation constraint (PC) ensuring that following the sender's messages does not degrade the receiver's average utility relative to its prior information. For a single source, we show that the sender's optimal policy allocates a minimum state-0 update intensity to the undesired state-0, just enough to satisfy the PC, and the remaining budget to the desired state-1. For multiple sources with heterogeneous minimum state-0 update intensities, we develop a branch-and-bound algorithm that typically avoids exhaustive search. Finally, we extend the solution to multiple receivers over dedicated channels. Our results show that controlling timeliness alone enables the sender to persuade the receiver and increase its utility.

2026-07-17T13:22:54Z This paper is an extended journal version of our conference paper, which is available on arXiv as arXiv:2512.04679 Ahmet Bugra Gundogan Melih Bastopcu http://arxiv.org/abs/2602.10936v2 2026-07-17T13:04:34Z

We define trajectory predictive control (TPC) as a class of indirect data-driven predictive control (DDPC) methods that represent future outputs as linear in past inputs/outputs and future inputs. TPC unifies many DDPC variants with different predictor structures. We introduce a predictor with a state-space representation and show that with it, TPC inherits the mature theory of linear model predictive control. In numerical experiments, the state-space predictor outperforms existing predictors, especially for small training datasets.

2026-02-11T15:16:35Z Levi D. Reyes Premer Arash J. Khabbazi Kevin J. Kircher http://arxiv.org/abs/2607.15900v1 2026-07-17T12:12:48Z

This paper presents a generative artificial intelligence (Gen AI) approach for forecasting, at a day-ahead stage, the largest single infeed (LSI) and largest single outfeed (LSO) on the Irish power system to assist in reserve dimensioning. Developed collaboratively between EirGrid, the electric transmission system operator (TSO) for Ireland, and GridZero.ai using the GridZero.ai platform, the system delivers accurate forecasts up to 38 hours ahead of real-time using limited data available before the day-ahead and intra-day energy market gate closure timings. Initial performance demonstrates an accuracy with a mean absolute percentage error (MAPE) that is only 1.1\% higher than the results possible using full market data (8-hours ahead). Thus, if this approach is integrated into operational systems and such high levels of accuracy are maintained, reserve procurement costs could be significantly reduced. The results also demonstrate the practicality and extensibility of AI-powered resource planning for TSOs.

2026-07-17T12:12:48Z Amir Moshari Mo Cloonan Taulant Kerci Zhi Li Colm Gaffney Chotiya Mahittigul Manuel Hurtado Simon Tweed Bryan Murray Michael Walsh Eoin Kennedy Ritesh Madan http://arxiv.org/abs/2607.15867v1 2026-07-17T11:27:56Z

Advanced control of heating and cooling systems can substantially reduce energy costs and pollution. However, real-world adoption of popular algorithms among researchers, such as model predictive control (MPC) and reinforcement learning (RL), remains limited due in part to their high deployment and commissioning costs. Here, we develop two nearly commissioning-free controllers tailored to objectives that depend linearly on the controlled thermal load, such as energy costs and pollution. The controllers require at most two thermal parameters. In representative heating simulations, controller performance is robust to large parameter specification errors, suggesting potential for deployment with no tuning. The controllers maintain good occupant comfort while achieving 43 to 98% (depending on the electricity pricing and controller variant) of the performance improvement achieved by an omniscient policy with perfect model information and forecasts. These results suggest that simple, structure-exploiting controllers may capture most of the attainable value of advanced control while avoiding the data, modeling, tuning, and computational burdens that can arise with conventional MPC or RL.

2026-07-17T11:27:56Z W. Grant Dierking Arash J. Khabbazi Levi D. Reyes Premer Kevin J. Kircher http://arxiv.org/abs/2607.15853v1 2026-07-17T11:10:16Z

Maximal quantum leakage quantifies privacy against adversaries with arbitrary intentions. In this work, we prove that computing this leakage is equivalent to minimum-error quantum state discrimination with equal priors. This establishes a computable operational interpretation, addressing the previous difficulty in computing maximal quantum leakage. We further analyze the impact of collective measurements on multiple copies of a state, demonstrating that leakage increases monotonically with the number of copies, which leads to explicitly characterizing the maximal leakage in the asymptotic limit. Extending this framework to quantum channels, we develop an iterative algorithm for the jointly designing of input states and measurements. Numerical examples involving collective measurements and the maximal channel leakage demonstrate our theoretical findings.

2026-07-17T11:10:16Z 6 Pages, 2 figures Shuixin Xiao Zijia Zhao Jingge Zhu Farhad Farokhi http://arxiv.org/abs/2607.15840v1 2026-07-17T10:51:38Z

The integration of wireless communication technologies in industrial automation offers greater flexibility, but also exposes safety systems to a broader threat vector. Emerging regulations, such as the draft standard prEN 50742, mandate the convergence of functional safety and cybersecurity by requiring cryptographic security mechanisms directly in safety-critical communication. This paper presents an empirical evaluation of this safety-security convergence across a complete control chain, spanning from an IO-Link Wireless Safety device to a PLC via an OPC UA backbone. We measure the latencies and jitter of different Safety-Related Security Levels under prEN 50742 over Ethernet, Wi-Fi 6, and private 5G. Our results reveal that while cryptographic execution time is negligible, the resulting frame payload expansion severely restricts wireless fieldbus capacity, reducing the maximum number of devices per IO-Link Wireless track from 8 to 2. Furthermore, we demonstrate that, despite higher average latency, a private 5G provides sufficiently deterministic latency characteristics to preserve functional safety watchdog margins, unlike unlicensed Wi-Fi 6.

2026-07-17T10:51:38Z 6 pages, 1 figure, accepted for presentation at the 31st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2026) Henry Beuster Thomas Robert Doebbert Gerd Scholl http://arxiv.org/abs/2607.15809v1 2026-07-17T10:21:19Z

Rapidly shifting operational scenarios driven by uncertain Distributed Energy Resource (DER) profiles render conventional distribution network optimization methods either computationally expensive or poorly generalizable. This paper introduces GridRAG, a pioneering retrieval-augmented framework that transforms optimization into a ``retrieve-and-refine'' paradigm. GridRAG first embeds scenario features and optimal solutions into a joint representation space to ensure semantic consistency. Based on the hybrid semantic information, the similar historical scenarios are then retrieved from a pre-constructed database. Then an SDEdit-style diffusion module is integrated to refine retrieved solutions by modeling the conditional distribution over near-feasible manifolds. This process effectively pulls retrieved solutions into near-optimal attraction basins, providing a high-quality warm-start for the final solver. Validated on three optimization tasks across four standard topologies, GridRAG demonstrates superior cross-scenario generalization and a multi-fold speedup in solution time compared to existing learning-based and model-based baselines. Our code is available at https://github.com/YuxuanCEE/GridRAG.

2026-07-17T10:21:19Z Yuxuan Chen Haipeng Xie Shuo Dai Ruoyi Xu Zhaohong Bie http://arxiv.org/abs/2607.15801v1 2026-07-17T10:13:15Z

This paper solves the targeting problem focusing on accuracy, computational efficiency, and reliability. The trajectory optimization problem is first recast as a polynomial optimization problem (POP) by leveraging differential algebra to compute high-order Taylor expansions of the nonlinear dynamics and constraints. Moment-sum-of-squares (SOS) optimization is then utilized to solve this POP. A convex formulation based on a second-order expansion of the dynamics is also proposed. For impulsive targeting, the moment-SOS and convex approaches are compared against traditional nonlinear programming (NLP) solvers and map inversion techniques. Results indicate that the moment-SOS approach provides solutions as accurate as traditional NLP, but with the critical advantage of guaranteeing convergence to the global optimum under mild assumptions. Furthermore, the method excels at handling large maneuvers and long propagation times, conditions in which standard linear approximations rapidly degrade. To demonstrate its versatility, the methodology is extended to a continuous low-thrust station keeping (SK) scenario in the Earth-Moon Circular Restricted Three-Body Problem. The algorithm's performance is then evaluated in the presence of significant state errors. The ability to directly handle non-convex constraints and recast complex, nonlinear dynamics into formulations with reliable convergence properties makes the moment-SOS approach suitable for autonomous onboard applications.

2026-07-17T10:13:15Z Adam Evans Alberto Fossa Roberto Armellin Didier Henrion Renato Zanetti http://arxiv.org/abs/2511.15480v7 2026-07-17T10:10:43Z

Standard linear H-infinity/H2 robust control and analysis tools operate on uncertain parameters assumed to vary independently within prescribed bounds. This paper extends their capabilities in the presence of nonlinear constraints coupling these parameters and restricting the parametric space. Based on the theory of upper-C1 functions, it is shown that the sequential quadratic programming (SQP) algorithm can be slightly adapted to address the search for worst-case H-infinity norm, a nonsmooth constrained optimization problem, and the search for worst-case stability under some assumptions. Specifically, we prove that for such upper-C1 functions, any subgradient provides a descent direction and satisfies Karush-Kuhn-Tucker (KKT) conditions at a local minimum, and that any accumulation point generated by SQP is a KKT point. This worst-case search then enables robust controller synthesis using a standard active configurations approach. Through an application to the robust control of a satellite, the proposed approach is shown to provide a scalable framework for robustness analysis and robust controller synthesis.

2025-11-19T14:36:44Z Preprint Ervan Kassarian Francesco Sanfedino Daniel Alazard Andrea Marrazza http://arxiv.org/abs/2511.16235v3 2026-07-17T09:59:45Z

The describing function (DF) and phase response curve (PRC) are classical tools for the analysis of feedback oscillations and rhythmic behaviors, widely used across control engineering, biology, and neuroscience. These tools are known to have limitations in networks of relaxation oscillators and excitable systems. For this reason, the paper proposes a novel approach tailored to excitable systems. Our analysis focuses on the discrete-event operator mapping input trains of events to output trains of events. The methodology is illustrated on the excitability model of Hodgkin-Huxley. The proposed framework provides a basis for designing and analyzing central pattern generators in networks of excitable neurons, with direct relevance to neuromorphic control and neurophysiology.

2025-11-20T11:09:38Z 6 pages, 7 figures, presented at European Control Conference 2026 Robin Wroblowski Rodolphe Sepulchre http://arxiv.org/abs/2508.03708v4 2026-07-17T09:05:15Z

In many countries, income tax codes have grown into a complex tangle of interacting brackets, benefits, and deductions. Despite widespread calls for systematic reform, successful attempts at reform are rare. Part of the problem is the difficulty of designing viable reform proposals. Politically viable reform must offer hard guarantees on income effects, marginal rates, and budgetary cost. Existing microsimulation tools can evaluate a reform proposal but cannot generate one by themselves. We develop a framework that casts tax reform as a constrained optimization problem. We show that any statutory tax code satisfying four mild assumptions reduces to a finite-dimensional piecewise-linear function for each taxpayer group, so reform becomes a linear or mixed-integer linear program whose decision variables are legislatable parameters: rates, bracket cutoffs, and lump-sum transfers. We are able to recover current tax systems and generate provably optimal reform candidates within the modeled space, or a certificate that no reform satisfying certain policy design constraints exists. Behavioral effects can also be incorporated, producing a nonconvex mixed-integer formulation. We demonstrate the framework through a near-complete reconstruction of the Dutch income tax code, generating reforms that smooth marginal-rate spikes, cap household income losses, and roughly halve the number of active rules through a lexicographic procedure. Developed in close collaboration with the Dutch Ministry of Finance, the methodology is currently in active use there. An open-source software implementation is available as \texttt{TaxSolver}.

2025-07-21T18:29:45Z 39 pages, 12 figures, 8 tables Mark Verhagen Menno Schellekens Michael Garstka http://arxiv.org/abs/2607.15690v1 2026-07-17T07:06:38Z

Urban Air Mobility (UAM) with electric Vertical TakeOff and Landing (eVTOL) vehicles can help address ground traffic congestion. The design of an eVTOL trajectory that is safe and reduces travel time is key for UAM adoption. Existing works on trajectory design either may not adequately incorporate dense obstacles in urban environments, complex eVTOL flight dynamics, or one or more flight phases. Not considering these factors can result in low-quality, or worse infeasible, trajectories. We develop a hybrid framework that can integrate building obstacles data, wind data, eVTOL flight dynamics, and other real-world operational constraints to estimate a four-dimensional eVTOL flight trajectory in ascent, cruise, and descent that aims to minimize travel time. Our framework first fills the obstacle-free regions with intersecting convex polygons, then identifies potentially low-travel time candidate sequences of these polygons using a Graph of Convex Sets-based path planner, and then uses an Optimal Control Program to give the final trajectory that passes through the polygons in a sequence identified before. We evaluate our framework on routes within New York City. Our framework can design trajectories respecting the above constraints in the presence of as many as 250 building obstacles. We show that not including the above constraints can underestimate the flight time by as much as 20\%.

2026-07-17T07:06:38Z Prasad Devkar Yashovardhan S. Chati Arunchandar Vasan