Hengjun Zhao
Identifiers
- name variant Hengjun Zhao 0.60 · backfill
Papers (6)
- Solving Splitted Multi-Commodity Flow Problem by Efficient Linear Programming Algorithm math.OC · 2019 · author #2
- Abstraction of Elementary Hybrid Systems by Variable Transformation cs.SY · 2014 · author #3
- Synthesizing Switching Controllers for Hybrid Systems by Continuous Invariant Generation cs.SY · 2013 · author #3
- A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example cs.SY · 2012 · author #1
- Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems math.DS · 2011 · author #3
- Computing Semi-algebraic Invariants for Polynomial Dynamical Systems cs.SC · 2011 · author #3
Mentions
Frequent Coauthors
- Naijun Zhan 5 shared papers
- Jiang Liu 3 shared papers
- Deepak Kapur 2 shared papers
- Kim G. Larsen 1 shared papers
- Liang Zou 1 shared papers
- Liyun Dai 1 shared papers
- Zhiming Liu 1 shared papers