1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2026
Quantifier Elimination Meets Treewidth
Hao Wu, Jiyu Zhu, Amir Kafshdar Goharshady +3
In this paper, we address the complexity barrier inherent in Fourier-Motzkin elimination (FME) and cylindrical algebraic decomposition (CAD) when eliminating a block of (existentia…
eess.SY2023★ 1 cited
Reset Controller Synthesis by Reach-avoid Analysis for Delay Hybrid Systems
Han Su, Jiyu Zhu, Shenghua Feng +5
A reset controller plays a crucial role in designing hybrid systems. It restricts the initial set and redefines the reset map associated with discrete transitions, in order to guar…