15 citations · 52 across the 35 of their papers we have counts for
4 papers · 1 filter
Parameter Synthesis Problems for one parametric clock Timed Automata
Liyun Dai, Taolue Chen, Zhiming Liu +3
In this paper, we study the parameter synthesis problem for a class of parametric timed automata. The problem asks to construct the set of valuations of the parameters in the param…
A New Sparse SOS Decomposition Algorithm Based on Term Sparsity
Jie Wang, Haokun Li, Bican Xia
A new sparse SOS decomposition algorithm is proposed based on a new sparsity pattern, called cross sparsity patterns. The new sparsity pattern focuses on the sparsity of terms and…
An Effective Framework for Constructing Exponent Lattice Basis of Nonzero Algebraic Numbers
Tao Zheng
Computing a basis for the exponent lattice of algebraic numbers is a basic problem in the field of computational number theory with applications to many other areas. The main cost…
Block SOS Decomposition
Haokun Li, Bican Xia
A widely used method for solving SOS (Sum Of Squares) decomposition problem is to reduce it to the problem of semi-definite programs (SDPs) which can be efficiently solved in theor…