Imagen de Portada

Optimal Planning and Control under Signal Temporal Logic Specifications

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Pan, Zuodong, Fang, Xu, Ren, Wei
Formato:	Preprint
Publicado:	2026
Materias:	Systems and Control
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Resilient and Effort-Optimal Controller Synthesis under Temporal Logic Specifications
por: Si, Youssef Ait, et al.
Publicado: (2026)

Disturbance Rejection Control under Nested Signal Temporal Logic Specifications: A Recursive Design Approach
por: Peng, Yuzhang, et al.
Publicado: (2026)

Continuous-Time Control Synthesis for Multiple Quadrotors under Signal Temporal Logic Specifications
por: Yuan, Yating, et al.
Publicado: (2025)

Maximally Resilient Controllers under Temporal Logic Specifications
por: Si, Youssef Ait, et al.
Publicado: (2025)

Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications
por: Kordabad, Arash Bahari, et al.
Publicado: (2024)

Clustering-based Recurrent Neural Network Controller synthesis under Signal Temporal Logic Specifications
por: Serizawa, Kazunobu, et al.
Publicado: (2025)

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

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

Feedback Motion Planning for Stochastic Nonlinear Systems with Signal Temporal Logic Specifications
por: Ma, Liqian, et al.
Publicado: (2026)

Conformal Data-driven Control of Stochastic Multi-Agent Systems under Collaborative Signal Temporal Logic Specifications
por: Vlahakis, Eleftherios E., et al.
Publicado: (2025)

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

Approximation-free Control for Signal Temporal Logic Specifications using Spatiotemporal Tubes
por: Das, Ratnangshu, et al.
Publicado: (2025)

Neural Control Barrier Functions for Signal Temporal Logic Specifications with Input Constraints
por: Jagabathula, Vaishnavi, et al.
Publicado: (2025)

Time-Robust Path Planning with Piece-Wise Linear Trajectory for Signal Temporal Logic Specifications
por: Le, Nhan-Khanh, et al.
Publicado: (2024)

Energetic Resilience under Temporal Logic Specifications
por: Das, Ratnangshu, et al.
Publicado: (2026)

Multi-Task Learning for Few-Shot Online Adaptation under Signal Temporal Logic Specifications
por: Arias, Andres, et al.
Publicado: (2024)

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

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

Ro-To-Go! Robust Reactive Control with Signal Temporal Logic
por: Ilyes, Roland, et al.
Publicado: (2025)

Task and Motion Planning of Dynamic Systems using Hyperproperties for Signal Temporal Logics
por: Zhao, Jianing, et al.
Publicado: (2025)

Probabilistic Tube-based Control Synthesis of Stochastic Multi-Agent Systems under Signal Temporal Logic
por: Vlahakis, Eleftherios E., et al.
Publicado: (2024)

Distributed Sequential Receding Horizon Control of Multi-Agent Systems under Recurring Signal Temporal Logic
por: Vlahakis, Eleftherios E., et al.
Publicado: (2023)

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

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

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

SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications
por: Baheri, Ali, et al.
Publicado: (2025)

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

A Framework for Motion Planning with Temporal Logic Precedence Specifications via Augmented Graphs of Convex Sets
por: You, Shilin, et al.
Publicado: (2026)

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

Optimal Control of Markov Decision Processes for Efficiency with Linear Temporal Logic Tasks
por: Chen, Yu, et al.
Publicado: (2024)

Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction
por: Yu, Xinyi, et al.
Publicado: (2023)

A Stackelberg Game Approach for Signal Temporal Logic Control Synthesis with Uncontrollable Agents
por: Cui, Bohan, et al.
Publicado: (2025)

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

Generalization of Compositional Tasks with Logical Specification via Implicit Planning
por: Xu, Duo, et al.
Publicado: (2024)

Runtime Enforcement of CPS against Signal Temporal Logic
por: Su, Han, et al.
Publicado: (2025)

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

Signal Temporal Logic Verification and Synthesis Using Deep Reachability Analysis and Layered Control Architecture
por: Choi, Joonwon, et al.
Publicado: (2026)

Control Barrier Functions for the Full Class of Signal Temporal Logic Tasks using Spatiotemporal Tubes
por: Das, Ratnangshu, et al.
Publicado: (2025)

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

Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning
por: Wang, Siqi, et al.
Publicado: (2023)