| Publication | Date of Publication | Type |
|---|
The reduced order method for solving the linear complementarity problem with an \(M\)-matrix
Journal of Nonlinear Mathematical Physics | 2022-09-19 | Paper |
Learning safe neural network controllers with barrier certificates
Dependable Software Engineering. Theories, Tools, and Applications | 2022-09-01 | Paper |
Learning safe neural network controllers with barrier certificates
Formal Aspects of Computing | 2021-08-30 | Paper |
Synthesizing barrier certificates using neural networks
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
The block principal pivoting algorithm for the linear complementarity problem with an \(M\)-matrix
Advances in Mathematical Physics | 2020-07-16 | Paper |
Weak convergence of an iterative algorithm for accretive operators
The Journal of Nonlinear Sciences and Applications | 2019-04-30 | Paper |
A composite iterative algorithm for accretive and nonexpansive operators
The Journal of Nonlinear Sciences and Applications | 2019-04-24 | Paper |
| Solving Splitted Multi-Commodity Flow Problem by Efficient Linear Programming Algorithm | 2019-03-18 | Paper |
China's energy consumption forecasting by GMDH based auto-regressive model
Journal of Systems Science and Complexity | 2018-11-08 | Paper |
A remark on the Navier-Stokes equations with the Coriolis force
Mathematical Methods in the Applied Sciences | 2018-02-08 | Paper |
Global existence and decay estimate of classical solutions to the compressible viscoelastic flows with self-gravitating
Communications on Pure and Applied Analysis | 2018-01-15 | Paper |
| Formal Verification of Simulink/Stateflow Diagrams | 2018-01-08 | Paper |
Pointwise estimates of global small solutions to the generalized double dispersion equation
Journal of Mathematical Analysis and Applications | 2016-12-14 | Paper |
Formal modelling, analysis and verification of hybrid systems
Lecture Notes in Computer Science | 2015-09-30 | Paper |
Discovering non-terminating inputs for multi-path polynomial programs
Journal of Systems Science and Complexity | 2015-04-27 | Paper |
Decay estimate of solutions for a semi-linear wave equation
Boundary Value Problems | 2015-03-18 | Paper |
Global existence and asymptotic behavior of solutions to the generalized damped Boussinesq equation
Advances in Mathematical Physics | 2014-06-26 | Paper |
Synthesizing switching controllers for hybrid systems by generating invariants
Theories of Programming and Formal Methods | 2013-08-16 | Paper |
Image fusion method based on multi-directional support value transform
International Journal of Wavelets, Multiresolution and Information Processing | 2013-04-29 | Paper |
Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems
Mathematics in Computer Science | 2013-04-25 | Paper |
Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants
Automated Reasoning and Mathematics | 2013-04-16 | Paper |
A ``hybrid approach for synthesizing optimal controllers of hybrid systems: a case study of the oil pump industrial example
FM 2012: Formal Methods | 2012-11-08 | Paper |
Logarithmically improved blow up criterion for smooth solutions to the 3D micropolar fluid equations
Journal of Applied Mathematics | 2012-08-06 | Paper |
A LOGARITHMALLY IMPROVED BLOW-UP CRITERION OF SMOOTH SOLUTIONS FOR THE THREE-DIMENSIONAL MHD EQUATIONS
International Journal of Mathematics | 2012-03-19 | Paper |
| Weak convergence for a pair of relatively nonexpansive mappings in Banach space | 2011-06-07 | Paper |
| Strong convergence theorem for fixed points of two asymptotically nonexpansive mappings in Banach spaces | 2008-04-04 | Paper |
