Image de couverture de livre

Motion Planning with Metric Temporal Logic Using Reachability Analysis and Hybrid Zonotopes

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Thompson, Andrew F., Robbins, Joshua A., Glunt, Jonah J., Brennan, Sean B., Pangborn, Herschel C.
Format:	Preprint
Publié:	2026
Sujets:	Systems and Control Robotics
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Hybrid System Planning using a Mixed-Integer ADMM Heuristic and Hybrid Zonotopes
par: Robbins, Joshua A., et autres
Publié: (2026)

Energy-Aware Predictive Motion Planning for Autonomous Vehicles Using a Hybrid Zonotope Constraint Representation
par: Robbins, Joshua A., et autres
Publié: (2024)

Mixed-Integer MPC-Based Motion Planning Using Hybrid Zonotopes with Tight Relaxations
par: Robbins, Joshua A., et autres
Publié: (2024)

Reachability Analysis Using Hybrid Zonotopes and Functional Decomposition
par: Siefert, Jacob A., et autres
Publié: (2023)

Shared Situational Awareness Using Hybrid Zonotopes with Confidence Metric
par: Narri, Vandana, et autres
Publié: (2025)

Sharp Hybrid Zonotopes: Set Operations and the Reformulation-linearization Technique
par: Glunt, Jonah J., et autres
Publié: (2025)

Sparsity-Promoting Reachability Analysis and Optimization of Constrained Zonotopes
par: Robbins, Joshua A., et autres
Publié: (2025)

Automated Functional Decomposition for Hybrid Zonotope Over-approximations with Application to LSTM Networks
par: Glunt, Jonah J., et autres
Publié: (2025)

Integration of a Graph-Based Path Planner and Mixed-Integer MPC for Robot Navigation in Cluttered Environments
par: Robbins, Joshua A., et autres
Publié: (2025)

Error Bounds for Compositions of Piecewise Affine Approximations
par: Glunt, Jonah J., et autres
Publié: (2024)

A Model Predictive Control Framework to Enhance Safety and Quality in Mobile Additive Manufacturing Systems
par: Li, Yifei, et autres
Publié: (2025)

Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
par: Ren, Wei, et autres
Publié: (2024)

Feasibility-aware Hybrid Control for Motion Planning under Signal Temporal Logics
par: Rousseas, Panagiotis, et autres
Publié: (2026)

Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis
par: Arfvidsson, Kaj Munhoz, et autres
Publié: (2024)

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
par: Hadjiloizou, Loizos, et autres
Publié: (2024)

Safety Evaluation of Motion Plans Using Trajectory Predictors as Forward Reachable Set Estimators
par: Chakraborty, Kaustav, et autres
Publié: (2025)

Signal Temporal Logic Motion Planning via Graphs of Convex Sets
par: Chen, Yu, et autres
Publié: (2026)

Reachability Analysis Using Constrained Polynomial Logical Zonotopes
par: Hafez, Ahmad, et autres
Publié: (2024)

Feedback Motion Planning for Stochastic Nonlinear Systems with Signal Temporal Logic Specifications
par: Ma, Liqian, et autres
Publié: (2026)

Motion Planning and Control with Unknown Nonlinear Dynamics through Predicted Reachability
par: Zhang, Zhiquan, et autres
Publié: (2025)

Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability
par: Jiang, Frank J., et autres
Publié: (2024)

Bezier Reachable Polytopes: Efficient Certificates for Robust Motion Planning with Layered Architectures
par: Csomay-Shanklin, Noel, et autres
Publié: (2024)

Energy-Aware Integrated Proactive Maintenance Planning and Production Scheduling
par: Li, Hongliang, et autres
Publié: (2026)

Manifold-constrained Hamilton-Jacobi Reachability Learning for Decentralized Multi-Agent Motion Planning
par: Chen, Qingyi, et autres
Publié: (2025)

Hierarchical Motion Planning and Control under Unknown Nonlinear Dynamics via Predicted Reachability
par: Zhang, Zhiquan, et autres
Publié: (2026)

Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes
par: Zhang, Yuhao, et autres
Publié: (2025)

Hamilton-Jacobi Reachability Analysis for Hybrid Systems with Controlled and Forced Transitions
par: Borquez, Javier, et autres
Publié: (2023)

On Safety and Liveness Filtering Using Hamilton-Jacobi Reachability Analysis
par: Borquez, Javier, et autres
Publié: (2023)

Bridging Perception and Planning: Towards End-to-End Planning for Signal Temporal Logic Tasks
par: Ye, Bowen, et autres
Publié: (2025)

Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks
par: Nawaz, Farhad, et autres
Publié: (2024)

SAGAS: Semantic-Aware Graph-Assisted Stitching for Offline Temporal Logic Planning
par: Liu, Ruijia, et autres
Publié: (2025)

Safe Autonomy for Uncrewed Surface Vehicles Using Adaptive Control and Reachability Analysis
par: Mahesh, Karan, et autres
Publié: (2024)

Energy-Aware Model Predictive Control for Batch Manufacturing System Scheduling Under Different Electricity Pricing Strategies
par: Li, Hongliang, et autres
Publié: (2025)

Behavior-Aware Online Prediction of Obstacle Occupancy using Zonotopes
par: Carrizosa-Rendon, Alvaro, et autres
Publié: (2025)

Hybrid Polynomial Zonotopes: A Set Representation for Reachability Analysis in Hybrid Nonaffine Systems
par: Xie, Peng, et autres
Publié: (2025)

Trajectory Planning with Signal Temporal Logic Costs using Deterministic Path Integral Optimization
par: Halder, Patrick, et autres
Publié: (2025)

SDP Synthesis of Distributionally Robust Backward Reachable Trees for Probabilistic Planning
par: Aggarwal, Naman, et autres
Publié: (2024)

Contingency-Aware Planning via Certified Neural Hamilton-Jacobi Reachability
par: Muenprasitivej, Kasidit, et autres
Publié: (2026)

A Survey on Hybrid Motion Planning Methods for Automated Driving Systems
par: Sormoli, MReza Alipour, et autres
Publié: (2024)

Bi-level Model Predictive Control for Energy-aware Integrated Product Pricing and Production Scheduling
par: Li, Hongliang, et autres
Publié: (2025)