pith. sign in

Hengjun Zhao

Identifiers

  • name variant Hengjun Zhao 0.60 · backfill

Papers (6)

  1. Solving Splitted Multi-Commodity Flow Problem by Efficient Linear Programming Algorithm math.OC · 2019 · author #2
  2. Abstraction of Elementary Hybrid Systems by Variable Transformation cs.SY · 2014 · author #3
  3. Synthesizing Switching Controllers for Hybrid Systems by Continuous Invariant Generation cs.SY · 2013 · author #3
  4. A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example cs.SY · 2012 · author #1
  5. Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems math.DS · 2011 · author #3
  6. Computing Semi-algebraic Invariants for Polynomial Dynamical Systems cs.SC · 2011 · author #3

Mentions

  • 1403.7022 #3 · backfill · confidence 0.70 Hengjun Zhao
  • 1304.0825 #3 · backfill · confidence 0.70 Hengjun Zhao
  • 1203.6025 #1 · backfill · confidence 0.70 Hengjun Zhao
  • 1103.3372 #3 · backfill · confidence 0.70 Hengjun Zhao
  • 1102.0705 #3 · backfill · confidence 0.70 Hengjun Zhao

Frequent Coauthors