Buchumschlag

Correct-by-Design Control Synthesis of Stochastic Multi-agent Systems: a Robust Tensor-based Solution

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Wang, Ruohan, Liu, Siyuan, Sun, Zhiyong, Haesaert, Sofie
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Systems and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Compressing Correct-by-Design Synthesis for Stochastic Homogeneous Multi-Agent Systems with Counting LTL
von: Qiu, Xinyuan, et al.
Veröffentlicht: (2026)

Unraveling tensor structures in correct-by-design controller synthesis
von: Wang, Ruohan, et al.
Veröffentlicht: (2025)

Intention-Aware Control Based on Belief-Space Specifications and Stochastic Expansion
von: Zhang, Zengjie, et al.
Veröffentlicht: (2024)

Integrating Opinion Dynamics into Safety Control for Decentralized Airplane Encounter Resolution
von: Qi, Shuhao, et al.
Veröffentlicht: (2025)

Avoiding Deadlocks Is Not Enough: Analysis and Resolution of Blocked Airplanes
von: Qi, Shuhao, et al.
Veröffentlicht: (2024)

Specification-guided temporal logic control for stochastic systems: a multi-layered approach
von: van Huijgevoort, Birgit C., et al.
Veröffentlicht: (2024)

Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version)
von: Schön, Oliver, et al.
Veröffentlicht: (2025)

Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations
von: Schön, Oliver, et al.
Veröffentlicht: (2023)

Risk-Aware Autonomous Driving with Linear Temporal Logic Specifications
von: Qi, Shuhao, et al.
Veröffentlicht: (2024)

Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics
von: Engelaar, Maico H. W., et al.
Veröffentlicht: (2024)

Observer-based Control of Multi-agent Systems under STL Specifications
von: Zaccherini, Tommaso, et al.
Veröffentlicht: (2026)

Risk-Aware Real-Time Task Allocation for Stochastic Multi-Agent Systems under STL Specifications
von: Engelaar, Maico H. W., et al.
Veröffentlicht: (2024)

Stochastic MPC for Finite Gaussian Mixture Disturbances with Guarantees
von: Engelaar, Maico H. W., et al.
Veröffentlicht: (2024)

Control of Multi-agent Systems under STL Specifications based on Prescribed Performance Observers
von: Zaccherini, Tommaso, et al.
Veröffentlicht: (2026)

Robust Estimation and Control for Heterogeneous Multi-agent Systems Based on Decentralized k-hop Prescribed Performance Observers
von: Zaccherini, Tommaso, et al.
Veröffentlicht: (2025)

A Linear Parameter-Varying Approach to Data Predictive Control
von: Verhoek, Chris, et al.
Veröffentlicht: (2023)

A behavioral approach for LPV data-driven representations
von: Verhoek, Chris, et al.
Veröffentlicht: (2024)

Data-driven Dissipativity Analysis of Linear Parameter-Varying Systems
von: Verhoek, Chris, et al.
Veröffentlicht: (2023)

Communication-aware Multi-agent Systems Control Based on $k$-hop Distributed Observers
von: Zaccherini, Tommaso, et al.
Veröffentlicht: (2025)

Controller synthesis method for multi-agent system based on temporal logic specification
von: Huang, Ruohan, et al.
Veröffentlicht: (2025)

On Approximate Opacity of Stochastic Control Systems
von: Liu, Siyuan, et al.
Veröffentlicht: (2024)

Direct data-driven control with signal temporal logic specifications
von: van Huijgevoort, Birgit C., et al.
Veröffentlicht: (2023)

Direct data-driven state-feedback control of general nonlinear systems
von: Verhoek, Chris, et al.
Veröffentlicht: (2023)

Unifying Controller Design for Stabilizing Nonlinear Systems with Norm-Bounded Control Inputs
von: Li, Ming, et al.
Veröffentlicht: (2024)

Secure-by-Construction Synthesis for Control Systems
von: Zhong, Bingzhuo, et al.
Veröffentlicht: (2023)

Adaptive Robust Control for Uncertain Systems with Ellipsoid-Set Learning
von: Ma, Xuehui, et al.
Veröffentlicht: (2026)

Situation-Aware Interactive MPC Switching for Autonomous Driving
von: Qi, Shuhao, et al.
Veröffentlicht: (2025)

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

Prescribed-time Cooperative Output Regulation of Linear Heterogeneous Multi-agent Systems
von: Zuo, Gewei, et al.
Veröffentlicht: (2024)

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

Distributed Model Predictive Control Design for Multi-agent Systems via Bayesian Optimization
von: Esfahani, Hossein Nejatbakhsh, et al.
Veröffentlicht: (2025)

A Vehicle-in-the-Loop Simulator with AI-Powered Digital Twins for Testing Automated Driving Controllers
von: Zhang, Zengjie, et al.
Veröffentlicht: (2025)

Scalable control synthesis for stochastic systems via structural IMDP abstractions
von: Mathiesen, Frederik Baymler, et al.
Veröffentlicht: (2024)

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

Control Barrier Functions for Stochastic Systems and Safety-critical Control Designs
von: Nishimura, Yuki, et al.
Veröffentlicht: (2022)

Emulation-based Stabilization for Networked Control Systems with Stochastic Channels
von: Ren, Wei, et al.
Veröffentlicht: (2024)

Difference Between Cyclic and Distributed Approach in Stochastic Optimization for Multi-agent System
von: Shi, Jiahao, et al.
Veröffentlicht: (2024)

Security-Aware Planning and Control of Multi-Agent Systems with LTL Tasks
von: Mitsos, Georgios, et al.
Veröffentlicht: (2026)

Privacy in Multi-agent Systems
von: Wang, Yongqiang
Veröffentlicht: (2024)

From Embedding to Control: Representations for Stochastic Multi-Object Systems
von: Cheng, Xiaoyuan, et al.
Veröffentlicht: (2025)