1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.SC2022
Reachability Analysis of Linear System
Shiping Chen, Xinyu Ge
In this paper, we propose a decision procedure of reachability for linear system ξ' = Aξ + u, where the matrix A's eigenvalues can be arbitrary algebraic numbers and the input u is…
math.GM2022★ 1 cited
Automated Proof of Mixed Trigonometric-polynomial Inequalities in the Unbounded Case
Shiping Chen, Xinyu Ge
Mixed trigonometric-polynomials frequently occur in applications in physics, numerical analysis and engineering, the algorithm has been already proposed to determine its sign on (0…