Searcharxiv⌕ Search

SEARCH · Searcharxiv

Search Searcharxiv

Search indexed arXiv papers on artificial intelligence, large language models, computer vision and robotics. Read source abstracts and follow links to arXiv.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 253 records · Page 14Linked to original sources

Strategic and Grid-Aware Maintenance Planning of Offshore Wind Farms

Wind turbines require regular maintenance and the resulting costs are a substantial component of a wind farm's cost of electricity production. As a result, there has been ongoing interest in improving wind turbine maintenance scheduling to find an optimal balance between maintenance costs and the risk of failure or unplanned repairs. What remains understudied is the opportunity for wind farms to schedule maintenance in the context of grid conditions and electricity market clearing. This paper contributes to closing this gap by modeling and studying wind farm maintenance planning in a grid and electricity market context. We also review current U.S. practice of wind farm maintenance scheduling, which motivates this paper and its models. Our focus is the derivation of a strategic maintenance planning problem, alongside an efficient solution approach, in which the wind farm operator aims to submit a derated wind farm capacity such that the resulting market clearing and electricity prices maximize its profit while ensuring that all required maintenance can be performed. We derive and study both deterministic and stochastic versions of the model, with the latter considering environmental and operational uncertainties. We conduct numerical experiments using the IEEE RTS 96-bus testbed with real-world offshore wind farm data and investigate the roles of farm and turbine size, as well as forecast quality. We observe an alignment between strategic and grid-serving maintenance planning and find that wind farms can improve their bottom line with low impact on system costs.

eess.SY↗

Behavior--Realization Separation for Constrained Physical Human--Robot Interaction

Physical human--robot interaction software often couples desired-behavior specification with constrained realization; we treat these as separate layers. A \emph{behavior layer} supplies a desired contact-port acceleration $a_k^{\mathrm{id}}=f_θ(e_k,\dot e_k,F_{h,k})$. A \emph{realization layer} converts it into constrained robot commands and reports total desired-versus-realized acceleration error instead of hiding it in saturation. A same-objective unconstrained counterfactual separates regularization from constraint intervention, while plant data expose model error. This paper implements a receding-horizon quadratic program realizing memoryless affine behaviors. Changing the behavior modifies objective coefficients through $(C_θ,G_θ)$ while the robot-command variable and feasible set remain unchanged. A planar study instantiates impedance and admittance; the same running layer accepts an impedance--admittance--impedance reassignment without reconstruction, under its existing rate limit. On a torque-controlled 7-DOF Franka FR3 in MuJoCo, the runtime freezes task-space dynamics per solve and enforces torque feasibility across its horizon. Under a sustained 20~N push, it holds a slack-relaxed workspace boundary to within approximately 0.1--0.2~mm, versus 4.4~cm (impedance) and 4.7~cm (admittance) overshoot from instantaneous clipping. A derated actuator budget then activates the torque constraint: horizon-wide enforcement keeps its frozen-model plan feasible to $2.1\times10^{-4}$~N$\cdot$m, whereas a first-step-only ablation plans up to 11.329~N$\cdot$m beyond budget; on the executed nonlinear plant, where both share the same local-model error, the gap is smaller but still favors horizon-wide enforcement (0.161 vs.\ 0.380~N$\cdot$m). These results are a focused proof of behavior--realization separation.

cs.RO↗

Context-Aware Intelligent Vehicles

Intelligent vehicles increasingly support adaptive applications beyond driving themselves, ranging from context-aware ADAS and automated driving to in-cabin monitoring and fleet management, all under tight requirements on accuracy, latency, cost, and reliability. Meeting these requirements is challenging because vehicles operate in complex, uncertain, and rapidly changing environments while running on resource-constrained computing platforms. This paper argues that context-situational factors that give meaning to sensor signals and constrain decisions-should be treated as a first-class principle for next-generation vehicle systems, and operationalized as a unified, shared state for learning, risk assessment, and closed-loop control across the software stack. We systematically review state-of-the- art (SOTA) context-aware methods spanning (i) environment understanding, (ii) planning and control, (iii) safety and security, and (iv) connected vehicles. Based on a trend analysis of context-aware design, we identify four key technical challenges in building a general contextual engine for future intelligent vehicles: multi-modal context fusion, temporal context modeling, handling rare events, and collaborative context sharing. We hope this survey will motivate the development of robust and efficient context-aware vehicle applications.

cs.RO↗

Order-Adaptive Distributed Integral Control

We address a structural tradeoff in distributed dynamic coordination: when the target complexity is unknown, a low controller order saves states but may leave a persistent tracking error, whereas a high order improves tracking but may burden every agent with unnecessary dynamics. To remove this choice without resorting to computationally more involved nonlinear feedback or chattering-prone nonsmooth feedback, we develop an order-adaptive distributed integral controller (OADIC). Specifically, we start with proportional feedback and add integral states only when locally measurable relative errors show that the current order is inadequate. Meanwhile, we organize the candidate controllers in a nested form, thereby preserving the existing states and gains and maintaining continuous control inputs during order transitions. To provide a theoretical basis for this design, we first characterize the consistency of prescribed relative displacements on the augmented agent--target graph. Next, we construct gains that stabilize all admissible fixed-order subsystems and establish a uniform input-to-state stability bound for the variable-dimension closed loop. Furthermore, we prove that OADIC rejects every insufficient order after finitely many decision intervals and explicitly bound the rejection time of the critical order.

eess.SY↗

A Modular IoT-Enabled Remote Laboratory Platform for Hybrid Energy System Research and Engineering Education

Remote laboratory systems improve accessibility in engineering education and research by enabling Internet-based interaction with physical equipment. This paper presents a modular IoT-enabled remote laboratory platform for hybrid energy system studies, combining renewable energy emulators, battery storage, and programmable loads within a three-interface architecture based on a web HMI, TIA Portal, and MATLAB/Simulink, all connected through a Talk2M VPN cloud. An industrial PLC and IoT gateway provide deterministic local control as well as secure remote access and monitoring. A hierarchical energy-management algorithm is validated by comparing local and remote executions under identical wind and irradiance profiles. The results show small differences in the energy balances of the renewable sources, battery, and load, while typical communication delays are on the order of 100 ms. Consequently, the platform supports research-grade remote experimentation and project-based learning in control and energy systems engineering.

eess.SY↗

A Three-phase and Single-phase Compatible Dual-Mode EV On-Board Charger with Integrated Active Power Decoupling

Onboard charger (OBC) is essential part of Electric Vehicle (EV). High-performance EVs are preferring three phase charging to achieve higher power level. However, the ability to charge from a single phase supply is also required. A dualmode OBC for EVs is proposed, which is capable of operating from both three-phase supply and single-phase supply. The single phase charging comes with the requirement of bulky DC link capacitance due to double frequency current in DC link. The proposed topology eliminates this by achieving Active Power Decoupling (APD) using only one additional relay switch and a small capacitor. The proposed topology is verified under different conditions in a detailed simulation, which shows more than an order of magnitude reduction in DC link capacitance during single phase operation.

eess.SY↗

Low-Complexity Control Under Input Saturation and Performance Constraints: A Bidirectional Modification Scheme

This article addresses the output tracking control problem for a class of high-order uncertain highly-coupled MIMO nonlinear systems subject to input saturation and performance constraints. To resolve the problem, a bidirectional modification mechanism is constructed, which is able to not only relax the constraints when saturation occurs to alleviate potential conflict, but also accelerate the recovery of original constraints after saturation ceases, and further tighten the constraints to enhance control performance if saturation remains inactive at the steadystate phase. Based on the mechanism, a model-, approximationand complexity-explosion-free control scheme is proposed. To bypass the obstacle in Lyapunov analysis, a novel stability analysis framework is developed, which, given that two parameter selection conditions are met, ensures satisfaction of modified constraints and boundedness of all closed-loop signals. Simulation results validate the effectiveness and superiority of the methodology.

eess.SY↗

ProxPI: Proximal Prior Injection for Sampling-Based MPC under Learned-Prior Mismatch

Combining learned policies with model predictive control can leverage learned task priors while retaining online adaptation to new objectives and constraints, but performance degrades when the policy is out of distribution. In policy-guided model predictive path integral (MPPI) control, a policy-centered warm-start approach centers the sampling distribution on the policy output. When the prior is mismatched, centering the sampling distribution on the policy output restricts exploration around an unsuitable solution and prevents recovery toward the task optimum. We propose Proximal Prior Injection (ProxPI), which retains nominal-centered MPPI sampling and incorporates the policy through a soft proximity cost. This matches the in-distribution performance of existing prior-injection schemes while enabling the optimizer to escape an inaccurate policy and recover vanilla MPPI-level performance. We theoretically show that re-centering on the prior discards the optimizer's correction at every update, whereas nominal-centered sampling retains it and converges to a solution set by both the task cost and the prior, and that this failure is not removed by a larger rollout budget. Simulations and real-robot experiments demonstrate robust performance under both in-distribution and out-of-distribution tasks.

cs.RO↗

Accelerating Reinforcement Learning via MPC Solver-Gradient Guidance for Weights-varying MPC

In Model Predictive Control (MPC), cost-function weights shape closed-loop behavior, yet changing conditions often make fixed parametrizations suboptimal and motivate context-dependent online adaptation. Learning such policies is difficult because behavior depends implicitly on numerical MPC solutions, producing nonlinear, potentially nonsmooth, long-horizon dependencies on policy parameters. This creates a bias-variance tradeoff: Reinforcement Learning (RL) optimizes realized closed-loop return from environment samples but is sample-inefficient, whereas Gradient-Based Policy Learning (GB-PL) uses low-variance solver gradients from differentiable MPC to optimize surrogate losses on predicted trajectories but can be biased under model mismatch. We propose Solver-Gradient Guided Reinforcement Learning (SG-RL), a solver-sensitivity augmentation for RL-based online MPC cost-weight adaptation. SG-RL keeps sampled closed-loop return as the objective and uses bounded solver-derived gradients as auxiliary guidance to improve stability and sample efficiency. We instantiate SG-RL in Proximal Policy Optimization (PPO) with four modular algorithms that inject solver-gradient guidance into actor-update scaling, policy loss, advantage estimation, and value-function learning. On two full-scale autonomous racing platforms with intentional model mismatch, SG-RL reaches PPO's best closed-loop return with up to 70.6% fewer samples, outperforms GB-PL baselines by at least 54% in closed-loop return, and generalizes zero-shot to unseen environments.

cs.RO↗

Geometric Fixed-Time Sliding Mode Control for Constrained Attitude Tracking on $\mathrm{SO}(3)$

This paper studies constrained spacecraft attitude tracking on the Riemannian configuration manifold $\mathrm{SO}(3)$ in the presence of multiple attitude pointing constraints and matched external disturbances. To address this, an attitude potential function is proposed intrinsically on $\mathrm{SO}(3)$, and its key properties are established using intrinsic geometric analysis. Under mild conditions, the potential function is shown to admit a unique nondegenerate minimum at the desired attitude over the admissible subset of $\mathrm{SO}(3)$, defined by excluding the forbidden attitude regions as well as a measure-zero set, thereby ensuring a well-posed constrained attitude tracking problem. A Riemannian Hessian analysis shows that the Hessian of the potential function is locally uniform positive definite in an open neighborhood of the desired attitude, thereby establishing local strong convexity. A nonsingular fixed-time geometric sliding manifold is proposed using the Riemannian gradient of the potential function, leading to a geometric fixed-time sliding-mode-based constrained attitude control law. It is shown that, for every initial attitude in the admissible subset, the closed-loop state trajectory evolves on $\mathrm{SO}(3)\times\mathbb{R}^3$, with the attitude remaining in the admissible subset throughout the maneuver, while the state converges to a sufficiently small compact neighborhood of the desired equilibrium in a prescribed fixed time. Numerical simulations validate the proposed control approach and illustrate the theoretical results.

eess.SY↗

How Much Training is Needed with a Digital Twin?

The following paper addresses how much pilot training is needed when a digital twin (DT) of the wireless radio channel is available to aid a wireless communication system with a channel estimation task. The DT of a wireless channel is widely expected to reduce the pilot overhead of channel estimation, following the informal rule that \emph{``the more accurate the twin, the fewer pilots are needed.''} This trade-off, however, has only ever been demonstrated empirically and never quantified. We close this gap by treating the DT as a complementary measurement of the channel that the receiver fuses with its pilot observations in the physical world. Consequently, fusing the physical and digital worlds through the best linear unbiased estimator, we derive a DT-aided Cramér-Rao bound, and from it a \emph{pilot-equivalence law} that converts DT fidelity into an equivalent number of training symbols. For a biased twin unknown to the estimator, we obtain the exact mismatch threshold beyond which trusting the DT is worse than ignoring it. We quantify how much training is needed with the DT to attain a desired mean square error on channel estimation. Particular cases are discussed to tell when training in the physical world can be completely bypassed. We finally translate these results into a block-fading achievable rate whose optimal training length is the unique root of a single equation, and identify the DT fidelity above which pilot training can be dispensed with altogether. Extensive numerical results corroborate closed-form expression and reveal that the value of a DT is largest at finite signal-to-noise ratio and vanishes in both the low- and high-SNR limits.

eess.SP↗

Constructive Port-Hamiltonian Energy Shaping Design of Dispatchable Virtual Oscillators in Grid-Forming Converters

Port-Hamiltonian (PH) theory offers a passivity-based framework for grid-forming control, yet conventional dispatchable virtual oscillator control (dVOC) does not naturally admit a dissipative PH realization, since its amplitude egulation, synchronization, and power dispatch are inherently coupled without a unified energy interpretation. This paper formulates the outer-loop dynamics as a dissipative PH system, thereby unifying amplitude regulation, synchronization, and power dispatch within one energy structure. The formulation rests on the key property that logistic-type radial regulation, characterized by an inherent saturation-like nonlinearity, permits an exact gradient decomposition compatible with the quadratic energy storage. On this basis, a unified shaped Hamiltonian is constructed, which encapsulates both amplitude restoration and power dispatch. Radial gain matching derived from this Hamiltonian yields explicit closed-form arameter inequalities that guarantee almost-global asymptotic stability and local exponential convergence. Moreover, tuning the power-error weighting coefficient actively shapes the energy landscape, thereby eliminating the undesirable low-voltage power-flow solution from the stationary set and ensuring convergence to the desired high-voltage equilibrium point. The Hessian singularity condition further provides the critical weight threshold that guarantees uniqueness of the high-voltage equilibrium. Numerical simulations validate the proposed method.

eess.SY↗

Exact Risk-Complexity Laws for Projective Boundaries in Scenario Optimization and Distribution-Free Certification

Scenario optimization, conformal prediction, and related distribution-free certification methods use finite samples to construct decisions or prediction sets with violation-risk guarantees for fresh observations. In several classical settings, the conditional violation risk follows an exact beta law, whose tail has a beta-binomial representation and whose parameter is a support, calibration, or compression dimension. This paper identifies the deterministic boundary mechanism behind these formulas and derives the corresponding law when the observed boundary size is random. A decision rule is represented by an acceptance set for future observations, together with a boundary map selecting the sample points responsible for that set. The resulting pair is called a {\em proper projective boundary scheme} when held-out samples are accepted precisely if the full-sample boundary is retained, and accepted non-boundary samples can be deleted without changing that boundary. For every such scheme, the conditional law of the violation risk given the observed boundary size is determined by the boundary's cross-sample complexity profile. A stable profile yields the usual beta law, whereas a varying profile produces an exact profile correction. The framework covers scalar order-statistic calibration, support-reconstructive scenario programs, cascaded support-removal certificates, coordinatewise envelopes, and Pareto-frontier calibration with vector scores. It also yields conditional probabilistic certificates and a no-go result explaining why observed complexity alone is insufficient.

eess.SY↗

Generalized Semi-Infinite Programming for Robust Optimal Control with Decision-Dependent Uncertainty

Generalized semi-infinite programs (GSIPs) arise in robust optimal control whenever the admissible uncertainty depends on the state or controls. Existing GSIP methods either impose restrictive structural assumptions or require global optimization that scales poorly to control problems. We present a general framework that reformulates any GSIP with mild regularity as an existence-constrained semi-infinite program, smoothing its disjunctive feasibility condition into differentiable existence constraints over a fixed index superset. The resulting program is solved by established adaptive discretization (cutting-plane) methods using only off-the-shelf nonlinear-programming solvers, and converges under standard assumptions. Treating the state trajectory as part of the uncertainty extends the framework to robust nonlinear optimal control with state-dependent uncertainty. We demonstrate it on a nonconvex benchmark GSIP and a satellite de-tumbling problem with dynamically varying inertia.

math.OC↗

Curriculum-Guided Reinforcement Learning for Energy-Efficient UAV-ISAC in Post-Disaster Search-and-Rescue Operations

Uncrewed aerial vehicles (UAVs) are promising platforms for integrated sensing and communication (ISAC), but their limited onboard energy creates a strong coupling among sensing accuracy, communication quality, and propulsion cost. This paper proposes a curriculum-guided soft actor-critic (CG-SAC) framework with propulsion-aware reward shaping for energy-efficient UAV-ISAC, jointly optimizing the 3D trajectory, communication-sensing power split, and per-user power allocation. A rotary-wing propulsion model is incorporated to derive a closed-form propulsion-economic cruising speed, which is used to construct a propulsion-aware speed-shaping term within a normalized composite reward together with navigation, node-visiting, energy-efficiency, and constraint-penalty terms. A log-linear curriculum progressively tightens the communication, sensing, and proximity requirements during training. Across 2000 randomized scenarios, CG-SAC achieves an average energy efficiency of 0.72 Mbits/J, substantially outperforming the evaluated DRL baselines. Among successfully completed missions, it requires 107.6 steps on average, corresponding to a 66%--82% reduction in flight steps relative to the baselines. Crucially, the learned policy exhibits mission-aware speed adaptation by decelerating near service points and accelerating during transit, while achieving a 99.6% communication-rate satisfaction ratio at service instants. Ablation results further demonstrate the complementary roles of the reward components in balancing mission feasibility and energy efficiency.

cs.NI↗

Physics-informed Learning for Orbital Uncertainty Propagation with Error Bounds

The Fokker-Planck partial differential equation (FP-PDE) governs uncertainty evolution in stochastic dynamical systems. In orbital dynamics, solving the FP-PDE is challenging because of nonlinear motion, high-dimensional states, and large space-time domains. We develop a physics-informed neural network (PINN) approach that approximates the FP-PDE solution as a single space-time probability density, while also quantifying its worst-case approximation error. This approach is, in principle, independent of the choice of state coordinates and neural network architecture. Specifically, to enforce probability density function (PDF) properties into the neural network, we design a Physics-informed Gaussian mixture model (PINN-GMM). Then a companion error PINN learns the dynamics of the approximation error and yields time-dependent bounds that define an ambiguity set of PDFs. This ambiguity set enables rigorous computation of upper and lower bounds on event probabilities through tractable linear programs. Numerical studies on illustrative 1D examples and several 4D--6D orbital test cases demonstrate accurate uncertainty propagation, correct and informative error bounds, and improved reliability over common uncertainty-propagation baseline methods (Gaussian approximation, unscented transform, and Gaussian mixture model). Constructing the PINN-GMM requires offline training, making it costlier than the baseline approximations; once trained, however, a single forward pass returns the density at any time in sub-millisecond time $(0.16~\mathrm{ms}$ in our implementation).

physics.comp-ph↗

A Control Co-Design Framework to Optimize Sustainability with Application to Microgrid-Driven Data Centers

This work studies the optimization of physical plant characteristics and controller parameters for sustainability. Environmental sustainability is strongly correlated with the development and operation of energy systems, with data centers as the preeminent modern example. Data centers, and the grid technologies that provide their power, consume nonnegligible amounts of global energy and pose a risk to increase greenhouse gas (GHG) emissions and electronic waste. Addressing such issues requires improved plant design and control strategies, often approached through optimization-based methods. However, there are noticeable gaps regarding data center and microgrid design: (i) simultaneous optimization of plant and controller features is rarely explored, and (ii) sustainability criteria are not emphasized. This work addresses these gaps by establishing a generalized, sustainability-centric control co-design (CCD) framework for energy systems. Uniquely, the CCD framework defines and categorizes sustainability metrics into three lifecycle stages - manufacturing, operation, and disposal - supporting optimization and comparative analysis of the metrics for different design options. To exemplify its use, the CCD framework is applied to a microgrid-driven data center system, providing a family of sustainability metrics correlated to plant and controller parameters. The analysis enabled by the framework provides insights into the CCD of microgrids and data centers, such as that GHG-equivalent emissions from manufacturing of components can dwarf those generated during operation of the system. The system designs identified by the proposed framework show substantial improvements to environmental sustainability categories as compared to designs identified through baseline procedures.

eess.SY↗

Equivalent DQ Sequence-Domain Model of Unbalanced Three-Phase Passive Elements for Power Converter Controllers

Equivalent dq0 models of three-phase passive impedances are widely used for the design of three-phase inverter and rectifier controllers in the synchronous frame. However, these equivalent models assume that the impedance in each phase are the same, which is not always applicable. The fact that the impedance in each phase is different, generates second order harmonic content in the dq0 components, which hinders the advantages of the dq0 transformation. To avoid the second harmonic in these scenarios, it is possible to use the Fortescue's theorem to represent any asymmetrical set of three-phase signals as a linear combination of three symmetrical sequences. In the literature, only a few works have attempted to derive the equivalent model of unbalanced three-phase passive elements in the sequence domain, and none is able to account for the interaction between the zero sequence and the positive and negative sequences. This work presents the derivation of the equivalent dq sequence-domain model of unbalanced three-phase passive elements both analytically and with an intuitive graphical approach. Experimental results are shown to validate the proposed models.

eess.SY↗