Showing 2025 · eess.SYShow all
2 papers · 2 filters
eess.SY2025
Correct-by-Design Control Synthesis of Stochastic Multi-agent Systems: a Robust Tensor-based Solution
Ruohan Wang, Siyuan Liu, Zhiyong Sun +1
Discrete-time stochastic systems with continuous spaces are hard to verify and control, even with MDP abstractions due to the curse of dimensionality. We propose an abstraction-bas…
eess.SY2025
Unraveling tensor structures in correct-by-design controller synthesis
Ruohan Wang, Zhiyong Sun, Sofie Haesaert
Formal safety guarantees on the synthesis of controllers for stochastic systems can be obtained using correct-by-design approaches. These approaches often use abstractions as finit…