Zhengfeng Yang

Available identifiers

zbMath Open yang.zhengfengMaRDI QIDQ654029

List of research outcomes

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	2023-09-22	Paper
Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming	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	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	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	2018-01-25	Paper
Verified error bounds for real solutions of positive-dimensional polynomial systems	2017-02-10	Paper
Sparse multivariate function recovery from values with noise and outlier errors	2017-02-10	Paper
Approximate greatest common divisors of several polynomials with linearly constrained coefficients and singular polynomials	2017-02-03	Paper
A proof of the monotone column permanent (MCP) conjecture for dimension 4 via sums-of-squares of rational functions	2017-02-03	Paper
Fast estimates of Hankel matrix condition numbers and numeric sparse interpolation	2016-09-29	Paper
Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients	2016-09-29	Paper
Safety verification of nonlinear systems based on rational invariants	2016-09-29	Paper
Finding the Symbolic Solution of a Geometric Problem Through Numerical Computations	2016-04-12	Paper
Sparse multivariate function recovery with a small number of evaluations	2016-02-11	Paper
Sparse multivariate function recovery with a high error rate in the evaluations	2015-11-11	Paper
Blind image deconvolution via fast approximate GCD	2015-09-17	Paper
Generating exact nonlinear ranking functions by symbolic-numeric hybrid method	2014-01-27	Paper
Exact asymptotic stability analysis and region-of-attraction estimation for nonlinear systems	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	2011-12-21	Paper
Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars	2009-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q5301671	2009-01-20	Paper
Approximate factorization of multivariate polynomials using singular value decomposition	2008-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q3447170	2007-06-28	Paper
Approximate factorization of multivariate polynomials via differential equations	2005-03-14	Paper

Research outcomes over time

This page was built for person: Zhengfeng Yang