| Publication | Date of Publication | Type |
|---|
Hybrid controller synthesis for nonlinear systems subject to reach-avoid constraints
| 2024-02-01 | Paper |
VerifyRealRoots: a Matlab package for computing verified real solutions of polynomials systems of equations and inequalities
Journal of Systems Science and Complexity | 2023-09-22 | Paper |
Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming
Journal of Systems Science and Complexity | 2022-08-19 | Paper |
An iterative scheme of safe reinforcement learning for nonlinear systems via barrier certificate generation
| 2022-03-25 | Paper |
A mechanical proof of the C. T. Yang's Theorem related to a property of derived sets in general topology
SCIENTIA SINICA Mathematica | 2022-03-21 | Paper |
A novel approach for solving the BMI problem in barrier certificates generation
| 2021-02-04 | Paper |
Sparse polynomial interpolation with arbitrary orthogonal polynomial bases
Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
A linear programming relaxation based approach for generating barrier certificates of hybrid systems
| 2020-01-03 | Paper |
Resultant elimination via implicit equation interpolation
Journal of Systems Science and Complexity | 2018-01-25 | Paper |
Verified error bounds for real solutions of positive-dimensional polynomial systems
Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation | 2017-02-10 | Paper |
Sparse multivariate function recovery from values with noise and outlier errors
Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation | 2017-02-10 | Paper |
Approximate greatest common divisors of several polynomials with linearly constrained coefficients and singular polynomials
Proceedings of the 2006 international symposium on Symbolic and algebraic computation | 2017-02-03 | Paper |
A proof of the monotone column permanent (MCP) conjecture for dimension 4 via sums-of-squares of rational functions
Proceedings of the 2009 conference on Symbolic numeric computation | 2017-02-03 | Paper |
Fast estimates of Hankel matrix condition numbers and numeric sparse interpolation
Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation | 2016-09-29 | Paper |
Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients
Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation | 2016-09-29 | Paper |
Safety verification of nonlinear systems based on rational invariants
Proceedings of the 2014 Symposium on Symbolic-Numeric Computation | 2016-09-29 | Paper |
Finding the Symbolic Solution of a Geometric Problem Through Numerical Computations
Computer Mathematics | 2016-04-12 | Paper |
Sparse multivariate function recovery with a small number of evaluations
Journal of Symbolic Computation | 2016-02-11 | Paper |
Sparse multivariate function recovery with a high error rate in the evaluations
Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation | 2015-11-11 | Paper |
Blind image deconvolution via fast approximate GCD
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation | 2015-09-17 | Paper |
Generating exact nonlinear ranking functions by symbolic-numeric hybrid method
Journal of Systems Science and Complexity | 2014-01-27 | Paper |
Exact asymptotic stability analysis and region-of-attraction estimation for nonlinear systems
Abstract and Applied Analysis | 2013-09-19 | Paper |
Domain-of-Attraction Estimation for Uncertain Non-polynomial Systems
| 2013-03-02 | Paper |
Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients
Journal of Symbolic Computation | 2011-12-21 | Paper |
Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation | 2009-01-20 | Paper |
On exact and approximate interpolation of sparse rational functions
| 2009-01-20 | Paper |
Approximate factorization of multivariate polynomials using singular value decomposition
Journal of Symbolic Computation | 2008-04-23 | Paper |
scientific article; zbMATH DE number 5168246 (Why is no real title available?)
| 2007-06-28 | Paper |
Approximate factorization of multivariate polynomials via differential equations
Proceedings of the 2004 international symposium on Symbolic and algebraic computation | 2005-03-14 | Paper |
