Copertina

Ro-To-Go! Robust Reactive Control with Signal Temporal Logic

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Ilyes, Roland, Brudermüller, Lara, Hawes, Nick, Lacerda, Bruno
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

CC-VPSTO: Chance-Constrained Via-Point-Based Stochastic Trajectory Optimisation for Online Robot Motion Planning under Uncertainty
di: Brudermüller, Lara, et al.
Pubblicazione: (2024)

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

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

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

Optimal Planning and Control under Signal Temporal Logic Specifications
di: Pan, Zuodong, et al.
Pubblicazione: (2026)

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

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

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

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

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

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

Robust Pushing: Exploiting Quasi-static Belief Dynamics and Contact-informed Optimization
di: Jankowski, Julius, et al.
Pubblicazione: (2024)

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

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

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

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

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

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

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

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

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

Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts
di: Liu, Siyuan, et al.
Pubblicazione: (2023)

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

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

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

Feasibility-aware Learning of Robust Temporal Logic Controllers using BarrierNet
di: Liu, Wenliang, et al.
Pubblicazione: (2025)

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

Control Barrier Function for Linearizable Systems with High Relative Degrees from Signal Temporal Logics: A Reference Governor Approach
di: Liang, Kaier, et al.
Pubblicazione: (2023)

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

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

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

A Communication Consistent Approach to Signal Temporal Logic Task Decomposition in Multi-Agent Systems
di: Marchesini, Gregorio, et al.
Pubblicazione: (2024)

Fast Robust Monitoring for Signal Temporal Logic with Value Freezing Operators (STL*)
di: Ghorbel, Bassem, et al.
Pubblicazione: (2024)

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

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances
di: Gracia, Ibon, et al.
Pubblicazione: (2024)

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization
di: Riccardi, Alessandro, et al.
Pubblicazione: (2026)

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

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

Integrated Control and Active Perception in POMDPs for Temporal Logic Tasks and Information Acquisition
di: Shi, Chongyang, et al.
Pubblicazione: (2025)

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