Buchumschlag

Sampling-Based Planning Under STL Specifications: A Forward Invariance Approach

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Marchesini, Gregorio, Liu, Siyuan, Lindemann, Lars, Dimarogonas, Dimos V.
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Systems and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Communication-Constrained STL Task Decomposition through Convex Optimization
von: Marchesini, Gregorio, et al.
Veröffentlicht: (2024)

Decentralized Control of Multi-Agent Systems Under Acyclic Spatio-Temporal Task Dependencies
von: Marchesini, Gregorio, et al.
Veröffentlicht: (2024)

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

Observer-based Control of Multi-agent Systems under STL Specifications
von: Zaccherini, Tommaso, et al.
Veröffentlicht: (2026)

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

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

Control of Nonlinear Systems Under Multiple Time-Varying Output Constraints: A Single Funnel Approach
von: Mehdifar, Farhad, et al.
Veröffentlicht: (2023)

Corridor MPC for Multi-Agent Inspection of Orbiting Structures
von: Marchesini, Gregorio, et al.
Veröffentlicht: (2024)

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

Security-Aware Planning and Control of Multi-Agent Systems with LTL Tasks
von: Mitsos, Georgios, et al.
Veröffentlicht: (2026)

Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications
von: Kordabad, Arash Bahari, et al.
Veröffentlicht: (2024)

Communication-aware Multi-agent Systems Control Based on $k$-hop Distributed Observers
von: Zaccherini, Tommaso, et al.
Veröffentlicht: (2025)

Robust Estimation and Control for Heterogeneous Multi-agent Systems Based on Decentralized k-hop Prescribed Performance Observers
von: Zaccherini, Tommaso, et al.
Veröffentlicht: (2025)

Conformal Prediction for Distribution-free Optimal Control of Linear Stochastic Systems
von: Vlahakis, Eleftherios E., et al.
Veröffentlicht: (2024)

Low-Complexity Control for a Class of Uncertain MIMO Nonlinear Systems under Generalized Time-Varying Output Constraints (extended version)
von: Mehdifar, Farhad, et al.
Veröffentlicht: (2024)

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

Risk-Aware Real-Time Task Allocation for Stochastic Multi-Agent Systems under STL Specifications
von: Engelaar, Maico H. W., et al.
Veröffentlicht: (2024)

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

Multi-Agent Temporal Logic Planning via Penalty Functions and Block-Coordinate Optimization
von: Vlahakis, Eleftherios E., et al.
Veröffentlicht: (2026)

From Time-Invariant to Uniformly Time-Varying Control Barrier Functions: A Constructive Approach
von: Wiltz, Adrian, et al.
Veröffentlicht: (2024)

Feasibility-aware Hybrid Control for Motion Planning under Signal Temporal Logics
von: Rousseas, Panagiotis, et al.
Veröffentlicht: (2026)

A Consistency Constraint-Based Approach to Coupled State Constraints in Distributed Model Predictive Control
von: Wiltz, Adrian, et al.
Veröffentlicht: (2022)

On Approximate Opacity of Stochastic Control Systems
von: Liu, Siyuan, et al.
Veröffentlicht: (2024)

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

On Uniformly Time-Varying Control Barrier Functions
von: Wiltz, Adrian, et al.
Veröffentlicht: (2025)

A Note on an Upper-Bound for the Sum of a Class K and an Extended Class K Function
von: Wiltz, Adrian, et al.
Veröffentlicht: (2024)

Funnel Control Under Hard and Soft Output Constraints (extended version)
von: Mehdifar, Farhad, et al.
Veröffentlicht: (2022)

Data-Driven Distributionally Robust Control for Interacting Agents under Logical Constraints
von: Kordabad, Arash Bahari, et al.
Veröffentlicht: (2025)

Resistant Topology Inference in Consensus Networks: A Feedback-Based Design
von: Li, Yushan, et al.
Veröffentlicht: (2025)

Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
von: Ren, Wei, et al.
Veröffentlicht: (2024)

An Operator-Based Approach to STL
von: Rousseas, Panagiotis, et al.
Veröffentlicht: (2026)

Decoupled Design of Time-Varying Control Barrier Functions via Equivariances
von: Wiltz, Adrian, et al.
Veröffentlicht: (2025)

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis
von: Wiltz, Adrian, et al.
Veröffentlicht: (2025)

ADMM-Based Distributed Kalman-like Observer with Applications to Cooperative Localization
von: De Carli, Nicola, et al.
Veröffentlicht: (2026)

A contract negotiation scheme for safety verification of interconnected systems
von: Tan, Xiao, et al.
Veröffentlicht: (2023)

Inverse Inference on Cooperative Control of Networked Dynamical Systems
von: Li, Yushan, et al.
Veröffentlicht: (2025)

Feasibility Analysis and Constraint Selection in Optimization-Based Controllers
von: Rousseas, Panagiotis, et al.
Veröffentlicht: (2025)

Stability of Open Multi-agent Systems over Dynamic Signed Graphs
von: Sekercioglu, Pelin, et al.
Veröffentlicht: (2025)

Topology Estimation for Open Multi-Agent Systems
von: Wang, Nana, et al.
Veröffentlicht: (2026)

Tunable Input-to-State Safety with Input Constraints
von: Li, Ming, et al.
Veröffentlicht: (2026)