:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Song, Baoshan, Wen, Weisong, Zhang, Qi, Xu, Bing, Hsu, Li-Ta
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Robotics Systems and Control
Online-Zugang:	https://arxiv.org/abs/2509.17198
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Decentralized LiDAR-SLAM System with Certifiably Optimal Pose Graph Optimization
von: Song, Baoshan, et al.
Veröffentlicht: (2026)

Online IMU-odometer Calibration using GNSS Measurements for Autonomous Ground Vehicle Localization
von: Song, Baoshan, et al.
Veröffentlicht: (2025)

Machine Learning Argument of Latitude Error Model for LEO Satellite Orbit and Covariance Correction
von: Moody, Alex, et al.
Veröffentlicht: (2026)

EMATO: Energy-Model-Aware Trajectory Optimization for Autonomous Driving
von: Tian, Zhaofeng, et al.
Veröffentlicht: (2024)

Two stage GNSS outlier detection for factor graph optimization based GNSS-RTK/INS/odometer fusion
von: Song, Baoshan, et al.
Veröffentlicht: (2025)

Power-Efficient Autonomous Mobile Robots
von: Liu, Liangkai, et al.
Veröffentlicht: (2025)

Certifiable Alignment of GNSS and Local Frames via Lagrangian Duality
von: Song, Baoshan, et al.
Veröffentlicht: (2025)

Optimal Thruster Configuration for 6-DOF Control of a Small Satellite
von: Sato, Suguru, et al.
Veröffentlicht: (2026)

Information-Optimal Multi-Spacecraft Positioning for Interstellar Object Exploration
von: Bhardwaj, Arna, et al.
Veröffentlicht: (2024)

Online and Certifiably Correct Visual Odometry and Mapping
von: Agrawal, Devansh R, et al.
Veröffentlicht: (2024)

Certifying Stability of Reinforcement Learning Policies using Generalized Lyapunov Functions
von: Long, Kehan, et al.
Veröffentlicht: (2025)

Tightly Joined Positioning and Control Model for Unmanned Aerial Vehicles Based on Factor Graph Optimization
von: Yang, Peiwen, et al.
Veröffentlicht: (2024)

Certifiably-Correct Mapping for Safe Navigation Despite Odometry Drift
von: Agrawal, Devansh R., et al.
Veröffentlicht: (2025)

TinySDP: Real Time Semidefinite Optimization for Certifiable and Agile Edge Robotics
von: Mahajan, Ishaan, et al.
Veröffentlicht: (2026)

ContractionPPO: Certified Reinforcement Learning via Differentiable Contraction Layers
von: Zinage, Vrushabh, et al.
Veröffentlicht: (2026)

Robust Co-Design of Canonical Underactuated Systems for Increased Certifiable Stability
von: Girlanda, Federico, et al.
Veröffentlicht: (2024)

Contingency-Aware Planning via Certified Neural Hamilton-Jacobi Reachability
von: Muenprasitivej, Kasidit, et al.
Veröffentlicht: (2026)

Imitation Learning for Satellite Attitude Control under Unknown Perturbations
von: Zhang, Zhizhuo, et al.
Veröffentlicht: (2025)

Featurized Occupation Measures for Structured Global Search in Numerical Optimal Control
von: Wei, Qi, et al.
Veröffentlicht: (2026)

Satellite Autonomous Clock Fault Monitoring with Inter-Satellite Ranges Using Euclidean Distance Matrices
von: Iiyama, Keidai, et al.
Veröffentlicht: (2025)

Workspace Analysis and Optimal Design of Cable-Driven Parallel Robots via Auxiliary Counterbalances
von: Qi, Ronghuai, et al.
Veröffentlicht: (2020)

Trajectory Smoothing Using GNSS/PDR Integration Via Factor Graph Optimization in Urban Canyons
von: Zhong, Yihan, et al.
Veröffentlicht: (2022)

Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control
von: Shi, Zhouxing, et al.
Veröffentlicht: (2024)

Optimal Fiducial Marker Placement for Satellite Proximity Operations Using Observability Gramians
von: Andrews, Nicholas B., et al.
Veröffentlicht: (2025)

Degeneration of Sliding-Window Factor Graph Optimization into Iterated Extended Kalman Filtering
von: Song, Baoshan, et al.
Veröffentlicht: (2025)

Trajectory Planning for Non-Communicating Mobile Robots using Inverse Optimal Control
von: Majer, Nina, et al.
Veröffentlicht: (2026)

Line-Search Filter Differential Dynamic Programming for Optimal Control with Nonlinear Equality Constraints
von: Xu, Ming, et al.
Veröffentlicht: (2025)

Markov Decision Processes for Satellite Maneuver Planning and Collision Avoidance
von: Kuhl, William, et al.
Veröffentlicht: (2025)

Safe Multi-agent Satellite Servicing with Control Barrier Functions
von: Parikh, Deep, et al.
Veröffentlicht: (2025)

Testing Spacecraft Formation Flying with Crazyflie Drones as Satellite Surrogates
von: de la Barcena, Arturo, et al.
Veröffentlicht: (2024)

A Scalable Tabletop Satellite Automation Testbed:Design And Experiments
von: Parikh, Deep, et al.
Veröffentlicht: (2024)

Robust Optimal Task Planning to Maximize Battery Life
von: Li, Jiachen, et al.
Veröffentlicht: (2025)

Learning-based Position and Stiffness Feedforward Control of Antagonistic Soft Pneumatic Actuators using Gaussian Processes
von: Habich, Tim-Lukas, et al.
Veröffentlicht: (2023)

Formal Safety Verification and Refinement for Generative Motion Planners via Certified Local Stabilization
von: Nath, Devesh, et al.
Veröffentlicht: (2025)

Seamless Capture and Stabilization of Spinning Satellites By Space Robots with Spinning Base
von: Aghili, Farhad
Veröffentlicht: (2024)

Constrained Optimal Planning to Minimize Battery Degradation of Autonomous Mobile Robots
von: Li, Jiachen, et al.
Veröffentlicht: (2025)

Modeling and simulation of a mechanism for suppressing the flipping problem of a jumping robot
von: Li, Qi, et al.
Veröffentlicht: (2024)

Seamless Underwater Navigation with Limited Doppler Velocity Log Measurements
von: Cohen, Nadav, et al.
Veröffentlicht: (2024)

Modeling and Control of AWOISV: A Filtered Tube-Based MPC Approach for Simultaneous Tracking of Lateral Position and Heading Angle
von: Yang, Xu, et al.
Veröffentlicht: (2025)

Time Invariant Sensor Tasking for Catalog Maintenance of LEO Space objects using Stochastic Geometry
von: Chowdhury, Partha, et al.
Veröffentlicht: (2025)