Qianchuan Zhao,  Ph.D.

Professor

Deputy Director of Center for Intelligent and Networked Systems

Department of Automation, Tsinghua University,  Beijing 100084, China

Tel: +86 (10) 6278 3612      Fax: +86 (10) 6279 6115

Email: zhaoqc@tsinghua.edu.cn

 Education

Ph. D. in in Control Theory and Applications, Tsinghua University, Beijing, China, 1996

BE Automation (Major), Tsinghua University, Beijing, China, 1992

BS in Applied Mathematics (Minor), Tsinghua University, Beijing, China, 1992

  Working Experience

Professor, Department of Automation, Tsinghua University, Dec. 2003 -

Visiting Scholar, Cornell University, Jul. 2006 - Nov. 2006

Associate Professor, Department of Automation, Tsinghua University, Aug. 1998 - Dec. 2003

Visiting Scholar, Harvard University, May 2002 - Sep. 2002

Visiting Scholar, Carnegie Mellon University, Mar. 2000 - Apr. 2001

Lecturer, Department of Automation, Tsinghua University, Aug. 1996 - Dec. 2003

  Expertise and Research Interests

Safety analysis and performance optimization of networked dynamic systems

  Academic/Social Activities and Memberships

IEEE Senior Member, 2008 -   ; IEEE Member, 2006 - 2008

Associate Editor, Journal of Optimization Theory and Applications, 2002.5 -

Associate Editor, Journal of Control Theory and Applications, 2008.6 -

Associate Editor, IEEE Transactions on Automation Sciences and Engineering, 2008.8 -

IFAC Technical Committee 1.3 on Discrete Event and Hybrid Systems, 2008.10 -

Co-Chair of Program Committee, the 31th CCC, 2012

Co-Chair of Program Committee, the 30th CCC, 2011

PC Member, the 8th IFAC International Conference on Fieldbuses & networks in Industrial and embedded Systems (Fet’09), 2009

PC member, the 2nd IFAC workshop on Dependable Control of Discrete Systems (DCDS’09), 2009

PC member, WCICA08, 2008

PC member, ICCA 2006, 2006

Associate Editor, CDC-ECC 2005, 2005

Secretary-General, International Symposium on Intelligent and Networked Systems (ISINS’2004), 2004

IPC Member, Workshop of Discrete Event Systems (WODES’04), 2004

Reviewer, National Science Foundation of China, 2005.1 -

   Grants and Contracts / Research Projects

Event timing analysis and control for networked DEDS, National Science Foundation of China, 2011.1-2013.12, PI

Algorithm for Elevator Energy-Saving Group Control, Contract with Toshiba Corporation, 2009.4-2010.3, PI

Peer Communication in Building Networks, Contract with United Technology Research Center, 2009.3-2009.11, PI

Optimizing Manufacturing Flexibility under Uncertainty, Contract with General Motors, 2008.4-2010.3, PI

Analysis and Control of Dynamic Boolean Networks Based on Structural Properties, National Science Foundation of China, 2006.1-2008.12, PI

Formal Validation Test Script for PLC Logics, Contract with General Motor, 2007.9-2008.12, PI

Efficient Simulation and Optimization for Material Handling Systems, Contract with General Motors, 2006.3-2007.12, PI

Robustness Analysis and Control for DEDS with Interval Parameters Base on Verification, National Science Foundation of China, 2003.1-2005.12, PI

Case Study for Splitting Solutions of Power Systems, Subcontract for National Basic Research Program of China, 2004.2-2005.7, PI

Dispatching Performance Analysis, Contract with United Technology Research Center, 2004.5-2004.11, PI.

Efficient Simulation and Optimization for Service Networks, Contract with United Technology Research Center, 2002.3-2004.3, PI

   Honors and Awards

The 2009 China National Nature Science Award (2nd class) for the project "Optimization Theory and Optimization for Discrete Event Dynamic System".

The 2008 Tsinghua New Scholar Award

The 2005 UTRC Outstanding Achievement Award for the contribution in the project “Dispatching Performance Analysis”.

Awarded the 2004 Program for New Century Excellent Talents in University in China.

GUAN ZHAO-ZHI AWARD of year 2003 for young Chinese author in control for the paper “Inseparability of Min-Max Systems”.

The 4th HO PAN QING YI best paper award in DEDS field in July of the year 2000 for the paper “Robustness of event order of discrete event dynamic system” published in Acta Automatica Sinica, Vol.23, no.4, 1997.

   Academic Achievements

SELECTED RECENT PUBLICATIONS:

[1] Da-Zhong Zheng and Qianchuan Zhao, Discrete Event Dynamic Systems (in Chinese), Tsinghua University Press, 2001

[2] Ho YC, Zhao QC, and Jia QS, Ordinal Optimization: Soft Optimization for Hard Problems, Springer, 2007

[3] Li X, Zhao QC, Guan XH, Tong L, “Optimal Cognitive Access of Markovian Channels under Tight Collision Constraints,” IEEE Journal on Selected Areas in Communications, 29(4):746-756, 2011.

[4] Yan CB, Zhao QC, Huang NJ, Xiao GX, Li JS, “Formulation and a Simulation Based Algorithm for Line-side Buffer Assignment Problem in Systems of General Assembly Line with Material Handling,” IEEE Transactions on Automation Science and Engineering, 7(4):902-920, 2010

[5] Zhao YJ, Yan CB, Zhao QC, Huang NJ, Li JS, Guan XH, “Efficient Simulation Method for General Assembly Systems with Material Handlings Based on Aggregated Event-Scheduling,” IEEE Transactions on Automation Science and Engineering, 7(4):762-775, 2010

[6] Shen Z, Zhao QC and Jia QS, “Quantifying Heuristics in the Ordinal Optimization Framework,” J.DEDS, 20:441–471, 2010

[7] Yan H, Zhang B, Li S, Zhao QC, “A formal model for analyzing drug combination effects and its application in TNF-alpha-induced NFKappaB pathway,” BMC Systems Biology, 4:50, 2010.

[8] Sun J, Zhao QC and Luh PB, “Optimization of Group Elevator Scheduling with Advance Information”, IEEE Transactions on Automation Science and Engineering, 7(2):352-363, 2010

[9] Zhang X and Zhao QC, “Effects of Small world topology on the critical boundary for Boolean networks,” Physica A, 388 :3657-3666, 2009

[10] Zhao QC, Geirhofer S, Tong L and Sadler BM, “Opportunistic Spectrum Access via Periodic Channel Sensing”, IEEE Transactions on Signal Processing, 56(2):785-796, 2008

[11] Li X and Zhao QC, “Parallel Implementation of OBDD Based Splitting Surface Search for Power System”, IEEE Transactions on Power Systems, 22(4):1583-1593, 2007

[12] Zhao QC, Jia QS and Cao Y, “How much spare capacity is necessary for the security of resource networks?” Physica A, 373:861-873, 2007

[13]  Zhao QC and Krogh BH. “Formal Verification of Statecharts Using Finite-State Model Checkers”, IEEE Transactions on Control System Technology, 14(5): 943-950, 2006

[14] Zhao QC, Ho YC and Jia QS. “Vector Ordinal Optimization”, Journal of Optimization Theory and Applications, 125(2): 259-274, 2005

[15] Zhao QC. “A Remark on Inseparability of Min-Max Systems”, IEEE Trans. Automat. Contr., 49 (6): 967-970, 2004

[16] Yang K and Zhao QC. “Balance Problem of Min-Max Systems is co-NP hard”, Systems & Control Letters, 53(3-4):303-310, 2004

[17] Zhao QC, Sun K, Zheng DZ, Ma J and Lu Q. “A Study of System Splitting Strategies for Island Operation of Power System: A Two-phase Method Based on OBDDs”.  IEEE Transactions on Power Systems, 18(4):1556-1565, 2003

[18] Zhao QC and Zheng DZ. “On Stabilization of Min-Max Systems”. Automatica, 39(4):751-756, 2003

[19] Zhao QC, Krogh BH and Hubbard P. “Automatic Generation of Test Inputs for Embedded Control Systems”. IEEE Control System Magazine, 23(4): 49-57, 2003

[20] Ho YC, Zhao QC and Pepyne DL. “The No Free Lunch Theorem, Complexity, and Computer Security”. IEEE Trans. Automat. Contr., 48 (5): 783-793, 2003

[21] Zhao QC, Zheng DZ, Zhu XP. “Structure properties of min-max systems and existence of global cycle time”. IEEE Trans. Automat. Control, 46 (1): 148-151, 2001

[22] Zhao QC, Zheng DZ. “Stable and real-time scheduling of a class of hybrid dynamic systems”. J DEDS, 9 (1): 45-64, 1999