Systems and Control
See recent articles
Showing new listings for Monday, 29 June 2026
- [1] arXiv:2606.27464 [pdf, html, other]
-
Title: Comparison of Non-Deterministic Nonlinear SystemsSubjects: Systems and Control (eess.SY)
We characterize a notion of system comparison, termed as $(T_e,\gamma,\delta)$-similarity, for non-deterministic nonlinear systems. Building on a similar notion recently proposed for stable linear systems, the proposed notion characterizes the dissimilarity between the outputs, measured using the $L_2$ norm, of two nonlinear dynamical systems in terms of their inputs and disturbances. By establishing a relationship between $(T_e,\gamma,\delta)$-similarity and differential dissipativity, we establish equivalence between $(T_e,\gamma,\delta)$-similarity of nonlinear systems and the $(T_e,\gamma,\delta)$-similarity of their differential dynamics. We characterize the $(T_e,\gamma,\delta)$-similarity for nonlinear systems as a Linear Matrix Inequality feasibility problem and also provide necessary and sufficient conditions for solving this feasibility problem. We demonstrate the utility of the proposed notion through its use in two applications: (i) robust hierarchical control applied to a planar aircraft and (ii) the improvement (or design) of abstract models applied to the Moore-Greitzer model and an electronic circuit.
- [2] arXiv:2606.27542 [pdf, html, other]
-
Title: Threshold Optimization and Dynamic Adaptation of Distributed Optimal Power Flow in 5G NetworksSubjects: Systems and Control (eess.SY); Signal Processing (eess.SP)
In this paper, we present an experimental evaluation study of the Alternating Direction Method of Multipliers (ADMM), which is a widely used technique in the distributed optimization of power distribution networks. The focus of this study is on how real 5G communication performance affects ADMM in a fully experimental platform that features commercial 5G connectivity and real-time control. The ADMM-based Distributed Optimal Power Flow (DOPF) problem is solved using the IEEE 123-bus unbalanced distribution feeder subdivided into five areas, each managed by a local controller implemented on a Raspberry Pi. To mitigate the impact of the communication network variability, we propose a delay threshold-based mechanism that yields a 7.75% reduction in convergence time compared to a no-threshold baseline. We also devised a policy to dynamically update the threshold value based on communication and computation conditions, achieving a 26.42% reduction in the convergence time compared with the static optimal threshold. These results demonstrate the potential of adaptive, communication-aware control strategies for real-world Smart Grid (SG) deployments.
- [3] arXiv:2606.27642 [pdf, html, other]
-
Title: Real-Time State Estimation in Smart Grids over 5G Networks: Experimental Validation Using Raspberry Pis and Typhoon HILSubjects: Systems and Control (eess.SY); Networking and Internet Architecture (cs.NI); Signal Processing (eess.SP)
Reliable, low-latency communication is critical for real-time monitoring and control in modern Smart Grids (SGs). The emergence of 5G networks, with enhanced reliability, significantly lower latency, and native support for massive machine-type communication, offers strong potential to enable advanced grid applications such as state estimation (SE) and fault detection. While existing studies investigate 5G for SG use cases, most rely on simulations or analytical models; experimental validation using real hardware and SG data remains limited. This paper fills this gap by presenting a fully experimental validation of real-time SE over a commercial 5G network using a 5G-based multi-node testbed built with Raspberry Pi (RPi)-based SG nodes and a Typhoon Hardware-in-the-Loop (HIL) real-time simulator. We first characterize 5G communication performance using simulated SG data under varying reporting rates and deployment environments by evaluating Key Performance Indicators (KPIs) such as end-to-end delay, jitter, and frame loss. Experimental results show that the worst-case mean delay observed for the 5G is approximately 6.5x lower than that of our previous LTE cat-M study at the corresponding reporting rate. We then stream real-time voltage, current, and phase-angle measurements-generated by an IEEE 4-node feeder model in Typhoon HIL simulator-to a remote Phasor Data Concentrator (PDC) for SE and fault detection. Results demonstrate that 5G-enabled measurements support accurate SE under both steady-state and dynamic load variations. Furthermore, fault-detection experiments confirm reliable and prompt fault detection, with detection delays as low as 0.80 s.
- [4] arXiv:2606.27656 [pdf, html, other]
-
Title: Characterizing Driver Interactions with Autonomous Vehicles via Response MapsSubjects: Systems and Control (eess.SY); Robotics (cs.RO)
Understanding human responses to autonomous vehicle (AV) behaviors is essential for socially aware interaction, which is crucial for socially compatible navigation in shared traffic environments. We characterize human driving responses in interactions with AVs as feedback laws over the coupled state space of the human driven vehicle and the AV. We model the human driver's actions using a response map, a concept based in game theory, and employ a linear representation to capture driver behaviors as a function of AV behaviors, based on empirical data from a driving simulator study. Our results show that 1) human driver acceleration behavior can be captured using response maps, and 2) human driver responses differ significantly with respect to AV behaviors of yielding, non-yielding, and responsive to the human driver.
- [5] arXiv:2606.27712 [pdf, other]
-
Title: A Bi-Layer TSN Formulation for Separable Scheduling of Mobile Emergency ResourcesComments: 3 pages, 3 figuresSubjects: Systems and Control (eess.SY)
Separable scheduling unleashes the deployment flexibility of mobile emergency resources by dispatching carriers and functional modules separately yet in a coordinated manner, offering a promising avenue to enhance power system resilience. However, this flexibility induces a distinct carrier-supported module routing structure, where non-self-mobile modules must be routed through compatible carrier movements. The resulting carrier-module spatio-temporal coupling makes exact and tractable optimization challenging. This letter identifies this structure and develops a novel exact bi-layer time-space network formulation as a mixed-integer linear program. The proposed formulation represents carrier and module trajectories as interacting network flows and enforces their support relations through explicit arc-level coupling. Compared with the prior logic-based model, the proposed formulation preserves exactness while improving modeling flexibility by eliminating mandatory post-arrival dwelling. Numerical studies validate its correctness and demonstrate substantial computational advantages.
- [6] arXiv:2606.27719 [pdf, html, other]
-
Title: Bearing-based Circumnavigation with Collision Avoidance in Time-varying Graphs under Limited Target InformationComments: 13 pages, 27 figuresSubjects: Systems and Control (eess.SY)
In this paper, we study distributed circumnavigation of a stationary target by a heterogeneous team of agents. Each agent is modelled as a disk rather than a point mass to account for its physical dimensions. The target location is assumed to be accessible only to a small subset of agents, called leaders. The rest, called followers, therefore use only local information available from their designated out-neighbour in the interaction graph characterised by the selection of nearest neighbours. By controlling only angular speeds, we develop a distributed guidance law to circumnavigate a stationary target. The proposed guidance law works for both static and time-varying interaction graphs. Inter-agent collision avoidance is enforced through a logarithmic Barrier Lyapunov (BLF) Function, which guarantees forward invariance of the collision-free set. We show that every follower converges to circumnavigation about the same target as the leader at the end of its directed path in the interaction graph, provided the initial conditions are admissible. Numerical simulations illustrate the effectiveness of the proposed method for both static and time-varying topologies.
- [7] arXiv:2606.27781 [pdf, html, other]
-
Title: Repair-before-veto control for safe lithium-ion fast charging under unknown ambient and cooling-fault conditionsComments: 20 pages, 7 figuresSubjects: Systems and Control (eess.SY)
Fast charging is decisive for electric-vehicle adoption, but field chargers are deployed as one setting while the cell's true thermal state, ambient temperature, and cooling-system health are uncertain. A current that is safe for a healthy cell at room temperature can overheat the same cell when it is hot or its cooling is degraded. We formulate this as a single-setting, unknown-state safe-fast-charging problem and solve it with a margin-aware repair-before-veto controller (RACL-B). RACL-B requests an aggressive current and repairs it online to the tightest measured margin among terminal voltage, cell temperature, and negative-electrode lithium-plating overpotential, rather than committing to a fixed schedule or shutting charging down. We evaluate one deployed setting across nine conditions, spanning 10/25/40 $^\circ$C ambient temperature and 100/60/40\% cooling health, in a high-fidelity Doyle--Fuller--Newman model with partially reversible lithium plating and lumped thermal coupling. Under a strict 45.0 $^\circ$C peak-temperature audit, fixed and ambient-scheduled protocols overheat in five of nine conditions because neither observes hidden cooling degradation, and rigid protective shutdown fails to deliver the charge in every condition. RACL-B safely completes all nine conditions, is 37.9\% faster than the fastest fixed current safe across the whole envelope, produces the least plated lithium, and remains safe across thermal guard bands. The same margin-aware principle drives a transient-credit fault readout (CREST-B) that, on a real introduced-fault battery-pack dataset, gives the strongest learned sequence-to-global monitor for localizing cooling-fault onset under operating-condition shift. The framework provides a deployable thermal-safety guarantee for fast charging together with a margin-aware monitor for the same physical fault class.
- [8] arXiv:2606.28011 [pdf, html, other]
-
Title: From Detection to Action: Using LLM Agents for Fault-Tolerant ControlSubjects: Systems and Control (eess.SY); Machine Learning (cs.LG)
We propose an agentic Large Language Model (LLM) framework for active Fault-Tolerant Control (FTC) that transforms fault detection outputs into constraint-aware recovery actions grounded in plant-specific knowledge. The approach couples (i) a multi-agent workflow that decomposes operator duties into monitoring, planning, action synthesis, simulation, validation, and reprompting; (ii) a Digital Process Plant Twin (DPPT) that exposes plant data, models, and a simulation service for pre-execution testing; and (iii) a Graph Retrieval-Augmented Generation (Graph RAG) layer built on the CPSMod ontology, which organizes plant knowledge (structure, function, hybrid dynamics, control context, and fault semantics) into a graph that supports relation-aware, multi-hop retrieval for the agents. Corrective actions are generated as minimal-risk state-machine recovery paths and corresponding discrete commands or continuous setpoint adaptations, then validated deterministically against interlocks, envelopes, and dynamic feasibility before any actuation. If no acceptable plan is found within a bounded time window, control is handed to a safety fallback. The framework is evaluated in simulation on two representative benchmarks: a discrete batch Mixing Module and a Continuous Stirred-Tank Reactor (CSTR) under closed-loop PID regulation. Results with lightweight LLMs (GPT-4o-mini and GPT-4.1-mini) show that semantically grounded agents can derive valid recovery decisions within latency budgets compatible with the respective process dynamics, demonstrating a practical pathway from detection to validated corrective action across both discrete and continuous FTC tasks.
- [9] arXiv:2606.28023 [pdf, html, other]
-
Title: Decentralized Stability of IBR-dominated Power Grids Using Block Diagonal DominanceSubjects: Systems and Control (eess.SY)
The growing penetration of inverter-based resources (IBRs) necessitates stability assessment methods that are scalable, decentralized, and model-agnostic. This paper develops a block diagonal dominance (BDD) criterion for decentralized small-signal stability of IBR-dominated power grids. The proposed approach forms the basis for an enhanced IBR connection compliance condition from a small-signal stability perspective that can be evaluated locally for IBRs to be connected to the grid. The proposed approach is shown to be much less conservative than strict diagonal dominance (SDD). Beyond mere stability, we ensure a minimum decay rate or maximum settling time for IBR-induced oscillation. Crucially, these are achieved without imposing restrictive assumptions on network or IBR models. The framework therefore, offers a practical and theoretically grounded basis for decentralized stability certificate of IBR-dominated power grids.
- [10] arXiv:2606.28055 [pdf, html, other]
-
Title: Effects of motion cueing on longitudinal acceleration perception in a driving simulatorSubjects: Systems and Control (eess.SY); Applications (stat.AP)
The driveability of a new heavy-truck driveline is traditionally assessed using physical prototypes. Enabling early evaluation of the driving experience in a human-in-the-loop driving simulator using a virtual prototype has the potential to significantly improve development efficiency. To enable driveability assessment using a moving-base simulator, participants must be able to perceive small differences in longitudinal acceleration. The just-noticeable difference (JND) was therefore evaluated for two variants of the classical motion-cueing algorithm (MCA) tuned specifically for tip-in/launch tests and compared to a more general variant in a driving simulator with a long linear track. Psychometric functions were fitted to responses obtained using a weighted staircase procedure and analysed using a generalized linear model. No significant differences in JND were found between the motion cueing variants. The mean JND across all participants and MCA variants was 5.4%. The mean point of subjective equality in the JND experiment was -1.9%, suggesting that participants perceived the acceleration as higher in the second stimulus of a pair. In a subjective comparison, most participants preferred the motion cueing variants that were tuned for launch manoeuvres over the general variant.
- [11] arXiv:2606.28143 [pdf, html, other]
-
Title: Specification-aware Robustness Margins for Symbolic ControllersSubjects: Systems and Control (eess.SY)
We address the problem of robust controller synthesis for a class of linear temporal logic (LTL) specifications over families of perturbed systems using symbolic control techniques. Given a dynamical system, a specification, and a symbolic controller synthesized using the fixed-point algorithm of the specification, the objective is to find the maximal perturbation we can apply to the system while the system continues to satisfy the same specification under the same controller. We first provide general results, by demonstrating that controllers synthesized based on the symbolic model can be refined back to a perturbed version of the concrete system while preserving their correctness. Focusing on four fundamental temporal logic specifications, namely safety, reachability, persistence, and recurrence, we introduce a general measure of the maximal robustness margin. Then, for each class of specifications, we derive a customized version of the measure and establish the corresponding theoretical guarantees. Importantly, the robustness margin depends explicitly on the sequence of sets generated during the fixed-point computation, allowing for specification-dependent and less conservative bounds compared to generic abstraction-based approaches. The theoretical developments are illustrated on two examples, demonstrating the practical applicability and effectiveness of the proposed approach.
- [12] arXiv:2606.28281 [pdf, other]
-
Title: PAC-Bayesian Certificates for Quadratic Closed-Loop ControlSubjects: Systems and Control (eess.SY); Machine Learning (cs.LG)
PAC-Bayesian bounds provide finite-sample guarantees for data-dependent randomized predictors, but applying them to learning-based control is difficult because the natural objective is a quadratic trajectory cost. Such losses are unbounded, non-Lipschitz , and lead to response-dependent Chernoff terms. We employ System Level Synthesis parameterization, which exposes the closed-loop trajectory map of a linear system directly and makes the quadratic control loss amenable to explicit certification. Moreover, we provide a set of PAC-Bayes-Chernoff certificates for posterior distributions over feasible closed-loop responses. For Gaussian disturbance trajectories with arbitrary covariance, we derive an exact one-sided Gaussian transform and a tractable quadratic upper bound expressed through closed-loop sensitivity quantities. We also derive a posterior-localized surrogate for settings where pointwise closed-loop response certificates are unavailable or have support related admissibility issues. Although PAC-Bayes certifies a non-degenerate posterior, the convex quadratic form of the SLS loss transfers the certificate to the posterior mean response. We present a deterministic mean response deployment result that is particularly suitable for control while retaining the stochastic posterior in the bound. Additionally, we provide a data-driven bound for this deployment, transitioning away from an oracle bound. Minimizing this bound naturally results in a learning algorithm for control selection from data. Numerical experiments on a double integrator show that the algorithm acts as a sensitivity-aware finite-sample regularizer, improving held-out cost and reducing closed-loop sensitivity in the low-data regime
New submissions (showing 12 of 12 entries)
- [13] arXiv:2606.27409 (cross-list from cs.MA) [pdf, html, other]
-
Title: Delayed Verification Destabilizes Multi-Agent LLM Belief: Instability Thresholds and Optimal Corrector PlacementComments: 20 pages, 5 figures, 1 table. Code and data: this https URLSubjects: Multiagent Systems (cs.MA); Computation and Language (cs.CL); Machine Learning (cs.LG); Systems and Control (eess.SY)
Multi-agent large language model (LLM) systems often rely on verifier and critic agents to suppress hallucinations, but verification is delayed. During this delay, false claims can propagate through the agent network. We model this process as delayed consensus on a graph with grounded corrector nodes. Spectral decomposition by the grounded Laplacian yields a closed-form stability threshold for the verification dose: correction that is too strong or too delayed can turn consensus into oscillation. The most unstable regime occurs when the communication and verification delays coincide; for delay two, the threshold is the inverse golden ratio. The same framework gives a supermodular placement objective and a greedy (1-1/e)-approximation rule for assigning a limited corrector budget to influential nodes. Experiments across five open models confirm the predicted dose-delay oscillations. By contrast, grounded factual answering makes truth an absorbing boundary and eliminates the effect, suggesting that the instability is specific to signed-belief tasks while grounded verification remains stabilizing
- [14] arXiv:2606.27609 (cross-list from cs.LG) [pdf, html, other]
-
Title: Training Observable Control Policies to Expose Agent State Through ActionsJournal-ref: Journal of Aerospace Information Systems (2026): 1-11Subjects: Machine Learning (cs.LG); Systems and Control (eess.SY)
Physical or operational constraints often impose communications limitations on autonomous agents. Such limitations complicate monitoring or multiagent coordination. Even when strong communications are absent, some information may still be available. The remainder of the relevant agent state may be reconstructed via estimation. The actions taken by an agent are a potential source of information -- as the agent interacts with the environment, these actions may be observed even in the absence of explicit communication. We investigate using actions to estimate the state of an agent, using reinforcement learning to develop policies which make the estimation problem more tractable. Policy observability is encouraged through the training reward and is analyzed using simulation of the trained agent. In an aircraft tracking problem a policy with enhanced observability is found that has minimal impact on nominal task performance.
- [15] arXiv:2606.27629 (cross-list from cs.CL) [pdf, html, other]
-
Title: Cross-Platform Chinese Offensive Comment Detection via Dual-Threshold Hard Example MiningComments: 10 pages, 7 figuresSubjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Systems and Control (eess.SY)
Cross-platform deployment of offensive comment detection for Chinese social media suffers performance degradation. The paper proposes a dual-threshold hard mining method to address this. First, the clean-Chinese-base RoBERTa is finetuned on COLD to establish a binary baseline for fair comparison. Second, a three-class fine-labeled test set covering Weibo, Xiaohongshu, Tieba, and Zhihu is constructed, domain distances from the source are quantified using Jaccard and Proxy-A Distance, as well as the degradation bottleneck of the baseline under domain shift is systematically revealed. Herein, a dual threshold hard example mining strategy is proposed. High- and low-confidence error-prone samples are filtered from unlabeled corpora by prediction confidence. The model is secondarily finetuned under implicit contexts with merely a small set of manually labeled hard examples, realizing low-cost cross-platform domain adaptation. Experiments reveal significant performance gains of the optimized model across four platforms.
- [16] arXiv:2606.27914 (cross-list from cs.RO) [pdf, other]
-
Title: Drifting in the Future: Stabilizing Path Following Drifting on High-Latency Vehicle SystemsJournal-ref: IEEE International Conference on Robotics and Automation (ICRA 2026)Subjects: Robotics (cs.RO); Systems and Control (eess.SY)
Autonomously controlling and handling a vehicle at and beyond its stability limit is a mathematically and computationally demanding task. Prior demonstrations of automated drifting have been limited to research platforms with instantaneous torque delivery and independently actuated wheels, leaving their applicability to production vehicles with actuator latencies and mechanically coupled axles uncertain. To overcome these issues, we design a predictor to compensate for powertrain delays, develop a revised control formulation to accommodate higher actuation latencies as well as a differential coupling on the driven axle, and introduce brake-based velocity stabilization. This paper presents the controller framework, the model extensions, and real-world experimental results. We observe that our controller enables a production sports car with a combustion engine to robustly sustain circular and figure-eight drifts, limiting lateral error to 1.1 m and sideslip overshoot to 0.06 rad despite actuator delays exceeding 250 ms, while mitigating oscillations and maintaining stable path and sideslip tracking. In conclusion, our results establish that autonomous drifting is feasible on production-ready vehicles, opening pathways to advanced safety systems capable of stabilizing cars in scenarios where traditional control fails.
- [17] arXiv:2606.28225 (cross-list from cs.LG) [pdf, html, other]
-
Title: Estimation--Prediction Tradeoff in Causal Probabilistic Temporal GraphsComments: 8 pages, 4 figures (preliminary work)Subjects: Machine Learning (cs.LG); Information Theory (cs.IT); Multiagent Systems (cs.MA); Social and Information Networks (cs.SI); Systems and Control (eess.SY)
Temporal link prediction is usually evaluated by predictive performance on unseen edges, but in probabilistic temporal graphs this criterion can conflate model error with irreducible uncertainty. We study this issue by characterising an inherent estimation--prediction tradeoff in binary logistic models where regimes that maximise Fisher information and improve parameter recoverability are also those with the highest entropy, making individual predictions intrinsically harder even under perfect parameter recovery. We propose a probabilistic causal framework for generating temporal graphs with transient edges and known ground-truth causal structure, allowing temporal link prediction to be evaluated jointly with causal parameter recovery. For the proposed binary logistic parametrisation, we derive the Cramér--Rao bound and validate the tradeoff between parameter estimation error and irreducible predictive loss. Our results show that predictive accuracy alone may not reflect whether a model has learned the underlying causal mechanism, motivating benchmarks that distinguish reducible model error from intrinsic process uncertainty.
Cross submissions (showing 5 of 5 entries)
- [18] arXiv:2211.01720 (replaced) [pdf, html, other]
-
Title: Response time central-limit and failure rate estimation for stationary periodic rate monotonic real-time systemsComments: submitted to IEEE JournalSubjects: Systems and Control (eess.SY); Statistics Theory (math.ST)
Real-time systems consist of a set of tasks, a scheduling policy, and a system architecture, all constrained by timing requirements. Many everyday embedded systems, within devices such as airplanes, cars, trains, and spatial probes, operate as real-time systems. To ensure safe failure rates, response times-the time required for the exection of a task-must be bounded. Rate Monotonic real-time systems prioritize tasks according to their arrival rate. This paper focuses on the use of the central limit of response times built in \cite{zagalo2022} and an approximation of their distribution with an inverse Gaussian mixture distribution. The distribution parameters and their associated failure rates are estimated through a suitable re-parameterization of the inverse Gaussian distribution and an adapted Expectation-Maximization algorithm. Extensive simulations demonstrate that the method is well-suited for the approximation of failure rates. We discuss the extension of such method to a chi-squared independence test adapted to real-time systems.
- [19] arXiv:2511.08370 (replaced) [pdf, html, other]
-
Title: Power Hardware-in-the-loop Interfacing via $\mathcal{H}_\infty$ Model MatchingJonathan Eid, Ashley Meagher, Dmitry Rimorov, Anil Kumar Bonala, Rajendra Thike, James Richard ForbesComments: To appear in the Proceedings of 2026 European Control Conference, 6 pages, 6 figuresSubjects: Systems and Control (eess.SY)
This paper presents an $\mathcal{H}_\infty$ model matching control-based approach to the problem of power hardware-in-the-loop (PHIL) interfacing. The objective is to interconnect a grid simulation and a physical device via an interface in a way that is stable and accurate. Conventional approaches include the ideal transformer method (ITM) and its impedance-based variants, which trade accuracy for stability, as well as some $\mathcal{H}_\infty$ control-based approaches, which do not make use of all the available information in their optimization for accuracy. Designing for transparency, as opposed to accuracy as existing approaches do, would achieve both accuracy and stability, while making use of all the dynamical information present in the idealized interconnection of the grid and device. The approach proposed in this paper employs model matching to formulate the PHIL problem as an $\mathcal{H}_\infty$ control problem using transparency as the explicit frequency-domain control objective. The approach is experimentally validated in a real-time resistive-load PHIL setup, and is found to achieve accuracy levels that are comparable or superior to those of an ITM-based interface.
- [20] arXiv:2511.23322 (replaced) [pdf, html, other]
-
Title: Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral UncertaintyComments: This work has been accepted by the IFAC for publicationSubjects: Systems and Control (eess.SY)
Providing rigorous reachability guarantees for unknown complex systems is a crucial and challenging task. In this paper, we present a novel data-driven framework that addresses this challenge by leveraging Koopman operator theory. Instead of operating in the state space, the proposed method encodes model uncertainty from finite data directly into Koopman spectral representation with quantifiable error bounds. Leveraging this spectral information, we systematically determine time intervals within which trajectories from the initial set are guaranteed, with a prescribed probability, to reach the target set. We finally demonstrate the efficacy of our framework in numerical examples.
- [21] arXiv:2604.12594 (replaced) [pdf, html, other]
-
Title: Optimal Battery Bidding under Decision-Dependent State-of-Charge UncertaintiesSubjects: Systems and Control (eess.SY)
Lithium Iron Phosphate (LFP) Battery Energy Storage Systems (BESSs) are a key enabler of the energy transition. However, they are known to exhibit significant inaccuracies in the estimation of their State of Charge (SOC). Such estimation errors can directly impact the participation of BESSs in electricity markets. In this work, we demonstrate that neglecting SOC uncertainty in battery bidding can lead to significant delivery failures, including the inability to meet promised frequency reserves. To address this risk, we investigate bidding strategies that account for SOC uncertainty. We propose three constraint-tightening optimization approaches of increasing complexity: (i) a fixed-margin formulation, (ii) an adaptive-margin optimizer, and (iii) an uncertainty-aware optimization model. The latter explicitly accounts for the decision-dependent nature of the uncertainty. Numerical results demonstrate that while all three approaches robustify against SOC uncertainty, the uncertainty-aware formulation outperforms the others in maximizing revenue while ensuring reliable frequency reserve provision. This highlights the significance of treating SOC uncertainty as an endogenous process within the operational strategy.
- [22] arXiv:2606.15105 (replaced) [pdf, html, other]
-
Title: Optimal Ground-to-Air Interception with Time-Varying Acceleration BoundsComments: This work has been submitted for journal publication. 37 Pages, 10 figuresSubjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
This paper proposes novel optimal-control-based guidance laws for ground-to-air missiles with time-varying acceleration bounds. In such engagements, as the missile climbs in altitude, its acceleration bound decreases, which may lead to acceleration saturation and significant miss distances if not explicitly accounted for. The proposed guidance laws incorporate hard acceleration command constraints directly into a linear-quadratic optimal-control framework, in contrast to conventional unbounded or softly constrained approaches. Analytically based guidance laws are developed for linear zero-order and first-order strictly proper missile dynamics with arbitrary-order linear target dynamics. Unlike the constant hard-bound case with minimum-phase missile dynamics, time-varying acceleration command bounds permit an initial unsaturated interval in which the proposed guidance laws can anticipate future saturation and reshape the acceleration profile accordingly. This enables earlier maneuvers when the missile possesses greater low-altitude maneuverability, fundamentally altering the structure of the optimal solution. The proposed approach is evaluated in nonlinear simulations and compared with equivalent unbounded and softly constrained optimal guidance laws. The results demonstrate substantially improved interception performance under saturation, reduced tuning requirements compared to softly constrained guidance laws, and enhanced capability in challenging engagement scenarios.
- [23] arXiv:2412.18032 (replaced) [pdf, html, other]
-
Title: Major Space Weather Risks Identified via Coupled Physics-Engineering-Economic ModelingEdward J. Oughton, Dennies K. Bor, Robert Weigel, C. Trevor Gaunt, Ridvan Dogan, Liling Huang, Jeffrey J. Love, Michael WiltbergerSubjects: Geophysics (physics.geo-ph); General Economics (econ.GN); Systems and Control (eess.SY)
Space weather poses an important but under-quantified threat to society. While severe geomagnetic storms are recognized as potential global catastrophes, their socio-economic impacts remain poorly quantified. We present a novel physics-engineering-economic framework that links geophysical drivers to power grid geoelectric fields, transformer vulnerability, and macroeconomic consequences. Using the United States as an example, we estimate daily U.S. economic losses for a 250-year geomagnetic storm from transformer thermal heating of 2.04 billion USD (95 percent confidence interval: 1.86 to 2.22 billion USD), disrupting power for approximately 5.7 million people and 150,000 businesses. These estimates are conservative lower bounds, reflecting only transformer thermal heating effects and excluding voltage collapse, cascading failures, and restoration costs. The true societal risk is likely substantially higher. Nonetheless, the contribution is in providing the first nationwide end-to-end coupling from space physics to potential macroeconomic loss, with quantified uncertainties. Our results demonstrate that coupled socio-economic modeling of space weather is both feasible and essential, and the framework is scalable and transferable, offering a template for assessing space weather risk to critical infrastructure in other countries.
- [24] arXiv:2603.15606 (replaced) [pdf, html, other]
-
Title: Saddle Point Evasion via Curvature-Regularized Gradient DynamicsComments: Published in IEEE Control Systems Letters. 6 pages, 3 figuresJournal-ref: IEEE Control Systems Letters, vol. 10, pp. 625-630, 2026Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
Nonconvex optimization underlies many modern machine learning and control tasks, where saddle points pose the dominant obstacle to reliable convergence in high-dimensional settings. Escaping these saddle points deterministically using continuous-time optimization remains an open challenge: gradient descent is blind to curvature, stochastic perturbation methods lack deterministic guarantees, and Newton-type approaches suffer from Hessian singularity. Adopting the perspective of viewing optimization algorithms as dynamical systems, we present Curvature-Regularized Gradient Dynamics (CRGD), which augments the objective with a smooth penalty on the negative Hessian eigenvalues, yielding an augmented cost that serves as an optimization Lyapunov function with user-selectable convergence rates to second-order stationary points. Numerical experiments confirm that CRGD converges to second-order stationary points, even in regimes where gradient descent fails.
- [25] arXiv:2606.26048 (replaced) [pdf, html, other]
-
Title: Deep Reinforcement Learning-Enhanced Event-Triggered Data-Driven Predictive Control for a 3D Cable-Driven Soft Robotic ArmSubjects: Robotics (cs.RO); Systems and Control (eess.SY)
Soft robots are challenging to control due to their nonlinear and time-varying dynamics. Data-enabled predictive control (DeePC) offers a model-free alternative by directly leveraging measured input-output trajectories to construct a predictive controller. However, its receding-horizon formulation requires solving a constrained optimization problem at every sampling instant, which can be computationally demanding for real-time deployment on resource-limited robotic platforms. To address this limitation, we propose an adaptive reinforcement-learning-based event-triggered DeePC (RL-ET-DeePC) framework for soft robotic control. A model-free RL policy is trained to determine when to invoke the DeePC optimizer based on the current system state representation, thereby reducing unnecessary optimization calls while preserving closed-loop performance. Simulation results show that RL-ET-DeePC reduces optimization frequency by up to 66% compared to periodic DeePC, while maintaining comparable tracking accuracy. Hardware experiments on a three-dimensional cable-driven soft robotic arm demonstrate zero-shot transfer, achieving a 34% reduction in optimization frequency with tracking accuracy comparable to periodic DeePC and more consistent performance than a static threshold-based event-triggered baseline.