Cover Image

Security-Aware Planning and Control of Multi-Agent Systems with LTL Tasks

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Mitsos, Georgios, Dimarogonas, Dimos V., Liu, Siyuan
Format:	Preprint
Published:	2026
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

On Approximate Opacity of Stochastic Control Systems
by: Liu, Siyuan, et al.
Published: (2024)

Topology Estimation for Open Multi-Agent Systems
by: Wang, Nana, et al.
Published: (2026)

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

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

Communication-Constrained STL Task Decomposition through Convex Optimization
by: Marchesini, Gregorio, et al.
Published: (2024)

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

Sampling-Based Planning Under STL Specifications: A Forward Invariance Approach
by: Marchesini, Gregorio, et al.
Published: (2025)

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

Corridor MPC for Multi-Agent Inspection of Orbiting Structures
by: Marchesini, Gregorio, et al.
Published: (2024)

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

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

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

Inverse Inference on Cooperative Control of Networked Dynamical Systems
by: Li, Yushan, et al.
Published: (2025)

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

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

Stability of Open Multi-agent Systems over Dynamic Signed Digraphs
by: Sekercioglu, Pelin, et al.
Published: (2026)

Stability of Open Multi-agent Systems over Dynamic Signed Graphs
by: Sekercioglu, Pelin, et al.
Published: (2025)

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

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

Robust Closed-Form Control for MIMO Nonlinear Systems under Conflicting Time-Varying Hard and Soft Constraints (extended version)
by: Mehdifar, Farhad, et al.
Published: (2025)

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

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

Parallelized Robust Distributed Model Predictive Control in the Presence of Coupled State Constraints
by: Wiltz, Adrian, et al.
Published: (2021)

3D Directed Formation Control with Global Shape Convergence using Bispherical Coordinates
by: Mirzaeedodangeh, Omid, et al.
Published: (2024)

Collaborative Satisfaction of Long-Term Spatial Constraints in Multi-Agent Systems: A Distributed Optimization Approach (extended version)
by: Mehdifar, Farhad, et al.
Published: (2025)

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

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

Compressing Correct-by-Design Synthesis for Stochastic Homogeneous Multi-Agent Systems with Counting LTL
by: Qiu, Xinyuan, et al.
Published: (2026)

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

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

Funnel Control Under Hard and Soft Output Constraints (extended version)
by: Mehdifar, Farhad, et al.
Published: (2022)

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

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