Imagen de Portada

Compressing Correct-by-Design Synthesis for Stochastic Homogeneous Multi-Agent Systems with Counting LTL

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Qiu, Xinyuan, Wang, Ruohan, Liu, Siyuan, Haesaert, Sofie
Formato:	Preprint
Publicado:	2026
Materias:	Systems and Control
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Correct-by-Design Control Synthesis of Stochastic Multi-agent Systems: a Robust Tensor-based Solution
por: Wang, Ruohan, et al.
Publicado: (2025)

Unraveling tensor structures in correct-by-design controller synthesis
por: Wang, Ruohan, et al.
Publicado: (2025)

Security-Aware Planning and Control of Multi-Agent Systems with LTL Tasks
por: Mitsos, Georgios, et al.
Publicado: (2026)

Intention-Aware Control Based on Belief-Space Specifications and Stochastic Expansion
por: Zhang, Zengjie, et al.
Publicado: (2024)

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

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

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

Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics
por: Engelaar, Maico H. W., et al.
Publicado: (2024)

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

Stochastic MPC for Finite Gaussian Mixture Disturbances with Guarantees
por: Engelaar, Maico H. W., et al.
Publicado: (2024)

A behavioral approach for LPV data-driven representations
por: Verhoek, Chris, et al.
Publicado: (2024)

Data-driven Dissipativity Analysis of Linear Parameter-Varying Systems
por: Verhoek, Chris, et al.
Publicado: (2023)

Avoiding Deadlocks Is Not Enough: Analysis and Resolution of Blocked Airplanes
por: Qi, Shuhao, et al.
Publicado: (2024)

Integrating Opinion Dynamics into Safety Control for Decentralized Airplane Encounter Resolution
por: Qi, Shuhao, et al.
Publicado: (2025)

Homogeneous Distributed Observers for Quasilinear Systems
por: Li, Min, et al.
Publicado: (2024)

Direct data-driven control with signal temporal logic specifications
por: van Huijgevoort, Birgit C., et al.
Publicado: (2023)

Direct data-driven state-feedback control of general nonlinear systems
por: Verhoek, Chris, et al.
Publicado: (2023)

A Linear Parameter-Varying Approach to Data Predictive Control
por: Verhoek, Chris, et al.
Publicado: (2023)

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

Situation-Aware Interactive MPC Switching for Autonomous Driving
por: Qi, Shuhao, et al.
Publicado: (2025)

Discrete Homogeneity and Quantizer Design for Nonlinear Homogeneous Control Systems
por: Zhou, Yu, et al.
Publicado: (2026)

Risk-Aware Autonomous Driving with Linear Temporal Logic Specifications
por: Qi, Shuhao, et al.
Publicado: (2024)

Scalable control synthesis for stochastic systems via structural IMDP abstractions
por: Mathiesen, Frederik Baymler, et al.
Publicado: (2024)

Nonlinear Stochastic Model Predictive Control with Generative Uncertainty in Homogeneous Charge Compression Ignition
por: Chen, Xu, et al.
Publicado: (2026)

On Approximate Opacity of Stochastic Control Systems
por: Liu, Siyuan, et al.
Publicado: (2024)

Scale-free Non-collaborative Linear Protocol Design for A Class of Homogeneous Multi-agent Systems
por: Liu, Zhenwei, 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)

Decentralized Control of Multi-Agent Systems Under Acyclic Spatio-Temporal Task Dependencies
por: Marchesini, Gregorio, et al.
Publicado: (2024)

ARCH-COMP25 Category Report: Stochastic Models
por: Abate, Alessandro, et al.
Publicado: (2025)

SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning
por: Kretinsky, Jan, et al.
Publicado: (2025)

A Communication Consistent Approach to Signal Temporal Logic Task Decomposition in Multi-Agent Systems
por: Marchesini, Gregorio, et al.
Publicado: (2024)

Secure-by-Construction Synthesis for Control Systems
por: Zhong, Bingzhuo, et al.
Publicado: (2023)

Convergence Guarantee of Dynamic Programming for LTL Surrogate Reward
por: Xuan, Zetong, et al.
Publicado: (2024)

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

Density-Driven Optimal Control: Convergence Guarantees for Stochastic LTI Multi-Agent Systems
por: Lee, Kooktae
Publicado: (2026)

Distributed Safe Control Design and Probabilistic Safety Verification for Multi-Agent Systems
por: Wang, Han, et al.
Publicado: (2023)

A Scalable Approach for Analysing Multi-Agent Systems with Heterogeneous Stochastic Packet Loss
por: Hespe, Christian, et al.
Publicado: (2023)

Decentralized Upper Confidence Bound Algorithms for Homogeneous Multi-Agent Multi-Armed Bandits
por: Zhu, Jingxuan, et al.
Publicado: (2021)

Diversity and Interaction Quality of a Heterogeneous Multi-Agent System Applied to a Synchronization Problem
por: Mao, Xin, et al.
Publicado: (2025)

Observer-based Control of Multi-agent Systems under STL Specifications
por: Zaccherini, Tommaso, et al.
Publicado: (2026)