:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Cui, Bohan, Yu, Xinyi, Giua, Alessandro, Yin, Xiang
Format:	Preprint
Published:	2025
Subjects:	Systems and Control
Online Access:	https://arxiv.org/abs/2502.14585
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

On Prediction-Based Properties of Discrete-Event Systems: Notions, Applications and Supervisor Synthesis
by: Cui, Bohan, et al.
Published: (2025)

Opacity Enforcing Supervisory Control with a Priori Unknown Supervisors
by: Cui, Bohan, et al.
Published: (2026)

A Nonlinear Perron-Frobenius Approach for Stability and Consensus of Discrete-Time Multi-Agent Systems
by: Deplano, Diego, et al.
Published: (2019)

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

Certificates Synthesis for A Class of Observational Properties in Stochastic Systems: A Unified Approach
by: Cui, Bohan, et al.
Published: (2026)

Dynamic Max-Consensus and Size Estimation of Anonymous Multi-Agent Networks
by: Deplano, Diego, et al.
Published: (2020)

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

Novel Stability Conditions for Nonlinear Monotone Systems and Consensus in Multi-Agent Networks
by: Deplano, Diego, et al.
Published: (2023)

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

Algebraic Connectivity Control and Maintenance in Multi-Agent Networks under Attack
by: Zhao, Wenjie, et al.
Published: (2024)

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

Chance-Constrained Neural MPC under Uncontrollable Agents via Sequential Convex Programming
by: Wang, Shuqi, et al.
Published: (2025)

Signal Temporal Logic Motion Planning via Graphs of Convex Sets
by: Chen, Yu, et al.
Published: (2026)

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

Optimal Control of Markov Decision Processes for Efficiency with Linear Temporal Logic Tasks
by: Chen, Yu, 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)

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

DAG-STL: A Hierarchical Framework for Zero-Shot Trajectory Planning under Signal Temporal Logic Specifications
by: Liu, Ruijia, et al.
Published: (2026)

Zero-Shot Trajectory Planning for Signal Temporal Logic Tasks
by: Liu, Ruijia, et al.
Published: (2025)

Distributed Safety Critical Control among Uncontrollable Agents Using Reconstructed Control Barrier Functions
by: Peng, Yuzhang, et al.
Published: (2026)

Probabilistic State Estimation of Timed Probabilistic Discrete Event Systems via Artificial Neural Networks [Draft Version]
by: Amri, Omar, et al.
Published: (2025)

Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints
by: Ye, Bowen, 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)

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

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

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

On Epistemic Properties in Discrete-Event Systems: A Uniform Framework and Its Applications
by: Cui, Bohan, et al.
Published: (2024)

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

Disturbance Rejection Control under Nested Signal Temporal Logic Specifications: A Recursive Design Approach
by: Peng, Yuzhang, et al.
Published: (2026)

Ro-To-Go! Robust Reactive Control with Signal Temporal Logic
by: Ilyes, Roland, et al.
Published: (2025)

Optimal Planning and Control under Signal Temporal Logic Specifications
by: Pan, Zuodong, 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)

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

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization
by: Riccardi, Alessandro, et al.
Published: (2026)

A Stackelberg Game of Demand Response from the Aggregator's Perspective
by: Khe, Seangleng, et al.
Published: (2025)

Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
by: Gu, Chao, et al.
Published: (2020)

Multi-Agent Control Synthesis from Global Temporal Logic Tasks with Synchronous Satisfaction Requirements
by: Yang, Tiange, et al.
Published: (2023)

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

Differentiable Bilevel Programming for Stackelberg Congestion Games
by: Li, Jiayang, et al.
Published: (2022)