Travelled to:1 × France
1 × Norway
1 × Singapore
Collaborated with:N.Zhan L.Zou J.Liu D.Kapur K.G.Larsen M.Yang B.Gu Y.Chen
Talks about:hybrid (3) control (2) system (2) elementari (1) transform (1) industri (1) approach (1) abstract (1) variabl (1) synthes (1)
Person: Hengjun Zhao
DBLP: Zhao:Hengjun
Contributed to:
201520142012Wrote 3 papers:
- FM-2015-0009ZZZ #abstraction #hybrid
- Abstraction of Elementary Hybrid Systems by Variable Transformation (JL, NZ, HZ, LZ), pp. 360–377.
- FM-2014-ZhaoYZGZC #verification
- Formal Verification of a Descent Guidance Control Program of a Lunar Lander (HZ, MY, NZ, BG, LZ, YC), pp. 733–748.
- FM-2012-ZhaoZKL #approach #case study #hybrid #industrial
- A “Hybrid” Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example (HZ, NZ, DK, KGL), pp. 471–485.