Certifiably Optimal Doppler Positioning using Opportunistic LEO Satellites
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Song, Baoshan, Wen, Weisong, Zhang, Qi, Xu, Bing, Hsu, Li-Ta |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
A Decentralized LiDAR-SLAM System with Certifiably Optimal Pose Graph Optimization
par: Song, Baoshan, et autres
Publié: (2026)
par: Song, Baoshan, et autres
Publié: (2026)
Machine Learning Argument of Latitude Error Model for LEO Satellite Orbit and Covariance Correction
par: Moody, Alex, et autres
Publié: (2026)
par: Moody, Alex, et autres
Publié: (2026)
Online IMU-odometer Calibration using GNSS Measurements for Autonomous Ground Vehicle Localization
par: Song, Baoshan, et autres
Publié: (2025)
par: Song, Baoshan, et autres
Publié: (2025)
EMATO: Energy-Model-Aware Trajectory Optimization for Autonomous Driving
par: Tian, Zhaofeng, et autres
Publié: (2024)
par: Tian, Zhaofeng, et autres
Publié: (2024)
Power-Efficient Autonomous Mobile Robots
par: Liu, Liangkai, et autres
Publié: (2025)
par: Liu, Liangkai, et autres
Publié: (2025)
Optimal Thruster Configuration for 6-DOF Control of a Small Satellite
par: Sato, Suguru, et autres
Publié: (2026)
par: Sato, Suguru, et autres
Publié: (2026)
Information-Optimal Multi-Spacecraft Positioning for Interstellar Object Exploration
par: Bhardwaj, Arna, et autres
Publié: (2024)
par: Bhardwaj, Arna, et autres
Publié: (2024)
Certifiable Alignment of GNSS and Local Frames via Lagrangian Duality
par: Song, Baoshan, et autres
Publié: (2025)
par: Song, Baoshan, et autres
Publié: (2025)
Online and Certifiably Correct Visual Odometry and Mapping
par: Agrawal, Devansh R, et autres
Publié: (2024)
par: Agrawal, Devansh R, et autres
Publié: (2024)
Two stage GNSS outlier detection for factor graph optimization based GNSS-RTK/INS/odometer fusion
par: Song, Baoshan, et autres
Publié: (2025)
par: Song, Baoshan, et autres
Publié: (2025)
Certifiably-Correct Mapping for Safe Navigation Despite Odometry Drift
par: Agrawal, Devansh R., et autres
Publié: (2025)
par: Agrawal, Devansh R., et autres
Publié: (2025)
Certifying Stability of Reinforcement Learning Policies using Generalized Lyapunov Functions
par: Long, Kehan, et autres
Publié: (2025)
par: Long, Kehan, et autres
Publié: (2025)
ContractionPPO: Certified Reinforcement Learning via Differentiable Contraction Layers
par: Zinage, Vrushabh, et autres
Publié: (2026)
par: Zinage, Vrushabh, et autres
Publié: (2026)
Robust Co-Design of Canonical Underactuated Systems for Increased Certifiable Stability
par: Girlanda, Federico, et autres
Publié: (2024)
par: Girlanda, Federico, et autres
Publié: (2024)
Contingency-Aware Planning via Certified Neural Hamilton-Jacobi Reachability
par: Muenprasitivej, Kasidit, et autres
Publié: (2026)
par: Muenprasitivej, Kasidit, et autres
Publié: (2026)
Imitation Learning for Satellite Attitude Control under Unknown Perturbations
par: Zhang, Zhizhuo, et autres
Publié: (2025)
par: Zhang, Zhizhuo, et autres
Publié: (2025)
TinySDP: Real Time Semidefinite Optimization for Certifiable and Agile Edge Robotics
par: Mahajan, Ishaan, et autres
Publié: (2026)
par: Mahajan, Ishaan, et autres
Publié: (2026)
Workspace Analysis and Optimal Design of Cable-Driven Parallel Robots via Auxiliary Counterbalances
par: Qi, Ronghuai, et autres
Publié: (2020)
par: Qi, Ronghuai, et autres
Publié: (2020)
Tightly Joined Positioning and Control Model for Unmanned Aerial Vehicles Based on Factor Graph Optimization
par: Yang, Peiwen, et autres
Publié: (2024)
par: Yang, Peiwen, et autres
Publié: (2024)
Satellite Autonomous Clock Fault Monitoring with Inter-Satellite Ranges Using Euclidean Distance Matrices
par: Iiyama, Keidai, et autres
Publié: (2025)
par: Iiyama, Keidai, et autres
Publié: (2025)
Featurized Occupation Measures for Structured Global Search in Numerical Optimal Control
par: Wei, Qi, et autres
Publié: (2026)
par: Wei, Qi, et autres
Publié: (2026)
Markov Decision Processes for Satellite Maneuver Planning and Collision Avoidance
par: Kuhl, William, et autres
Publié: (2025)
par: Kuhl, William, et autres
Publié: (2025)
Safe Multi-agent Satellite Servicing with Control Barrier Functions
par: Parikh, Deep, et autres
Publié: (2025)
par: Parikh, Deep, et autres
Publié: (2025)
Trajectory Planning for Non-Communicating Mobile Robots using Inverse Optimal Control
par: Majer, Nina, et autres
Publié: (2026)
par: Majer, Nina, et autres
Publié: (2026)
Testing Spacecraft Formation Flying with Crazyflie Drones as Satellite Surrogates
par: de la Barcena, Arturo, et autres
Publié: (2024)
par: de la Barcena, Arturo, et autres
Publié: (2024)
A Scalable Tabletop Satellite Automation Testbed:Design And Experiments
par: Parikh, Deep, et autres
Publié: (2024)
par: Parikh, Deep, et autres
Publié: (2024)
Learning-based Position and Stiffness Feedforward Control of Antagonistic Soft Pneumatic Actuators using Gaussian Processes
par: Habich, Tim-Lukas, et autres
Publié: (2023)
par: Habich, Tim-Lukas, et autres
Publié: (2023)
Robust Optimal Task Planning to Maximize Battery Life
par: Li, Jiachen, et autres
Publié: (2025)
par: Li, Jiachen, et autres
Publié: (2025)
Seamless Capture and Stabilization of Spinning Satellites By Space Robots with Spinning Base
par: Aghili, Farhad
Publié: (2024)
par: Aghili, Farhad
Publié: (2024)
Constrained Optimal Planning to Minimize Battery Degradation of Autonomous Mobile Robots
par: Li, Jiachen, et autres
Publié: (2025)
par: Li, Jiachen, et autres
Publié: (2025)
Line-Search Filter Differential Dynamic Programming for Optimal Control with Nonlinear Equality Constraints
par: Xu, Ming, et autres
Publié: (2025)
par: Xu, Ming, et autres
Publié: (2025)
Optimal Fiducial Marker Placement for Satellite Proximity Operations Using Observability Gramians
par: Andrews, Nicholas B., et autres
Publié: (2025)
par: Andrews, Nicholas B., et autres
Publié: (2025)
Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control
par: Shi, Zhouxing, et autres
Publié: (2024)
par: Shi, Zhouxing, et autres
Publié: (2024)
Trajectory Smoothing Using GNSS/PDR Integration Via Factor Graph Optimization in Urban Canyons
par: Zhong, Yihan, et autres
Publié: (2022)
par: Zhong, Yihan, et autres
Publié: (2022)
Modeling and Control of AWOISV: A Filtered Tube-Based MPC Approach for Simultaneous Tracking of Lateral Position and Heading Angle
par: Yang, Xu, et autres
Publié: (2025)
par: Yang, Xu, et autres
Publié: (2025)
Real-time Testing of Satellite Attitude Control With a Reaction Wheel Hardware-In-the-Loop Platform
par: Sakal, Morokot, et autres
Publié: (2025)
par: Sakal, Morokot, et autres
Publié: (2025)
Modeling and simulation of a mechanism for suppressing the flipping problem of a jumping robot
par: Li, Qi, et autres
Publié: (2024)
par: Li, Qi, et autres
Publié: (2024)
Physics-Informed Neural Optimal Control for Precision Immobilization Technique in Emergency Scenarios
par: Jiang, Yangye, et autres
Publié: (2026)
par: Jiang, Yangye, et autres
Publié: (2026)
Time-Optimal Planning for Long-Range Quadrotor Flights: An Automatic Optimal Synthesis Approach
par: Qin, Chao, et autres
Publié: (2024)
par: Qin, Chao, et autres
Publié: (2024)
Formal Safety Verification and Refinement for Generative Motion Planners via Certified Local Stabilization
par: Nath, Devesh, et autres
Publié: (2025)
par: Nath, Devesh, et autres
Publié: (2025)
Documents similaires
-
A Decentralized LiDAR-SLAM System with Certifiably Optimal Pose Graph Optimization
par: Song, Baoshan, et autres
Publié: (2026) -
Machine Learning Argument of Latitude Error Model for LEO Satellite Orbit and Covariance Correction
par: Moody, Alex, et autres
Publié: (2026) -
Online IMU-odometer Calibration using GNSS Measurements for Autonomous Ground Vehicle Localization
par: Song, Baoshan, et autres
Publié: (2025) -
EMATO: Energy-Model-Aware Trajectory Optimization for Autonomous Driving
par: Tian, Zhaofeng, et autres
Publié: (2024) -
Power-Efficient Autonomous Mobile Robots
par: Liu, Liangkai, et autres
Publié: (2025)