BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Zhao:Hengjun

Contributed to:

FM 20152015
FM 20142014
FM 20122012

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.