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: Zhou:Mengchu
Contributed to:
2007200820102012201320152017Wrote 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.