Feasibility-aware Hybrid Control for Motion Planning under Signal Temporal Logics
Fuente:
arXiv
Saved in:
| Main Authors: | Rousseas, Panagiotis, Dimarogonas, Dimos V. |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Feasibility Analysis and Constraint Selection in Optimization-Based Controllers
by: Rousseas, Panagiotis, et al.
Published: (2025)
by: Rousseas, Panagiotis, et al.
Published: (2025)
Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
by: Ren, Wei, et al.
Published: (2024)
by: Ren, Wei, et al.
Published: (2024)
An Operator-Based Approach to STL
by: Rousseas, Panagiotis, et al.
Published: (2026)
by: Rousseas, Panagiotis, et al.
Published: (2026)
Kinodynamic Motion Planning via Funnel Control for Underactuated Unmanned Surface Vehicles
by: Lapandić, Dženan, et al.
Published: (2023)
by: Lapandić, Dženan, et al.
Published: (2023)
Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis
by: Wiltz, Adrian, et al.
Published: (2025)
by: Wiltz, Adrian, et al.
Published: (2025)
Decoupled Design of Time-Varying Control Barrier Functions via Equivariances
by: Wiltz, Adrian, et al.
Published: (2025)
by: Wiltz, Adrian, et al.
Published: (2025)
Meta-Learning Augmented MPC for Disturbance-Aware Motion Planning and Control of Quadrotors
by: Lapandić, Dženan, et al.
Published: (2024)
by: Lapandić, Dženan, et al.
Published: (2024)
Efficient Coordination and Synchronization of Multi-Robot Systems Under Recurring Linear Temporal Logic
by: Peron, Davide, et al.
Published: (2025)
by: Peron, Davide, et al.
Published: (2025)
Continuous-time control synthesis under nested signal temporal logic specifications
by: Yu, Pian, et al.
Published: (2023)
by: Yu, Pian, et al.
Published: (2023)
Distributed Sequential Receding Horizon Control of Multi-Agent Systems under Recurring Signal Temporal Logic
by: Vlahakis, Eleftherios E., et al.
Published: (2023)
by: Vlahakis, Eleftherios E., et al.
Published: (2023)
Conformal Data-driven Control of Stochastic Multi-Agent Systems under Collaborative Signal Temporal Logic Specifications
by: Vlahakis, Eleftherios E., et al.
Published: (2025)
by: Vlahakis, Eleftherios E., et al.
Published: (2025)
Feasibility Evaluation of Quadratic Programs for Constrained Control
by: Rousseas, Panagiotis, et al.
Published: (2025)
by: Rousseas, Panagiotis, et al.
Published: (2025)
MAPS$^2$: Multi-Robot Autonomous Motion Planning under Signal Temporal Logic Specifications
by: Sewlia, Mayank, et al.
Published: (2023)
by: Sewlia, Mayank, et al.
Published: (2023)
Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts
by: Liu, Siyuan, et al.
Published: (2023)
by: Liu, Siyuan, et al.
Published: (2023)
Probabilistic Tube-based Control Synthesis of Stochastic Multi-Agent Systems under Signal Temporal Logic
by: Vlahakis, Eleftherios E., et al.
Published: (2024)
by: Vlahakis, Eleftherios E., et al.
Published: (2024)
Signal Temporal Logic Motion Planning via Graphs of Convex Sets
by: Chen, Yu, et al.
Published: (2026)
by: Chen, Yu, et al.
Published: (2026)
Robust Visual Servoing under Human Supervision for Assembly Tasks
by: Fernandez-Ayala, Victor Nan, et al.
Published: (2025)
by: Fernandez-Ayala, Victor Nan, et al.
Published: (2025)
Switching control of underactuated multi-channel systems with input constraints for cooperative manipulation
by: Lee, Dongjae, et al.
Published: (2025)
by: Lee, Dongjae, et al.
Published: (2025)
Cooperative Manipulation via Internal Force Regulation: A Rigidity Theory Perspective
by: Verginis, Christos K., et al.
Published: (2019)
by: Verginis, Christos K., et al.
Published: (2019)
Trajectory Tracking for Multi-Manipulator Systems in Constrained Environments
by: Sewlia, Mayank, et al.
Published: (2025)
by: Sewlia, Mayank, et al.
Published: (2025)
Feedback Motion Planning for Stochastic Nonlinear Systems with Signal Temporal Logic Specifications
by: Ma, Liqian, et al.
Published: (2026)
by: Ma, Liqian, et al.
Published: (2026)
Multirotor Nonlinear Model Predictive Control based on Visual Servoing of Evolving Features
by: Aspragkathos, Sotirios N., et al.
Published: (2024)
by: Aspragkathos, Sotirios N., et al.
Published: (2024)
Motion Planning with Metric Temporal Logic Using Reachability Analysis and Hybrid Zonotopes
by: Thompson, Andrew F., et al.
Published: (2026)
by: Thompson, Andrew F., et al.
Published: (2026)
2-D Directed Formation Control Based on Bipolar Coordinates
by: Mehdifar, Farhad, et al.
Published: (2021)
by: Mehdifar, Farhad, et al.
Published: (2021)
Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications
by: Kordabad, Arash Bahari, et al.
Published: (2024)
by: Kordabad, Arash Bahari, et al.
Published: (2024)
Intermittent Connectivity Maintenance With Heterogeneous Robots
by: Aragues, Rosario, et al.
Published: (2024)
by: Aragues, Rosario, et al.
Published: (2024)
Quality of Control based Resource Dimensioning for Collaborative Edge Robotics
by: Roy, Neelabhro, et al.
Published: (2024)
by: Roy, Neelabhro, et al.
Published: (2024)
Conformal Prediction-Based MPC for Stochastic Linear Systems
by: Vogel, Lukas, et al.
Published: (2025)
by: Vogel, Lukas, et al.
Published: (2025)
A Communication Consistent Approach to Signal Temporal Logic Task Decomposition in Multi-Agent Systems
by: Marchesini, Gregorio, et al.
Published: (2024)
by: Marchesini, Gregorio, et al.
Published: (2024)
Bridging Perception and Planning: Towards End-to-End Planning for Signal Temporal Logic Tasks
by: Ye, Bowen, et al.
Published: (2025)
by: Ye, Bowen, 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)
by: Liu, Ruijia, et al.
Published: (2026)
Communication-aware Multi-agent Systems Control Based on $k$-hop Distributed Observers
by: Zaccherini, Tommaso, et al.
Published: (2025)
by: Zaccherini, Tommaso, et al.
Published: (2025)
Safe and Dynamically-Feasible Motion Planning using Control Lyapunov and Barrier Functions
by: Mestres, Pol, et al.
Published: (2024)
by: Mestres, Pol, et al.
Published: (2024)
Trajectory Planning with Signal Temporal Logic Costs using Deterministic Path Integral Optimization
by: Halder, Patrick, et al.
Published: (2025)
by: Halder, Patrick, et al.
Published: (2025)
On Uniformly Time-Varying Control Barrier Functions
by: Wiltz, Adrian, et al.
Published: (2025)
by: Wiltz, Adrian, et al.
Published: (2025)
Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks
by: Nawaz, Farhad, et al.
Published: (2024)
by: Nawaz, Farhad, et al.
Published: (2024)
Security-Aware Planning and Control of Multi-Agent Systems with LTL Tasks
by: Mitsos, Georgios, et al.
Published: (2026)
by: Mitsos, Georgios, et al.
Published: (2026)
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints
by: Wiltz, Adrian, et al.
Published: (2025)
by: Wiltz, Adrian, et al.
Published: (2025)
Observer-based Control of Multi-agent Systems under STL Specifications
by: Zaccherini, Tommaso, et al.
Published: (2026)
by: Zaccherini, Tommaso, et al.
Published: (2026)
Probabilistic Recursively Feasible Motion Planning Under Uncertain Environments
by: Sung, Hyeontae, et al.
Published: (2026)
by: Sung, Hyeontae, et al.
Published: (2026)
Similar Items
-
Feasibility Analysis and Constraint Selection in Optimization-Based Controllers
by: Rousseas, Panagiotis, et al.
Published: (2025) -
Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
by: Ren, Wei, et al.
Published: (2024) -
An Operator-Based Approach to STL
by: Rousseas, Panagiotis, et al.
Published: (2026) -
Kinodynamic Motion Planning via Funnel Control for Underactuated Unmanned Surface Vehicles
by: Lapandić, Dženan, et al.
Published: (2023) -
Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis
by: Wiltz, Adrian, et al.
Published: (2025)