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