https://arxiv.org/api/AdAsuL3cleGAlTu2rd1kppPr52Y 2026-07-17T19:56:17Z 46881 0 15 http://arxiv.org/abs/2607.15183v1 2026-07-16T16:35:30Z

Underwater wireless optical communication (UWOC) is an enabling technology for high-throughput subsea networks, yet its long-term deployment is constrained by the finite energy budget of underwater nodes. To address this challenge, we investigate a mobile system wherein an autonomous underwater vehicle (AUV) performs joint wireless information transfer (WIT) and wireless power transfer (WPT) for a network of randomly distributed sensor nodes. This paper develops \textcolor{blue}{an integrated mission-level framework} that combines stochastic node discovery with state-aware servicing. First, we present an analytical model for node discovery based on a signal-to-noise ratio (SNR) analysis, deriving performance metrics that include the probability distribution of the discovery distance. Second, we introduce \textcolor{blue}{a threshold-based scheduling framework}, termed State-Aware Optimal Point Servicing (SA-OPS), which \textcolor{blue}{selects one of three actions according to the node's real-time energy state: preemptive charging, communication followed by charging, or communication only.} Simulations and multi-criteria decision analysis show that, \textcolor{blue}{under the considered assumptions and parameter ranges}, SA-OPS can improve the tradeoff between AUV energy expenditure and network-wide energy health relative to the adopted baseline strategies. The results also indicate that the selected charging threshold can be approximated by \textcolor{blue}{a simple state-dependent heuristic}, providing a practical guideline for autonomous energy replenishment in underwater networks.

2026-07-16T16:35:30Z Submit to TMC Qiyu Ma Jiajie Xu Mohamed-SlimAlouini http://arxiv.org/abs/2607.15180v1 2026-07-16T16:34:48Z

Ordinary differential equations (ODEs) are widely used to model dynamical systems in physics, biology, neuroscience, and physiology, but in many applications some equations of the dynamics are unknown and only a subset of the state variables are measured. We propose a hybrid neural--physics framework in which the known components of the ODE are kept explicit and the missing components are represented by a neural network. The proposed method consists of two stages where we alternate between state and parameter estimation and iterate until a predetermined criterion is met. Specifically, in the first step, we treat the model parameters as being known and we infer the latent states from the available measurements using a Rauch--Tung--Striebel (RTS) smoother. In the second stage, we treat the smoothed trajectories as being known and use them to estimate the neural networks' parameters through backpropagation. We evaluate the method on benchmark systems spanning linear, nonlinear, and stiff dynamics under partial state observation. Across these settings, the proposed method learns missing ODE components from incomplete measurements while exploiting and retaining interpretable mechanistic structure and improving latent-state reconstruction and long-horizon prediction.

2026-07-16T16:34:48Z Ahmet Demirkaya Georgios Stratis Tales Imbiriba Zachary D. Danziger Deniz Erdogmus http://arxiv.org/abs/2512.12427v2 2026-07-16T16:04:49Z

Many aerial tasks involving quadrotors demand both instant reactivity and long-horizon planning for obstacle avoidance, energy efficiency, or trajectory tracking. High-fidelity models enable accurate control but are too slow for long horizons. Low-fidelity planners scale but cannot directly control the system, necessitating cascaded architectures. Prevailing hierarchical approaches plan with a simplified model and use a high-fidelity controller for tracking, yet this decomposition is inherently suboptimal. The controller is limited by the coarse plan, and conventional MPC alternatives shorten the horizon to stay real-time feasible. We present UNIQUE, an MPC architecture that replaces this hierarchical stacking with temporal cascading. The planning problem is formulated as the second-tail horizon of a single multi-phase MPC, rather than being solved separately. We align costs across horizons, derive feasibility constraints for the point-mass planning model, and introduce transition constraints that convert high-fidelity states into meaningful low-fidelity states. Parallel point-mass and mixed-integer solvers address nonconvexities while incorporating progressive 3D obstacle smoothing over the planning horizon. In simulations and real flights, under equal computational budgets, UNIQUE improves closed-loop tracking by up to 75% compared with standard MPC and hierarchical baselines. Ablations and Pareto analyses confirm performance gains across variations in horizon, constraint approximations, and smoothing schedules.

2025-12-13T18:53:34Z Rudolf Reiter Chao Qin Leonard Bauersfeld Davide Scaramuzza http://arxiv.org/abs/2607.15129v1 2026-07-16T15:39:30Z

Dynamic object exchange between humans and robots remains a challenging problem due to uncertainty in perception, timing, and contact-rich interaction. Human-robot juggling represents a particularly demanding instance of this problem, requiring precise real-time coordination, predictive motion planning with feedback control, and robustness to variability in human motion. Enabling such skills is of interest for advancing physical human-robot interaction and shared autonomy. We present a real-time planning and control architecture for human-robot partner juggling that enables a robot to reliably catch and throw balls in synchronized multi-ball patterns with a human partner. The system integrates predictive ball tracking, adaptive online trajectory optimization using a multiple-shooting formulation, and a state-machine-based coordination logic to enable synchronized multi-ball human-robot partner juggling. In a user study with 8 participants of varying juggling skill from beginner to expert, we demonstrate that our system can achieve three-ball cascades shared between the robot and the human. All participants exceeded previously reported best-case results within a 10-minute test session, with one participant extending the previous record for shared three-ball cascade juggling fivefold to 20 consecutive robot catches, and another participant achieving a 100% success rate with 40 consecutive catches in a single-ball catch-and-return setting. Video documentation can be found at https://kai-ploeger.com/partner-juggling

2026-07-16T15:39:30Z Accepted at the 2026 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2026) Jonathan Rainer Lippert Kai Ploeger Abir Chowdhury Hermann Müller Jan Peters Alap Kshirsagar http://arxiv.org/abs/2607.15117v1 2026-07-16T15:26:28Z

Model Predictive Control (MPC) has been widely applied to autonomous vehicle drifting. Assisted drifting, that is where the driver remains in the loop, is still comparatively underexplored. Existing approaches often rely on restrictive assumptions, such as precomputed drift equilibria, full actuation authority, or prior path knowledge, which limit applicability to expert drivers. This paper proposes a nonlinear model predictive control (NMPC) framework for assisted drifting on a rear-wheel-drive vehicle. Through steer-by-wire and drive-by-wire interfaces, the controller decouples driver commands from direct actuator inputs, allowing the driver to regulate the desired sideslip through the steering wheel while the NMPC maintains vehicle stability. A dedicated activation logic ensures that the controller engages only under deliberate driver intent. High-fidelity simulations show that the proposed architecture can stabilize drifting maneuvers using a simple single-track prediction model with basic tire dynamics, even when the sideslip reference is continuously varied by the driver.

2026-07-16T15:26:28Z Marco Cortese Antonio Gallina Matteo Grandin Giovanni Righetti Mattia Bruschetta Basilio Lenzo http://arxiv.org/abs/2607.14047v2 2026-07-16T14:36:43Z

Autonomous data collection governs the volume and quality of real-world trajectories for manipulation policy learning. Existing pipelines reduce human effort via self-resetting, VLM verification, or language-guided correction, yet episode-scoped fixes must be reissued whenever the same failure recurs, so oversight cost grows with session length rather than with the number of distinct problems. We present Zero2Skill, a human-robot symbiotic agentic system in which corrections are retained and reused across rounds. The collection loop collects, verifies, and resets autonomously, pausing for a remote operator only when a phase exhausts an explicit retry budget. An LLM parser maps each natural-language utterance to a structured adjustment stored in Corrective Memory, so addressed failure modes typically need not be corrected again under the same conditions. On a real-robot desktop-clearing testbed, Zero2Skill matches teleoperation episode success while reducing human working time to 16%. Language corrections improve verifier-human agreement in all four evaluated settings and raise average single-attempt success from 12.5% to 47.5% (arm-selection: 20.0% to 50.0%). Policies fine-tuned on Zero2Skill data match teleoperation-trained policy success at a fraction of collection human cost.

2026-07-15T17:16:24Z WebPage: https://open-gigaai.github.io/Zero2Skill Boyuan Wang Zhenyuan Zhang Zhiqin Yang Peijun Gu Shuya Wang Xiaofeng Wang Xianghui Ze Yifan Chang Guosheng Zhao Jiangnan Shao Guan Huang Hengyu Liu Yonggang Zhang Wei Xue Chunyuan Guan Chenglin Pu Yike Guo Xingang Wang Zheng Zhu http://arxiv.org/abs/2605.13103v2 2026-07-16T13:48:45Z

In this paper, we consider the infinite-horizon linear-quadratic cooperative differential games with output feedback information structure. We first show that computing Pareto optimal controls under output feedback is difficult even for low-dimensional games. To address this, we introduce the concept of feedback guaranteed cost structured control (GCSC). At a feedback GCSC, the total weighted team cost remains below a prescribed threshold while satisfying the structural constraint. We derive monotonicity properties of the feedback GCSC set and the admissible weight set, respectively. Further, we show that Pareto optimal controls (if they exist) belong to the class of feedback GCSCs. We provide performance measures of the Pareto optimal controls and the proposed GCSC relative to the output feedback optimal control. We also establish verification and synthesis conditions for a feedback GCSC using linear matrix inequalities, where the synthesis formulation is convex and requires no semi-definite programming relaxation. Finally, we illustrate the effectiveness of the proposed approach through numerical examples, including a microgrid tracking synchronization case study.

2026-05-13T07:13:52Z This extended version was accepted for the 65th IEEE Conference on Decision and Control (CDC 2026) Aniruddha Roy Pavankumar Tallapragada http://arxiv.org/abs/2509.19869v2 2026-07-16T13:25:15Z

Data-driven control increasingly relies on deep models for complex systems whose first-principles models are difficult to obtain. For reliable deployment, however, learned dynamics should respect physical structure and lead to tractable optimal control. We introduce sign constraints, namely sign restrictions on Jacobian entries, as a unified description of monotonicity, positivity, and sign-definiteness. For exactly linearizable deep dynamics, we provide structural conditions and neural-network parameterizations that enforce these constraints by construction. The same structure also allows model predictive control to be formulated as a convex quadratic program or as a convex relaxation, yielding a unique optimizer and a Lipschitz continuous control law. Applications to a three-tank system and a hybrid powertrain demonstrate that the proposed approach offers improved extrapolation performance and smoother control inputs compared with competing nonconvex formulations.

2025-09-24T08:15:26Z Submitted to Automatica Teruki Kato Ryotaro Shima Kenji Kashima http://arxiv.org/abs/2607.14943v1 2026-07-16T12:52:49Z

World Action Models (WAMs) enable semantically- and physically-informed control but are brittle under distribution shift. In this work, we use mechanistic interpretability to study how robustness-relevant perturbations are represented in WAM activation space. Comparing activations across successful and unsuccessful rollouts, we find some WAM architectures exhibit low-dimensional linear separability for robustness-critical features, while others do not. This motivates the use of contrastive activation directions for training-free WAM steering. We also show that local linearity in WAM activation dynamics enables efficient feedback steering via model-based optimal control, yielding World-Action Linear Quadratic Regulator (WA-LQR), a minimally-invasive reduced-order LQR controller. Via mechanistic evaluations, we predict strong steerability in the Cosmos-Policy and DiT4DiT models but weak steerability in LingBot-VA, consistent with steering intervention results. On Cosmos-Policy and DiT4DiT, WA-LQR generalizes contrastive directions to new tasks and improves robustness to camera, gripper, and visual-noise perturbations over unsteered and prompt steering baselines.

2026-07-16T12:52:49Z Jihoon Hong Julian Skifstad Qiyue Dai Alice Chan Glen Chou http://arxiv.org/abs/2607.14906v1 2026-07-16T12:25:32Z

Accurate and reliable environmental mapping is a fundamental requirement for multi-robot autonomy. While continuous mapping techniques like Gaussian Process Occupancy Mapping (GPOM) provide rich spatial correlation and uncertainty estimates, they lack formal, finite-sample guarantees on their predictive reliability. Conformal prediction can equip each robot's local map with a distribution-free coverage guarantee, but this local guarantee degrades in practice: temporal correlation along a robot's trajectory breaks the exchangeability on which conformal calibration relies, and each robot observes only a spatially limited, non-uniform portion of the environment. Taking these degraded per-agent guarantees as given, we develop a distributed fusion algorithm that recovers the desired coverage across the team. Robots exchange only lightweight scalar e-values with their neighbors, and a receiver fuses them using a per-neighborhood miscoverage budget and an uncertainty-attenuated fusion operator. We prove that the fused set-valued map recovers the target user-specified coverage level regardless of the communication graph topology or the underlying sensor noise distribution. However, a drawback is that wherever the fused evidence is insufficient, the map declines to commit and returns both labels (free and occupied), leaving a significant fraction of the domain unclassified rather than thresholded into a single decision. Simulated multi-agent mapping experiments demonstrate that the fused predictor reliably meets its theoretical coverage bounds, and illustrate that denser communication topologies significantly enhance map efficiency by shrinking this unclassified fraction.

2026-07-16T12:25:32Z Ritvik Mahajan Aneesh Raghavan Karl Henrik Johansson http://arxiv.org/abs/2607.07421v2 2026-07-16T12:10:11Z

The unit commitment (UC) problem is paramount for optimal operation of power systems, but it faces computational limitations in large-scale settings, especially in investment or stochastic models, because of the binary variables that it contains. A lot of research has attempted to improve the computational performance of UC models, either by reducing model size, resulting in lower fidelity and accuracy, or by improving the tightness of the formulation. Tightness and model size are the best a priori indicators of the computational performance of UC models, but there is no clear overview of what the best formulation is for different generators. In this research, we define models with different levels of detail, and present a formulation for each level that is based on the convex hull. We show new proofs on the tightness of well-known formulations for ramping, for start-up and shut-down costs and capabilities, and for UC with investment. These models, with a different level of detail, can be incorporated into large-scale problems to reduce the computational burden, as demonstrated in Part II.

2026-07-08T13:49:39Z Includes additional lemma on tightness of UC formulations with investment Maaike B. Elgersma Karen I. Aardal Mathijs M. de Weerdt Germán Morales-España http://arxiv.org/abs/2607.14853v1 2026-07-16T11:22:18Z

Collaborative control in complex environments is severely challenged by stochastic wireless delay and reliability variations, which can degrade navigation, tracking, and collision avoidance. These network-induced uncertainties complicate the maintenance of energy efficiency during collaborative tasks, and can potentially lead to over-provisioning of resources. In this paper, for a navigation setup with dynamic collision avoidance, we address this challenge by expanding the quality of control (QoC) framework from prior works to practical robotic models. Our approach (i) models end-to-end network effects on closed-loop performance, (ii) systematically explores the impact of various control parameters dictating robotic motion on network latency-reliability (iii) validates these models through experiments on a private 5G testbed across varying delay, reliability and control configurations. Our analysis indicates the optimal control-communication co-design operating regimes for practical robots and also compares the QoC performance of standard ROS~2 quality of service (QoS) policies under real-world conditions and showing how RELIABLE QoS offers 51.5% better QoC than BEST-EFFORT under certain experimental settings.

2026-07-16T11:22:18Z Accpeted in IEEE VTC-Fall 2026 Neelabhro Roy Mikael Hammarling Victor Nan Fernandez-Ayala Gourav Prateek Sharma Mani H. Dhullipalla Dimos V. Dimarogonas James Gross http://arxiv.org/abs/2607.14851v1 2026-07-16T11:21:56Z

Reconfigurable intelligent surfaces (RIS) are emerging as a key technology for sixth-generation (6G) wireless networks due to their ability to dynamically control the propagation environment. To ensure favorable Line-of-Sight (LoS) conditions in real-world applications, the RIS is mounted on an unmanned aerial vehicle (UAV). While the potential of UAV-mounted RIS has been extensively studied in theoretical works, experimental validation with real-world data remains limited. Such validation is particularly important, as UAV motion and disturbances may degrade the performance of the RIS-enabled link. In this paper, we present the first fully functional, real-time capable UAV-mounted RIS prototype and validate its performance through experimental measurements under realistic disturbances and hardware constraints. We show that the RIS pose can be predicted based on the UAV's extended Kalman filter (EKF) and onboard sensors. By utilizing this estimation, we demonstrate that the RIS can be reconfigured in real time, effectively mitigating disturbance effects and preserving the performance gains of the RIS-enabled link. Furthermore, we systematically evaluate different deployment locations to provide insights into RIS performance in real-world scenarios.

2026-07-16T11:21:56Z 10 pages, 6 figures, Submitted to IEEE TRANSACTIONS ON INTELLIGENT VEHICLES David Müller Kevin Weinberger Aydin Sezgin Martin Mönnigmann http://arxiv.org/abs/2607.14078v2 2026-07-16T11:21:00Z

Human-centered adaptive systems require behavioral models that are both psychologically interpretable and mathematically analyzable. Many existing predictors either operate as black-box input-output mappings or provide limited access to latent internal dynamics. This paper addresses this gap by modeling behavior as a perception-cognition-decision pipeline. We propose a modular state-space model in which attentional selection, predictive inference, cognitive-state evolution, intention formation, and action selection are represented by coupled mathematical mappings. The model links sensory inputs to observable behavior through latent internal states while retaining interpretable connections to neuro-cognitive mechanisms. We establish sufficient conditions for boundedness, Lipschitz regularity, forward invariance, contraction of perceptual inference under constant input, and input-to-state stability of the cognitive state dynamics. Numerical sensitivity analyses show that the model yields interpretable changes in perceptual tracking, cognitive amplification, intention expression, and action decisiveness. We further demonstrate a closed-loop rehabilitation case study in which a receding-horizon controller uses the model to adapt movement difficulty from partial feedback. In this proof-of-concept setting, the model-based controller sustains simulated task participation and achieves lower realized cumulative cost than target-following and random baselines. Overall, the framework provides a white-box dynamical structure for estimation, validation, and model-based control in human-centered settings.

2026-07-15T17:50:28Z 27 pages, 12 figures Sven Schoonebeek Carlo Cenedese Anahita Jamshidnejad http://arxiv.org/abs/2607.14839v1 2026-07-16T11:04:42Z

This paper addresses stabilization of MIMO systems with uncertain time-varying diagonal input direction. We propose a modular switching sign-compensation layer acting as an outer wrapper around a nominal controller. Unlike Nussbaum-type gains, monitoring functions, or binary adaptive mechanisms, the method uses only bounded sign changes that preserve the nominal control magnitude and its properties. The compensation layer uses adaptive variables built from nominal Lyapunov quantities to search for the unknown input-sign configuration based on schedulers. Two schedulers are developed: a vector scheduler, where each input channel explores its own sign compensation and admits an online trapping certificate, and a scalar pattern scheduler, where one variable visits all diagonal sign matrices and gives a design-time recovery guarantee on sufficiently long constant-sign intervals. Once the correct sign configuration is set, the actual closed loop coincides with the nominal closed loop and the original nominal stability property is recovered. The approach is illustrated on a flight roll-reversal problem, a visual-servoing benchmark, and an underground-reservoir control example motivated by human induced-seismicity mitigation.

2026-07-16T11:04:42Z Diego Gutiérrez-Oribio Ioannis Stefanou