:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Yang, Tiange, Zou, Yuanyuan, Liu, Jinfeng, Li, Shaoyuan, Zhao, Xiaohu
Format:	Preprint
Published:	2023
Subjects:	Systems and Control
Online Access:	https://arxiv.org/abs/2309.11477
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

Distributed Model Predictive Control for Asynchronous Multi-agent Systems with Self-Triggered Coordinator
by: Chen, Qianqian, 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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Distributed Model Predictive Control for Energy and Comfort Optimization in Large Buildings Using Piecewise Affine Approximation
by: Li, Hongyi, et al.
Published: (2026)

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