Copertina

Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Ren, Wei, Jungers, Raphael M., Dimarogonas, Dimos V.
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Systems and Control Robotics
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis
di: Wiltz, Adrian, et al.
Pubblicazione: (2025)

Efficient Coordination and Synchronization of Multi-Robot Systems Under Recurring Linear Temporal Logic
di: Peron, Davide, et al.
Pubblicazione: (2025)

Decoupled Design of Time-Varying Control Barrier Functions via Equivariances
di: Wiltz, Adrian, et al.
Pubblicazione: (2025)

Conformal Prediction-Based MPC for Stochastic Linear Systems
di: Vogel, Lukas, et al.
Pubblicazione: (2025)

Feasibility Analysis and Constraint Selection in Optimization-Based Controllers
di: Rousseas, Panagiotis, et al.
Pubblicazione: (2025)

Continuous-time control synthesis under nested signal temporal logic specifications
di: Yu, Pian, et al.
Pubblicazione: (2023)

Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts
di: Liu, Siyuan, 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)

Kinodynamic Motion Planning via Funnel Control for Underactuated Unmanned Surface Vehicles
di: Lapandić, Dženan, et al.
Pubblicazione: (2023)

Quality of Control based Resource Dimensioning for Collaborative Edge Robotics
di: Roy, Neelabhro, et al.
Pubblicazione: (2024)

2-D Directed Formation Control Based on Bipolar Coordinates
di: Mehdifar, Farhad, et al.
Pubblicazione: (2021)

Switching control of underactuated multi-channel systems with input constraints for cooperative manipulation
di: Lee, Dongjae, et al.
Pubblicazione: (2025)

Cooperative Manipulation via Internal Force Regulation: A Rigidity Theory Perspective
di: Verginis, Christos K., et al.
Pubblicazione: (2019)

Trajectory Tracking for Multi-Manipulator Systems in Constrained Environments
di: Sewlia, Mayank, et al.
Pubblicazione: (2025)

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

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

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

Intermittent Connectivity Maintenance With Heterogeneous Robots
di: Aragues, Rosario, et al.
Pubblicazione: (2024)

Observer-based Control of Multi-agent Systems under STL Specifications
di: Zaccherini, Tommaso, et al.
Pubblicazione: (2026)

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints
di: Wiltz, Adrian, et al.
Pubblicazione: (2025)

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

Robust Visual Servoing under Human Supervision for Assembly Tasks
di: Fernandez-Ayala, Victor Nan, et al.
Pubblicazione: (2025)

Control of Multi-agent Systems under STL Specifications based on Prescribed Performance Observers
di: Zaccherini, Tommaso, et al.
Pubblicazione: (2026)

Meta-Learning Augmented MPC for Disturbance-Aware Motion Planning and Control of Quadrotors
di: Lapandić, Dženan, et al.
Pubblicazione: (2024)

Agile Temporal Discretization for Symbolic Optimal Control
di: Janssens, Adrien, et al.
Pubblicazione: (2025)

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

On Uniformly Time-Varying Control Barrier Functions
di: Wiltz, Adrian, et al.
Pubblicazione: (2025)

Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications
di: Dang, Thao, 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)

Ternary Logic Encodings of Temporal Behavior Trees with Application to Control Synthesis
di: Matheu, Ryan, et al.
Pubblicazione: (2026)

From Time-Invariant to Uniformly Time-Varying Control Barrier Functions: A Constructive Approach
di: Wiltz, Adrian, et al.
Pubblicazione: (2024)

Risk-Aware Autonomous Driving with Linear Temporal Logic Specifications
di: Qi, Shuhao, et al.
Pubblicazione: (2024)

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

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

MAPS$^2$: Multi-Robot Autonomous Motion Planning under Signal Temporal Logic Specifications
di: Sewlia, Mayank, et al.
Pubblicazione: (2023)

Decentralized Control of Multi-Agent Systems Under Acyclic Spatio-Temporal Task Dependencies
di: Marchesini, Gregorio, et al.
Pubblicazione: (2024)

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)

Conformal Prediction for Distribution-free Optimal Control of Linear Stochastic Systems
di: Vlahakis, Eleftherios E., et al.
Pubblicazione: (2024)

Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications
di: Graebener, Josefine B., et al.
Pubblicazione: (2024)