Cover Image

Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts

Fuente: arXiv

Saved in:

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

Similar Items

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

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

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

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

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

Preserving Topology Privacy of Network Systems by Feedback: Conditions and Distributed Design
by: Li, Yushan, et al.
Published: (2026)

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

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

Security-Aware Planning and Control of Multi-Agent Systems with LTL Tasks
by: Mitsos, Georgios, et al.
Published: (2026)

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

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

Probabilistic Tube-based Control Synthesis of Stochastic Multi-Agent Systems under Signal Temporal Logic
by: Vlahakis, Eleftherios E., 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)

Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints
by: Ye, Bowen, et al.
Published: (2024)

Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach
by: Monir, Negar, et al.
Published: (2025)

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

Density-Driven Optimal Control: Convergence Guarantees for Stochastic LTI Multi-Agent Systems
by: Lee, Kooktae
Published: (2026)

Collaborative Safe Formation Control for Coupled Multi-Agent Systems
by: Butler, Brooks A., et al.
Published: (2023)

Temporal Logic Resilience for Dynamical Systems
by: Saoud, Adnane, 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)

Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
by: Ren, Wei, et al.
Published: (2024)

Simultaneous Topology Estimation and Synchronization of Dynamical Networks with Time-varying Topology
by: Wang, Nana, et al.
Published: (2024)

Towards Assume-Guarantee Verification of Abilities in Stochastic Multi-Agent Systems
by: Jamroga, Wojciech, et al.
Published: (2025)

Heterogeneous Multi-Agent Task-Assignment with Uncertain Execution Times and Preferences
by: Wei, Qinshuang, et al.
Published: (2025)

Integrating Transit Signal Priority into Multi-Agent Reinforcement Learning based Traffic Signal Control
by: Kwesiga, Dickness Kakitahi, et al.
Published: (2024)

Second Order State Hallucinations for Adversarial Attack Mitigation in Formation Control of Multi-Agent Systems
by: Patel, Laksh, et al.
Published: (2025)

Finite-State Decentralized Policy-Based Control With Guaranteed Ground Coverage
by: Rastgoftar, Hossein
Published: (2026)

Contract-Based Design for Hybrid Dynamical Systems and Invariance Properties
by: Alaoui, Sadek Belamfedel, et al.
Published: (2024)

Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version)
by: Schön, Oliver, et al.
Published: (2025)

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

Hamilton's Rule for Enabling Altruism in Multi-Agent Systems
by: Butler, Brooks A., et al.
Published: (2025)

Modelling and Control of Spatial Behaviours in Multi-Agent Systems with Applications to Biology and Robotics
by: Giusti, Andrea
Published: (2024)

Distributed Non-Uniform Scaling Control of Multi-Agent Formation via Matrix-Valued Constraints
by: He, Tao, et al.
Published: (2025)

Global Task-aware Fault Detection, Identification For On-Orbit Multi-Spacecraft Collaborative Inspection
by: Gupta, Akshita, et al.
Published: (2025)

Collaborative Safety-Critical Control for Dynamically Coupled Networked Systems
by: Butler, Brooks A., et al.
Published: (2023)

Effect of Graph Gluing on Consensus in Networked Multi-Agent Systems
by: Moghadam, Rohollah, et al.
Published: (2026)

Toward Goal-Oriented Communication in Multi-Agent Systems: An overview
by: Charalambous, Themistoklis, et al.
Published: (2025)