Risk-Aware Real-Time Task Allocation for Stochastic Multi-Agent Systems under STL Specifications
Fuente:
arXiv
Guardado en:
| Autores principales: | Engelaar, Maico H. W., Zhang, Zengjie, Vlahakis, Eleftherios E., Dimarogonas, Dimos V., Lazar, Mircea, Haesaert, Sofie |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics
por: Engelaar, Maico H. W., et al.
Publicado: (2024)
por: Engelaar, Maico H. W., 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)
por: Vlahakis, Eleftherios E., et al.
Publicado: (2025)
Stochastic MPC for Finite Gaussian Mixture Disturbances with Guarantees
por: Engelaar, Maico H. W., et al.
Publicado: (2024)
por: Engelaar, Maico H. W., et al.
Publicado: (2024)
Distributed Sequential Receding Horizon Control of Multi-Agent Systems under Recurring Signal Temporal Logic
por: Vlahakis, Eleftherios E., et al.
Publicado: (2023)
por: Vlahakis, Eleftherios E., et al.
Publicado: (2023)
Probabilistic Tube-based Control Synthesis of Stochastic Multi-Agent Systems under Signal Temporal Logic
por: Vlahakis, Eleftherios E., et al.
Publicado: (2024)
por: Vlahakis, Eleftherios E., et al.
Publicado: (2024)
Intention-Aware Control Based on Belief-Space Specifications and Stochastic Expansion
por: Zhang, Zengjie, et al.
Publicado: (2024)
por: Zhang, Zengjie, et al.
Publicado: (2024)
Observer-based Control of Multi-agent Systems under STL Specifications
por: Zaccherini, Tommaso, et al.
Publicado: (2026)
por: Zaccherini, Tommaso, et al.
Publicado: (2026)
Control of Multi-agent Systems under STL Specifications based on Prescribed Performance Observers
por: Zaccherini, Tommaso, et al.
Publicado: (2026)
por: Zaccherini, Tommaso, et al.
Publicado: (2026)
Conformal Prediction-Based MPC for Stochastic Linear Systems
por: Vogel, Lukas, et al.
Publicado: (2025)
por: Vogel, Lukas, et al.
Publicado: (2025)
Conformal Prediction for Distribution-free Optimal Control of Linear Stochastic Systems
por: Vlahakis, Eleftherios E., et al.
Publicado: (2024)
por: Vlahakis, Eleftherios E., et al.
Publicado: (2024)
Risk-Aware Autonomous Driving with Linear Temporal Logic Specifications
por: Qi, Shuhao, et al.
Publicado: (2024)
por: Qi, Shuhao, et al.
Publicado: (2024)
Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications
por: Kordabad, Arash Bahari, et al.
Publicado: (2024)
por: Kordabad, Arash Bahari, et al.
Publicado: (2024)
SymAware: A Software Development Framework for Trustworthy Multi-Agent Systems with Situational Awareness
por: Casablanca, Ernesto, et al.
Publicado: (2024)
por: Casablanca, Ernesto, et al.
Publicado: (2024)
Efficient Coordination and Synchronization of Multi-Robot Systems Under Recurring Linear Temporal Logic
por: Peron, Davide, et al.
Publicado: (2025)
por: Peron, Davide, et al.
Publicado: (2025)
Data-Driven Distributionally Robust Control for Interacting Agents under Logical Constraints
por: Kordabad, Arash Bahari, et al.
Publicado: (2025)
por: Kordabad, Arash Bahari, et al.
Publicado: (2025)
Security-Aware Planning and Control of Multi-Agent Systems with LTL Tasks
por: Mitsos, Georgios, et al.
Publicado: (2026)
por: Mitsos, Georgios, et al.
Publicado: (2026)
Communication-Constrained STL Task Decomposition through Convex Optimization
por: Marchesini, Gregorio, et al.
Publicado: (2024)
por: Marchesini, Gregorio, et al.
Publicado: (2024)
Sampling-Based Planning Under STL Specifications: A Forward Invariance Approach
por: Marchesini, Gregorio, et al.
Publicado: (2025)
por: Marchesini, Gregorio, et al.
Publicado: (2025)
Situation-Aware Interactive MPC Switching for Autonomous Driving
por: Qi, Shuhao, et al.
Publicado: (2025)
por: Qi, Shuhao, et al.
Publicado: (2025)
Multi-Agent Temporal Logic Planning via Penalty Functions and Block-Coordinate Optimization
por: Vlahakis, Eleftherios E., et al.
Publicado: (2026)
por: Vlahakis, Eleftherios E., et al.
Publicado: (2026)
Compressing Correct-by-Design Synthesis for Stochastic Homogeneous Multi-Agent Systems with Counting LTL
por: Qiu, Xinyuan, et al.
Publicado: (2026)
por: Qiu, Xinyuan, et al.
Publicado: (2026)
Avoiding Deadlocks Is Not Enough: Analysis and Resolution of Blocked Airplanes
por: Qi, Shuhao, et al.
Publicado: (2024)
por: Qi, Shuhao, et al.
Publicado: (2024)
Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts
por: Liu, Siyuan, et al.
Publicado: (2023)
por: Liu, Siyuan, et al.
Publicado: (2023)
Topology Estimation for Open Multi-Agent Systems
por: Wang, Nana, et al.
Publicado: (2026)
por: Wang, Nana, et al.
Publicado: (2026)
Decentralized Control of Multi-Agent Systems Under Acyclic Spatio-Temporal Task Dependencies
por: Marchesini, Gregorio, et al.
Publicado: (2024)
por: Marchesini, Gregorio, et al.
Publicado: (2024)
A Communication Consistent Approach to Signal Temporal Logic Task Decomposition in Multi-Agent Systems
por: Marchesini, Gregorio, et al.
Publicado: (2024)
por: Marchesini, Gregorio, et al.
Publicado: (2024)
On Uniformly Time-Varying Control Barrier Functions
por: Wiltz, Adrian, et al.
Publicado: (2025)
por: Wiltz, Adrian, et al.
Publicado: (2025)
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints
por: Wiltz, Adrian, et al.
Publicado: (2025)
por: Wiltz, Adrian, et al.
Publicado: (2025)
Correct-by-Design Control Synthesis of Stochastic Multi-agent Systems: a Robust Tensor-based Solution
por: Wang, Ruohan, et al.
Publicado: (2025)
por: Wang, Ruohan, et al.
Publicado: (2025)
Corridor MPC for Multi-Agent Inspection of Orbiting Structures
por: Marchesini, Gregorio, et al.
Publicado: (2024)
por: Marchesini, Gregorio, et al.
Publicado: (2024)
An Operator-Based Approach to STL
por: Rousseas, Panagiotis, et al.
Publicado: (2026)
por: Rousseas, Panagiotis, et al.
Publicado: (2026)
From Time-Invariant to Uniformly Time-Varying Control Barrier Functions: A Constructive Approach
por: Wiltz, Adrian, et al.
Publicado: (2024)
por: Wiltz, Adrian, et al.
Publicado: (2024)
On Approximate Opacity of Stochastic Control Systems
por: Liu, Siyuan, et al.
Publicado: (2024)
por: Liu, Siyuan, et al.
Publicado: (2024)
Feasibility-aware Hybrid Control for Motion Planning under Signal Temporal Logics
por: Rousseas, Panagiotis, et al.
Publicado: (2026)
por: Rousseas, Panagiotis, et al.
Publicado: (2026)
Decoupled Design of Time-Varying Control Barrier Functions via Equivariances
por: Wiltz, Adrian, et al.
Publicado: (2025)
por: Wiltz, Adrian, et al.
Publicado: (2025)
Stability of Open Multi-agent Systems over Dynamic Signed Digraphs
por: Sekercioglu, Pelin, et al.
Publicado: (2026)
por: Sekercioglu, Pelin, et al.
Publicado: (2026)
Stability of Open Multi-agent Systems over Dynamic Signed Graphs
por: Sekercioglu, Pelin, et al.
Publicado: (2025)
por: Sekercioglu, Pelin, et al.
Publicado: (2025)
Robust Closed-Form Control for MIMO Nonlinear Systems under Conflicting Time-Varying Hard and Soft Constraints (extended version)
por: Mehdifar, Farhad, et al.
Publicado: (2025)
por: Mehdifar, Farhad, et al.
Publicado: (2025)
Communication-aware Multi-agent Systems Control Based on $k$-hop Distributed Observers
por: Zaccherini, Tommaso, et al.
Publicado: (2025)
por: Zaccherini, Tommaso, et al.
Publicado: (2025)
Robust Estimation and Control for Heterogeneous Multi-agent Systems Based on Decentralized k-hop Prescribed Performance Observers
por: Zaccherini, Tommaso, et al.
Publicado: (2025)
por: Zaccherini, Tommaso, et al.
Publicado: (2025)
Ejemplares similares
-
Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics
por: Engelaar, Maico H. W., 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) -
Stochastic MPC for Finite Gaussian Mixture Disturbances with Guarantees
por: Engelaar, Maico H. W., et al.
Publicado: (2024) -
Distributed Sequential Receding Horizon Control of Multi-Agent Systems under Recurring Signal Temporal Logic
por: Vlahakis, Eleftherios E., et al.
Publicado: (2023) -
Probabilistic Tube-based Control Synthesis of Stochastic Multi-Agent Systems under Signal Temporal Logic
por: Vlahakis, Eleftherios E., et al.
Publicado: (2024)