Heng-Jun Zhao

Available identifiers

zbMath Open zhao.hengjunMaRDI QIDQ781115

List of research outcomes

Publication	Date of Publication	Type
The reduced order method for solving the linear complementarity problem with an \(M\)-matrix	2022-09-19	Paper
Learning safe neural network controllers with barrier certificates	2022-09-01	Paper
Learning safe neural network controllers with barrier certificates	2021-08-30	Paper
Synthesizing barrier certificates using neural networks	2021-01-25	Paper
The block principal pivoting algorithm for the linear complementarity problem with an \(M\)-matrix	2020-07-16	Paper
Weak convergence of an iterative algorithm for accretive operators	2019-04-30	Paper
A composite iterative algorithm for accretive and nonexpansive operators	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	2018-11-08	Paper
A remark on the Navier-Stokes equations with the Coriolis force	2018-02-08	Paper
Global existence and decay estimate of classical solutions to the compressible viscoelastic flows with self-gravitating	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	2016-12-14	Paper
Formal Modelling, Analysis and Verification of Hybrid Systems	2015-09-30	Paper
Discovering non-terminating inputs for multi-path polynomial programs	2015-04-27	Paper
Decay estimate of solutions for a semi-linear wave equation	2015-03-18	Paper
Global existence and asymptotic behavior of solutions to the generalized damped Boussinesq equation	2014-06-26	Paper
Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants	2013-08-16	Paper
IMAGE FUSION METHOD BASED ON MULTI-DIRECTIONAL SUPPORT VALUE TRANSFORM	2013-04-29	Paper
Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems	2013-04-25	Paper
Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants	2013-04-16	Paper
A “Hybrid” Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example	2012-11-08	Paper
Logarithmically improved blow up criterion for smooth solutions to the 3D micropolar fluid equations	2012-08-06	Paper
A LOGARITHMALLY IMPROVED BLOW-UP CRITERION OF SMOOTH SOLUTIONS FOR THE THREE-DIMENSIONAL MHD EQUATIONS	2012-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q3005304	2011-06-07	Paper
https://portal.mardi4nfdi.de/entity/Q5452652	2008-04-04	Paper

Research outcomes over time

This page was built for person: Heng-Jun Zhao