Wang Lin

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 7590483 (Why is no real title available?)	2022-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 novel approach for solving the BMI problem in barrier certificates generation	2021-02-04	Paper
Verifying reach-while-stay property of nonlinear switched system based on Lyapunov-like function	2020-08-12	Paper
A linear programming relaxation based approach for generating barrier certificates of hybrid systems	2020-01-03	Paper
A hand-foot-and-mouth disease model with periodic transmission rate in Wenzhou, China Abstract and Applied Analysis	2019-02-14	Paper
Safety verification of nonlinear systems based on rational invariants Proceedings of the 2014 Symposium on Symbolic-Numeric Computation	2016-09-29	Paper
Automatic lung tumor segmentation on PET/CT images using fuzzy Markov random field model Computational & Mathematical Methods in Medicine	2015-03-16	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
An adaptive generalized S-transform for instantaneous frequency estimation Signal Processing	2011-07-27	Paper
Topologies and centralities of replied networks on Bulletin Board Systems	2009-11-10	Paper
Vibration and stability of an axially moving beam immersed in fluid International Journal of Solids and Structures	2009-09-10	Paper

Research outcomes over time

This page was built for person: Wang Lin