Saved in:
| Main Authors: | Wang, Shuqi, Wang, Siqi, Li, Shaoyuan, Yin, Xiang |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2410.15660 |
| 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)
by: Yu, Xinyi, et al.
Published: (2023)
Chance-Constrained Neural MPC under Uncontrollable Agents via Sequential Convex Programming
by: Wang, Shuqi, et al.
Published: (2025)
by: Wang, Shuqi, et al.
Published: (2025)
Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning
by: Wang, Siqi, et al.
Published: (2023)
by: Wang, Siqi, et al.
Published: (2023)
A Stackelberg Game Approach for Signal Temporal Logic Control Synthesis with Uncontrollable Agents
by: Cui, Bohan, et al.
Published: (2025)
by: Cui, Bohan, et al.
Published: (2025)
Self-Triggered Distributed Model Predictive Control with Synchronization Parameters Interaction
by: Chen, Qianqian, et al.
Published: (2024)
by: Chen, Qianqian, et al.
Published: (2024)
Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis
by: Chen, Yu, et al.
Published: (2025)
by: Chen, Yu, 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)
by: Lv, Peng, et al.
Published: (2024)
Distributed Model Predictive Control for Asynchronous Multi-agent Systems with Self-Triggered Coordinator
by: Chen, Qianqian, et al.
Published: (2024)
by: Chen, Qianqian, et al.
Published: (2024)
Optimal Control of Markov Decision Processes for Efficiency with Linear Temporal Logic Tasks
by: Chen, Yu, et al.
Published: (2024)
by: Chen, Yu, et al.
Published: (2024)
Distributionally Robust Control Synthesis for Stochastic Systems with Safety and Reach-Avoid Specifications
by: Chen, Yu, et al.
Published: (2025)
by: Chen, Yu, et al.
Published: (2025)
Distributed Safety Critical Control among Uncontrollable Agents Using Reconstructed Control Barrier Functions
by: Peng, Yuzhang, et al.
Published: (2026)
by: Peng, Yuzhang, et al.
Published: (2026)
Safe Data-Driven Predictive Control
by: Vahidi-Moghaddam, Amin, et al.
Published: (2025)
by: Vahidi-Moghaddam, Amin, et al.
Published: (2025)
Convex Model Predictive Control for Safe Output Consensus of Nonlinear Multi-Agent Systems
by: Wang, Chao, et al.
Published: (2026)
by: Wang, Chao, et al.
Published: (2026)
Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints
by: Ye, Bowen, et al.
Published: (2024)
by: Ye, Bowen, et al.
Published: (2024)
DeepSafeMPC: Deep Learning-Based Model Predictive Control for Safe Multi-Agent Reinforcement Learning
by: Wang, Xuefeng, et al.
Published: (2024)
by: Wang, Xuefeng, et al.
Published: (2024)
Collaborative Safe Formation Control for Coupled Multi-Agent Systems
by: Butler, Brooks A., et al.
Published: (2023)
by: Butler, Brooks A., et al.
Published: (2023)
On the Computation and Approximation of Backward Reachable Sets for Max-Plus Linear Systems using Polyhedras
by: Li, Yuda, et al.
Published: (2026)
by: Li, Yuda, et al.
Published: (2026)
Entropy Rate Maximization of Markov Decision Processes under Linear Temporal Logic Tasks
by: Chen, Yu, et al.
Published: (2022)
by: Chen, Yu, et al.
Published: (2022)
Stability Verification for Switched Systems using Neural Multiple Lyapunov Functions
by: Huang, Junyue, et al.
Published: (2026)
by: Huang, Junyue, et al.
Published: (2026)
On the Construction of Barrier Certificate: A Dynamic Programming Perspective
by: Chen, Yu, et al.
Published: (2025)
by: Chen, Yu, et al.
Published: (2025)
Formal Verification and Control with Conformal Prediction
by: Lindemann, Lars, et al.
Published: (2024)
by: Lindemann, Lars, et al.
Published: (2024)
Stochastic Model Predictive Control of Charging Energy Hubs with Conformal Prediction
by: Fernández-Zapico, Diego, et al.
Published: (2025)
by: Fernández-Zapico, Diego, et al.
Published: (2025)
Safe Adaptive Cruise Control Under Perception Uncertainty: A Deep Ensemble and Conformal Tube Model Predictive Control Approach
by: Li, Xiao, et al.
Published: (2024)
by: Li, Xiao, et al.
Published: (2024)
Multi-Agent Control Synthesis from Global Temporal Logic Tasks with Synchronous Satisfaction Requirements
by: Yang, Tiange, et al.
Published: (2023)
by: Yang, Tiange, et al.
Published: (2023)
Does Optimal Control Always Benefit from Better Prediction? An Analysis Framework for Predictive Optimal Control
by: Zeng, Xiangrui, et al.
Published: (2024)
by: Zeng, Xiangrui, et al.
Published: (2024)
On Epistemic Properties in Discrete-Event Systems: A Uniform Framework and Its Applications
by: Cui, Bohan, et al.
Published: (2024)
by: Cui, Bohan, et al.
Published: (2024)
Tube-Based Robust Data-Driven Predictive Control
by: Wang, Chi, et al.
Published: (2026)
by: Wang, Chi, et al.
Published: (2026)
Safe Decentralized Multi-Agent Control using Black-Box Predictors, Conformal Decision Policies, and Control Barrier Functions
by: Huriot, Sacha, et al.
Published: (2024)
by: Huriot, Sacha, et al.
Published: (2024)
Output-Feedback Safe Control of Discrete-Time Stochastic Systems with Chance Constraints
by: Zhao, Jianing, et al.
Published: (2026)
by: Zhao, Jianing, et al.
Published: (2026)
VH-Diffuser: Variable Horizon Diffusion Planner for Time-Aware Goal-Conditioned Trajectory Planning
by: Liu, Ruijia, et al.
Published: (2025)
by: Liu, Ruijia, et al.
Published: (2025)
Predicted-Flow Control Barrier Functions for Real-Time Safe Optimal Control
by: Safari, Amirsaeid, et al.
Published: (2026)
by: Safari, Amirsaeid, et al.
Published: (2026)
Alternating Direction Method of Multipliers-Based Parallel Optimization for Multi-Agent Collision-Free Model Predictive Control
by: Cheng, Zilong, et al.
Published: (2021)
by: Cheng, Zilong, et al.
Published: (2021)
Safe-by-Design: Approximate Nonlinear Model Predictive Control with Real Time Feasibility
by: Olucak, Jan, et al.
Published: (2025)
by: Olucak, Jan, et al.
Published: (2025)
Distributed Safe Control Design and Probabilistic Safety Verification for Multi-Agent Systems
by: Wang, Han, et al.
Published: (2023)
by: Wang, Han, et al.
Published: (2023)
VisioPath: Vision-Language Enhanced Model Predictive Control for Safe Autonomous Navigation in Mixed Traffic
by: Wang, Shanting, et al.
Published: (2025)
by: Wang, Shanting, et al.
Published: (2025)
Safe model-based Reinforcement Learning via Model Predictive Control and Control Barrier Functions
by: Dzhumageldyev, Kerim, et al.
Published: (2025)
by: Dzhumageldyev, Kerim, et al.
Published: (2025)
A Control Barrier Function-Constrained Model Predictive Control Framework for Safe Reinforcement Learning
by: Kaypak, Ali Umut, et al.
Published: (2026)
by: Kaypak, Ali Umut, et al.
Published: (2026)
Safe Adaptive-Sampling Control via Robust M-Step Hold Model Predictive Control
by: Schutz, Spencer, et al.
Published: (2026)
by: Schutz, Spencer, et al.
Published: (2026)
Model Predictive Control for Coupled Adoption-Opinion Dynamics
by: Alutto, Martina, et al.
Published: (2026)
by: Alutto, Martina, et al.
Published: (2026)
Conformal Prediction for Distribution-free Optimal Control of Linear Stochastic Systems
by: Vlahakis, Eleftherios E., et al.
Published: (2024)
by: Vlahakis, Eleftherios E., et al.
Published: (2024)
Similar Items
-
Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction
by: Yu, Xinyi, et al.
Published: (2023) -
Chance-Constrained Neural MPC under Uncontrollable Agents via Sequential Convex Programming
by: Wang, Shuqi, et al.
Published: (2025) -
Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning
by: Wang, Siqi, et al.
Published: (2023) -
A Stackelberg Game Approach for Signal Temporal Logic Control Synthesis with Uncontrollable Agents
by: Cui, Bohan, et al.
Published: (2025) -
Self-Triggered Distributed Model Predictive Control with Synchronization Parameters Interaction
by: Chen, Qianqian, et al.
Published: (2024)