Wang Lin

From MaRDI portal



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!

PublicationDate of PublicationType
scientific article; zbMATH DE number 7590483 (Why is no real title available?)2022-09-22Paper
Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming
Journal of Systems Science and Complexity
2022-08-19Paper
An iterative scheme of safe reinforcement learning for nonlinear systems via barrier certificate generation2022-03-25Paper
A novel approach for solving the BMI problem in barrier certificates generation2021-02-04Paper
Verifying reach-while-stay property of nonlinear switched system based on Lyapunov-like function2020-08-12Paper
A linear programming relaxation based approach for generating barrier certificates of hybrid systems2020-01-03Paper
A hand-foot-and-mouth disease model with periodic transmission rate in Wenzhou, China
Abstract and Applied Analysis
2019-02-14Paper
Safety verification of nonlinear systems based on rational invariants
Proceedings of the 2014 Symposium on Symbolic-Numeric Computation
2016-09-29Paper
Automatic lung tumor segmentation on PET/CT images using fuzzy Markov random field model
Computational & Mathematical Methods in Medicine
2015-03-16Paper
Exact asymptotic stability analysis and region-of-attraction estimation for nonlinear systems
Abstract and Applied Analysis
2013-09-19Paper
Domain-of-Attraction Estimation for Uncertain Non-polynomial Systems
(available as arXiv preprint)
2013-03-02Paper
An adaptive generalized S-transform for instantaneous frequency estimation
Signal Processing
2011-07-27Paper
Topologies and centralities of replied networks on Bulletin Board Systems2009-11-10Paper
Vibration and stability of an axially moving beam immersed in fluid
International Journal of Solids and Structures
2009-09-10Paper


Research outcomes over time


This page was built for person: Wang Lin