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 × Canada
1 × Korea
1 × Sweden
3 × USA
Collaborated with:
S.Li W.Guo D.Wei R.Kwadzogah G.Fortino Claudio Savaglio Z.W.Wang G.G.Slabaugh T.Fang H.Hu Z.Li N.Wu Z.Song Y.Lu M.Jiang Z.Ding Y.Zhou J.Luo Q.Zhao Y.Huang L.Han K.Xing H.Liu F.Wang
Talks about:
model (4) control (3) system (3) base (3) deadlock (2) flexibl (2) diagram (2) automat (2) state (2) autom (2)

Person: Mengchu Zhou

DBLP DBLP: Zhou:Mengchu

Contributed to:

CASE 20072007
CASE 20082008
CASE 20102010
CASE 20122012
CASE 20132013
CASE 20152015
CASE 20172017

Wrote 9 papers:

CASE-2007-GuoZW #automation #design #diagrams #flexibility #named #state machine
DiagramDraw: A State Machine Diagram Designer for Flexible Automation (WG, MZ, DW), pp. 352–356.
CASE-2008-WangSZF #automation #image
Automatic tracing of blood flow velocity in pulsed Doppler images (ZWW, GGS, MZ, TF), pp. 218–222.
CASE-2010-HuZLW #assembly #automation #concurrent #flexibility
Deadlock-free control of ratio-enforced automated manufacturing systems with flexible routes and assembly operations (HH, MZ, ZL, NW), pp. 459–464.
CASE-2012-HanXZLW #concurrent #policy
Two-stage deadlock prevention policy based on resource-transition circuits (LH, KX, MZ, HL, FW), pp. 741–746.
CASE-2013-KwadzogahZL #bibliography #perspective #predict
Model predictive control for HVAC systems — A review (RK, MZ, SL), pp. 442–447.
CASE-2013-LiSZL #assessment #automation #difference #quality #simulation
Sensor data quality assessment for building simulation model calibration based on automatic differentiation (SL, ZS, MZ, YL), pp. 752–757.
CASE-2015-JiangDZZ #formal method #mobile #modelling #verification
Formal modeling and verification of secure mobile agent systems (MJ, ZD, MZ, YZ), pp. 545–550.
CASE-2015-LuoZHZ #modelling #synthesis
Discrete-event controller synthesis based on state space models (JL, QZ, YSH, MZ), pp. 87–92.
CASE-2017-FortinoSZ #industrial #internet #towards
Toward opportunistic services for the industrial Internet of Things (GF, CS, MZ), pp. 825–830.

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.