Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications
Fuente:
arXiv
Saved in:
| Main Authors: | Kordabad, Arash Bahari, Vlahakis, Eleftherios E., Lindemann, Lars, Dimarogonas, Dimos V., Soudjani, Sadegh |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Data-Driven Distributionally Robust Control for Interacting Agents under Logical Constraints
by: Kordabad, Arash Bahari, et al.
Published: (2025)
by: Kordabad, Arash Bahari, et al.
Published: (2025)
Multi-Agent Temporal Logic Planning via Penalty Functions and Block-Coordinate Optimization
by: Vlahakis, Eleftherios E., et al.
Published: (2026)
by: Vlahakis, Eleftherios E., et al.
Published: (2026)
Conformal Data-driven Control of Stochastic Multi-Agent Systems under Collaborative Signal Temporal Logic Specifications
by: Vlahakis, Eleftherios E., et al.
Published: (2025)
by: Vlahakis, Eleftherios E., et al.
Published: (2025)
Distributed Sequential Receding Horizon Control of Multi-Agent Systems under Recurring Signal Temporal Logic
by: Vlahakis, Eleftherios E., et al.
Published: (2023)
by: Vlahakis, Eleftherios E., et al.
Published: (2023)
Sum-of-Squares Certificates for Almost-Sure Reachability of Stochastic Polynomial Systems
by: Kordabad, Arash Bahari, et al.
Published: (2025)
by: Kordabad, Arash Bahari, et al.
Published: (2025)
Probabilistic Tube-based Control Synthesis of Stochastic Multi-Agent Systems under Signal Temporal Logic
by: Vlahakis, Eleftherios E., et al.
Published: (2024)
by: Vlahakis, Eleftherios E., et al.
Published: (2024)
Robust Model Predictive Control for Aircraft Intent-Aware Collision Avoidance
by: Kordabad, Arash Bahari, et al.
Published: (2024)
by: Kordabad, Arash Bahari, et al.
Published: (2024)
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)
Quasi-Newton Compatible Actor-Critic for Deterministic Policies
by: Kordabad, Arash Bahari, et al.
Published: (2025)
by: Kordabad, Arash Bahari, et al.
Published: (2025)
Almost Sure Reachability in Continuous-time Stochastic Systems
by: Kordabad, Arash Bahari, et al.
Published: (2026)
by: Kordabad, Arash Bahari, et al.
Published: (2026)
Second-Order Policy Gradient Methods for the Linear Quadratic Regulator
by: Valaei, Amirreza, et al.
Published: (2025)
by: Valaei, Amirreza, et al.
Published: (2025)
Maximally Resilient Controllers under Temporal Logic Specifications
by: Si, Youssef Ait, et al.
Published: (2025)
by: Si, Youssef Ait, et al.
Published: (2025)
Intent-Aware MPC for Aircraft Detect-and-Avoid with Response Delay: A Comparative Study with ACAS Xu
by: Kordabad, Arash Bahari, et al.
Published: (2025)
by: Kordabad, Arash Bahari, et al.
Published: (2025)
On Uniformly Time-Varying Control Barrier Functions
by: Wiltz, Adrian, et al.
Published: (2025)
by: Wiltz, Adrian, et al.
Published: (2025)
Barrier Certificates for Uncertain Temporal Specifications
by: Mamduhi, Mohammad H., et al.
Published: (2026)
by: Mamduhi, Mohammad H., et al.
Published: (2026)
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints
by: Wiltz, Adrian, et al.
Published: (2025)
by: Wiltz, Adrian, et al.
Published: (2025)
A Communication Consistent Approach to Signal Temporal Logic Task Decomposition in Multi-Agent Systems
by: Marchesini, Gregorio, et al.
Published: (2024)
by: Marchesini, Gregorio, et al.
Published: (2024)
Robust Control of Uncertain Switched Affine Systems via Scenario Optimization
by: Monir, Negar, et al.
Published: (2025)
by: Monir, Negar, et al.
Published: (2025)
Efficient Coordination and Synchronization of Multi-Robot Systems Under Recurring Linear Temporal Logic
by: Peron, Davide, et al.
Published: (2025)
by: Peron, Davide, et al.
Published: (2025)
Conformal Predictive Programming for Chance Constrained Optimization
by: Zhao, Yiqi, et al.
Published: (2024)
by: Zhao, Yiqi, et al.
Published: (2024)
On Certificates for Almost Sure Reachability in Stochastic Systems
by: Kordabad, Arash Bahari, et al.
Published: (2025)
by: Kordabad, Arash Bahari, et al.
Published: (2025)
Feasibility-aware Hybrid Control for Motion Planning under Signal Temporal Logics
by: Rousseas, Panagiotis, et al.
Published: (2026)
by: Rousseas, Panagiotis, et al.
Published: (2026)
Feasibility Analysis and Constraint Selection in Optimization-Based Controllers
by: Rousseas, Panagiotis, et al.
Published: (2025)
by: Rousseas, Panagiotis, et al.
Published: (2025)
Decentralized Control of Multi-Agent Systems Under Acyclic Spatio-Temporal Task Dependencies
by: Marchesini, Gregorio, et al.
Published: (2024)
by: Marchesini, Gregorio, et al.
Published: (2024)
Conformal Prediction-Based MPC for Stochastic Linear Systems
by: Vogel, Lukas, et al.
Published: (2025)
by: Vogel, Lukas, et al.
Published: (2025)
Optimality Conditions for Model Predictive Control: Rethinking Predictive Model Design
by: Anand, Akhil S, et al.
Published: (2024)
by: Anand, Akhil S, et al.
Published: (2024)
Communication-Constrained STL Task Decomposition through Convex Optimization
by: Marchesini, Gregorio, et al.
Published: (2024)
by: Marchesini, Gregorio, et al.
Published: (2024)
Sampling-Based Planning Under STL Specifications: A Forward Invariance Approach
by: Marchesini, Gregorio, et al.
Published: (2025)
by: Marchesini, Gregorio, et al.
Published: (2025)
Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
by: Ren, Wei, et al.
Published: (2024)
by: Ren, Wei, et al.
Published: (2024)
A continuous-time violation-free multi-agent optimization algorithm and its applications to safe distributed control
by: Tan, Xiao, et al.
Published: (2024)
by: Tan, Xiao, et al.
Published: (2024)
Distributionally Robust Joint Chance-Constrained Optimal Power Flow using Relative Entropy
by: Brock, Eli, et al.
Published: (2025)
by: Brock, Eli, et al.
Published: (2025)
Distributionally Robust Joint Chance-Constrained Optimization for Electricity Imbalance: Integrating Renewables and Storage
by: Noori, Amir, et al.
Published: (2024)
by: Noori, Amir, 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)
by: Liu, Siyuan, et al.
Published: (2023)
Computing Optimal Joint Chance Constrained Control Policies
by: Schmid, Niklas, et al.
Published: (2023)
by: Schmid, Niklas, et al.
Published: (2023)
On Disturbance Propagation in Vehicular Platoons with Different Communication Ranges
by: Wu, Chengshuai, et al.
Published: (2022)
by: Wu, Chengshuai, et al.
Published: (2022)
Achieving violation-free distributed optimization under coupling constraints
by: Liu, Changxin, et al.
Published: (2024)
by: Liu, Changxin, et al.
Published: (2024)
Risk-Aware Real-Time Task Allocation for Stochastic Multi-Agent Systems under STL Specifications
by: Engelaar, Maico H. W., et al.
Published: (2024)
by: Engelaar, Maico H. W., et al.
Published: (2024)
Computationally Efficient Chance Constrained Covariance Control with Output Feedback
by: Pilipovsky, Joshua, et al.
Published: (2023)
by: Pilipovsky, Joshua, et al.
Published: (2023)
Joint Chance Constrained Optimal Control via Linear Programming
by: Schmid, Niklas, et al.
Published: (2024)
by: Schmid, Niklas, et al.
Published: (2024)
Convex Chance-Constrained Stochastic Control under Uncertain Specifications with Application to Learning-Based Hybrid Powertrain Control
by: Kato, Teruki, et al.
Published: (2026)
by: Kato, Teruki, et al.
Published: (2026)
Similar Items
-
Data-Driven Distributionally Robust Control for Interacting Agents under Logical Constraints
by: Kordabad, Arash Bahari, et al.
Published: (2025) -
Multi-Agent Temporal Logic Planning via Penalty Functions and Block-Coordinate Optimization
by: Vlahakis, Eleftherios E., et al.
Published: (2026) -
Conformal Data-driven Control of Stochastic Multi-Agent Systems under Collaborative Signal Temporal Logic Specifications
by: Vlahakis, Eleftherios E., et al.
Published: (2025) -
Distributed Sequential Receding Horizon Control of Multi-Agent Systems under Recurring Signal Temporal Logic
by: Vlahakis, Eleftherios E., et al.
Published: (2023) -
Sum-of-Squares Certificates for Almost-Sure Reachability of Stochastic Polynomial Systems
by: Kordabad, Arash Bahari, et al.
Published: (2025)