Imagen de Portada

Multi-Agent Control Synthesis from Global Temporal Logic Tasks with Synchronous Satisfaction Requirements

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Yang, Tiange, Zou, Yuanyuan, Liu, Jinfeng, Li, Shaoyuan, Zhao, Xiaohu
Formato:	Preprint
Publicado:	2023
Materias:	Systems and Control
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning
por: Wang, Siqi, et al.
Publicado: (2023)

Optimal Control of Markov Decision Processes for Efficiency with Linear Temporal Logic Tasks
por: Chen, Yu, et al.
Publicado: (2024)

Entropy Rate Maximization of Markov Decision Processes under Linear Temporal Logic Tasks
por: Chen, Yu, et al.
Publicado: (2022)

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

Self-Triggered Distributed Model Predictive Control with Synchronization Parameters Interaction
por: Chen, Qianqian, et al.
Publicado: (2024)

Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis
por: Chen, Yu, et al.
Publicado: (2025)

Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction
por: Yu, Xinyi, et al.
Publicado: (2023)

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

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

Distributed Model Predictive Control for Asynchronous Multi-agent Systems with Self-Triggered Coordinator
por: Chen, Qianqian, et al.
Publicado: (2024)

A Stackelberg Game Approach for Signal Temporal Logic Control Synthesis with Uncontrollable Agents
por: Cui, Bohan, et al.
Publicado: (2025)

SPARC: Prediction-Based Safe Control for Coupled Controllable and Uncontrollable Agents with Conformal Predictions
por: Wang, Shuqi, et al.
Publicado: (2024)

Distributionally Robust Control Synthesis for Stochastic Systems with Safety and Reach-Avoid Specifications
por: Chen, Yu, et al.
Publicado: (2025)

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

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

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

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

Integrated Control and Active Perception in POMDPs for Temporal Logic Tasks and Information Acquisition
por: Shi, Chongyang, et al.
Publicado: (2025)

Resilient and Effort-Optimal Controller Synthesis under Temporal Logic Specifications
por: Si, Youssef Ait, et al.
Publicado: (2026)

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

Capability Augmentation for Heterogeneous Dynamic Teaming with Temporal Logic Tasks
por: Berlind, Carter, et al.
Publicado: (2024)

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

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

Task and Motion Planning of Dynamic Systems using Hyperproperties for Signal Temporal Logics
por: Zhao, Jianing, et al.
Publicado: (2025)

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

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

A Game-Theoretical Approach for Optimal Supervisory Control of Discrete Event Systems under Energy Constraints
por: Lv, Peng, et al.
Publicado: (2024)

Control Barrier Functions for the Full Class of Signal Temporal Logic Tasks using Spatiotemporal Tubes
por: Das, Ratnangshu, et al.
Publicado: (2025)

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

Spatiotemporal Tubes based Control of Unknown Multi-Agent Systems for Temporal Reach-Avoid-Stay Tasks
por: Basu, Ahan, et al.
Publicado: (2025)

Optimal Pinning Control for Synchronization over Temporal Networks
por: S, Aandrew Baggio, et al.
Publicado: (2024)

Multi-Task Learning for Few-Shot Online Adaptation under Signal Temporal Logic Specifications
por: Arias, Andres, et al.
Publicado: (2024)

An Application of Model Reference Adaptive Control for Multi-Agent Synchronization in Drone Networks
por: Arevalo-Castiblanco, Miguel F., et al.
Publicado: (2024)

Submodular Multi-Agent Policy Learning for Online Distributed Task Allocation in Open Multi-Agent Systems
por: Liu, Jing, et al.
Publicado: (2026)

Bridging Perception and Planning: Towards End-to-End Planning for Signal Temporal Logic Tasks
por: Ye, Bowen, et al.
Publicado: (2025)

Distributed Observers with Dynamic Event-Triggered Communication
por: Liu, Yiyang, et al.
Publicado: (2026)

Signal Temporal Logic Verification and Synthesis Using Deep Reachability Analysis and Layered Control Architecture
por: Choi, Joonwon, et al.
Publicado: (2026)

Maximally Resilient Controllers under Temporal Logic Specifications
por: Si, Youssef Ait, et al.
Publicado: (2025)

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