Cover Image

Feedback Motion Planning for Stochastic Nonlinear Systems with Signal Temporal Logic Specifications

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ma, Liqian, Liu, Zishun, Chou, Glen, Chen, Yongxin
Format:	Preprint
Published:	2026
Subjects:	Robotics Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications
by: Ma, Liqian, et al.
Published: (2025)

Model Predictive Control with High-Probability Safety Guarantee for Nonlinear Stochastic Systems
by: Liu, Zishun, et al.
Published: (2025)

Trajectory Optimization of Stochastic Systems under Chance Constraints via Set Erosion
by: Liu, Zishun, et al.
Published: (2025)

Concentration of Stochastic System Trajectories with Time-varying Contraction Conditions
by: Liu, Zishun, et al.
Published: (2026)

Signal Temporal Logic Motion Planning via Graphs of Convex Sets
by: Chen, Yu, et al.
Published: (2026)

Probabilistic Reachability of Discrete-Time Nonlinear Stochastic Systems
by: Liu, Zishun, et al.
Published: (2024)

Feasibility-aware Hybrid Control for Motion Planning under Signal Temporal Logics
by: Rousseas, Panagiotis, et al.
Published: (2026)

Safety Verification of Nonlinear Stochastic Systems via Probabilistic Tube
by: Liu, Zishun, et al.
Published: (2025)

DAG-STL: A Hierarchical Framework for Zero-Shot Trajectory Planning under Signal Temporal Logic Specifications
by: Liu, Ruijia, et al.
Published: (2026)

Safe Large-Scale Robust Nonlinear MPC in Milliseconds via Reachability-Constrained System Level Synthesis on the GPU
by: Fang, Jeffrey, et al.
Published: (2026)

Bridging Perception and Planning: Towards End-to-End Planning for Signal Temporal Logic Tasks
by: Ye, Bowen, et al.
Published: (2025)

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
by: Kapoor, Parv, et al.
Published: (2024)

Probabilistic Reachability Analysis of Stochastic Control Systems
by: Jafarpour, Saber, et al.
Published: (2024)

Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications
by: Dang, Thao, et al.
Published: (2024)

Motion Planning with Metric Temporal Logic Using Reachability Analysis and Hybrid Zonotopes
by: Thompson, Andrew F., et al.
Published: (2026)

Safety Verification of Stochastic Systems: A Set-Erosion Approach
by: Liu, Zishun, et al.
Published: (2024)

Trajectory Planning with Signal Temporal Logic Costs using Deterministic Path Integral Optimization
by: Halder, Patrick, et al.
Published: (2025)

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

On the Feedback Law in Stochastic Optimal Nonlinear Control
by: Mohamed, Mohamed Naveed Gul, et al.
Published: (2020)

LLM-Enabled Low-Altitude UAV Natural Language Navigation via Signal Temporal Logic Specification Translation and Repair
by: Ping, Yuqi, et al.
Published: (2026)

Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers
by: Shen, Keyi, et al.
Published: (2026)

STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems
by: Yang, Shuo, et al.
Published: (2024)

Data-Driven Adversarial Online Control for Unknown Linear Systems
by: Liu, Zishun, et al.
Published: (2023)

Zero-Shot Trajectory Planning for Signal Temporal Logic Tasks
by: Liu, Ruijia, et al.
Published: (2025)

Data-Driven Motion Planning for Uncertain Nonlinear Systems
by: Esmaeili, Babak, et al.
Published: (2025)

SAGAS: Semantic-Aware Graph-Assisted Stitching for Offline Temporal Logic Planning
by: Liu, Ruijia, et al.
Published: (2025)

Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
by: Ren, Wei, et al.
Published: (2024)

Discretionary Lane-Change Decision and Control via Parameterized Soft Actor-Critic for Hybrid Action Space
by: Lin, Yuan, et al.
Published: (2024)

iPolicy: Incremental Policy Algorithms for Feedback Motion Planning
by: Zhao, Guoxiang, et al.
Published: (2024)

Scalable Multi-Robot Task Allocation and Coordination under Signal Temporal Logic Specifications
by: Liu, Wenliang, et al.
Published: (2025)

Safety Beyond the Training Data: Robust Out-of-Distribution MPC via Conformalized System Level Synthesis
by: Srinivasan, Anutam, et al.
Published: (2026)

Score Matching Diffusion Based Feedback Control and Planning of Nonlinear Systems
by: Elamvazhuthi, Karthik, et al.
Published: (2025)

Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks
by: Nawaz, Farhad, et al.
Published: (2024)

Safety Verification and Navigation for Autonomous Vehicles based on Signal Temporal Logic Constraints
by: Parameshwaran, Aditya, et al.
Published: (2024)

STLCCP: Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications
by: Takayama, Yoshinari, et al.
Published: (2023)

Motion Planning and Control with Unknown Nonlinear Dynamics through Predicted Reachability
by: Zhang, Zhiquan, et al.
Published: (2025)

RRT* Based Optimal Trajectory Generation with Linear Temporal Logic Specifications under Kinodynamic Constraints
by: Gautam, Saksham, et al.
Published: (2024)

Deep Reinforcement Learning Graphs: Feedback Motion Planning via Neural Lyapunov Verification
by: Ghanbarzadeh, Armin, et al.
Published: (2023)

Hierarchical Motion Planning and Control under Unknown Nonlinear Dynamics via Predicted Reachability
by: Zhang, Zhiquan, et al.
Published: (2026)

Safe and Stable Neural Network Dynamical Systems for Robot Motion Planning
by: Binny, Allen Emmanuel, et al.
Published: (2025)