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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Heng-Jun Zhao