Cover Image

Certifiably Optimal Doppler Positioning using Opportunistic LEO Satellites

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Song, Baoshan, Wen, Weisong, Zhang, Qi, Xu, Bing, Hsu, Li-Ta
Format:	Preprint
Published:	2025
Subjects:	Robotics Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Decentralized LiDAR-SLAM System with Certifiably Optimal Pose Graph Optimization
by: Song, Baoshan, et al.
Published: (2026)

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

Online IMU-odometer Calibration using GNSS Measurements for Autonomous Ground Vehicle Localization
by: Song, Baoshan, et al.
Published: (2025)

EMATO: Energy-Model-Aware Trajectory Optimization for Autonomous Driving
by: Tian, Zhaofeng, et al.
Published: (2024)

Power-Efficient Autonomous Mobile Robots
by: Liu, Liangkai, et al.
Published: (2025)

Optimal Thruster Configuration for 6-DOF Control of a Small Satellite
by: Sato, Suguru, et al.
Published: (2026)

Information-Optimal Multi-Spacecraft Positioning for Interstellar Object Exploration
by: Bhardwaj, Arna, et al.
Published: (2024)

Certifiable Alignment of GNSS and Local Frames via Lagrangian Duality
by: Song, Baoshan, et al.
Published: (2025)

Online and Certifiably Correct Visual Odometry and Mapping
by: Agrawal, Devansh R, et al.
Published: (2024)

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

Certifiably-Correct Mapping for Safe Navigation Despite Odometry Drift
by: Agrawal, Devansh R., et al.
Published: (2025)

Certifying Stability of Reinforcement Learning Policies using Generalized Lyapunov Functions
by: Long, Kehan, et al.
Published: (2025)

ContractionPPO: Certified Reinforcement Learning via Differentiable Contraction Layers
by: Zinage, Vrushabh, et al.
Published: (2026)

Robust Co-Design of Canonical Underactuated Systems for Increased Certifiable Stability
by: Girlanda, Federico, et al.
Published: (2024)

Contingency-Aware Planning via Certified Neural Hamilton-Jacobi Reachability
by: Muenprasitivej, Kasidit, et al.
Published: (2026)

Imitation Learning for Satellite Attitude Control under Unknown Perturbations
by: Zhang, Zhizhuo, et al.
Published: (2025)

TinySDP: Real Time Semidefinite Optimization for Certifiable and Agile Edge Robotics
by: Mahajan, Ishaan, et al.
Published: (2026)

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

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

Satellite Autonomous Clock Fault Monitoring with Inter-Satellite Ranges Using Euclidean Distance Matrices
by: Iiyama, Keidai, et al.
Published: (2025)

Featurized Occupation Measures for Structured Global Search in Numerical Optimal Control
by: Wei, Qi, et al.
Published: (2026)

Markov Decision Processes for Satellite Maneuver Planning and Collision Avoidance
by: Kuhl, William, et al.
Published: (2025)

Safe Multi-agent Satellite Servicing with Control Barrier Functions
by: Parikh, Deep, et al.
Published: (2025)

Trajectory Planning for Non-Communicating Mobile Robots using Inverse Optimal Control
by: Majer, Nina, et al.
Published: (2026)

Testing Spacecraft Formation Flying with Crazyflie Drones as Satellite Surrogates
by: de la Barcena, Arturo, et al.
Published: (2024)

A Scalable Tabletop Satellite Automation Testbed:Design And Experiments
by: Parikh, Deep, et al.
Published: (2024)

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

Robust Optimal Task Planning to Maximize Battery Life
by: Li, Jiachen, et al.
Published: (2025)

Seamless Capture and Stabilization of Spinning Satellites By Space Robots with Spinning Base
by: Aghili, Farhad
Published: (2024)

Constrained Optimal Planning to Minimize Battery Degradation of Autonomous Mobile Robots
by: Li, Jiachen, et al.
Published: (2025)

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

Optimal Fiducial Marker Placement for Satellite Proximity Operations Using Observability Gramians
by: Andrews, Nicholas B., et al.
Published: (2025)

Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control
by: Shi, Zhouxing, et al.
Published: (2024)

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

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

Real-time Testing of Satellite Attitude Control With a Reaction Wheel Hardware-In-the-Loop Platform
by: Sakal, Morokot, et al.
Published: (2025)

Modeling and simulation of a mechanism for suppressing the flipping problem of a jumping robot
by: Li, Qi, et al.
Published: (2024)

Physics-Informed Neural Optimal Control for Precision Immobilization Technique in Emergency Scenarios
by: Jiang, Yangye, et al.
Published: (2026)

Time-Optimal Planning for Long-Range Quadrotor Flights: An Automatic Optimal Synthesis Approach
by: Qin, Chao, et al.
Published: (2024)

Formal Safety Verification and Refinement for Generative Motion Planners via Certified Local Stabilization
by: Nath, Devesh, et al.
Published: (2025)