Formal Entropy-Regularized Control of Stochastic Systems

This paper presents a formal control synthesis framework for continuous-state stochastic systems that minimizes a linear combination of system entropy (measured by KL divergence to uniform) and cumulative cost by deriving novel bounds on the entropy difference between continuous distributions and their finite-state abstractions, thereby enabling entropy-aware controllers with rigorous performance guarantees.

Menno van Zutphen, Giannis Delimpaltadakis, Duarte J. Antunes2026-03-06🔢 math

Trajectory Tracking for Uncrewed Surface Vessels with Input Saturation and Dynamic Motion Constraints

This paper proposes a nonlinear feedback controller utilizing log-type Barrier Lyapunov Functions to achieve trajectory tracking for uncrewed surface vessels while simultaneously enforcing asymmetric position and heading constraints, symmetric velocity constraints, and input saturation limits, with rigorous stability analysis and simulations confirming that all states remain within prescribed bounds.

Ram Milan Kumar Verma, Shashi Ranjan Kumar, Hemendra Arya2026-03-06💻 cs

Uncertainty and Autarky: Cooperative Game Theory for Stable Local Energy Market Partitioning

This paper proposes a cooperative game theory framework to determine the optimal and stable partitioning of distribution grids into local energy market coalitions, demonstrating that while the largest coalition is optimal under deterministic conditions, a specific algorithm is required to address the complexities introduced by stochastic prosumption and grid constraints.

Saurabh Vaishampayan, Maryam Kamgarpour2026-03-06💻 cs

Curve-Induced Dynamical Systems on Riemannian Manifolds and Lie Groups

This paper introduces Curve-induced Dynamical Systems on Smooth Manifolds (CDSM), a real-time framework that generates stable and adaptable robotic behaviors on Riemannian manifolds and Lie groups by constructing dynamical systems with tangential and normal components relative to a nominal curve, demonstrating superior accuracy and efficiency in both benchmarks and practical robotic applications.

Saray Bakker, Martin Schonger, Tobias Löw + 2 more2026-03-06💻 cs

From Code to Road: A Vehicle-in-the-Loop and Digital Twin-Based Framework for Central Car Server Testing in Autonomous Driving

This paper presents a Vehicle-in-the-Loop and digital twin-based framework that integrates a physical test vehicle on a dynamometer with a synchronized virtual environment to enable safe, cost-effective, and realistic validation of autonomous driving algorithms on centralized E/E architectures without requiring individual ECU testing or intermediate software layers.

Chengdong Wu, Sven Kirchner, Nils Purschke + 9 more2026-03-06💻 cs

A Linear Parameter-Varying Framework for the Analysis of Time-Varying Optimization Algorithms

This paper proposes a novel Linear Parameter-Varying (LPV) framework utilizing Integral Quadratic Constraints (IQCs) to analyze and establish quantitative tracking error bounds for iterative first-order optimization algorithms applied to time-varying convex problems, where the bounds depend on specific measures of temporal variability such as function value and gradient rates of change.

Fabian Jakob, Andrea Iannelli2026-03-05🔢 math

A Self-Supervised Learning Approach with Differentiable Optimization for UAV Trajectory Planning

This paper proposes a self-supervised UAV trajectory planning framework that integrates learning-based depth perception with differentiable optimization and neural time allocation to achieve robust, label-free navigation in 3D environments, significantly outperforming state-of-the-art methods in tracking accuracy and control efficiency.

Yufei Jiang, Yuanzhu Zhan, Harsh Vardhan Gupta + 2 more2026-03-05💻 cs