Curriculum Vita Oct 9, 2010

Basic Data Name: QIANCHUAN ZHAO Gender: Male Place of birth: Hebei, China Date of birth: 1969.12.29

Contact Mailing address: Qianchuan Zhao Dr. & Professor Center for Intelligent and Networked Systems, Department of Automation, Tsinghua University, Beijing 100084, China Tel: +8610-62783612 Fax: +8610-62796115 Email: [email protected]

Education Background — — —

1987.9-1992.7 Tsinghua University, Major in Automatic Control BE 1987.9-1992.7 Tsinghua University, Minor in Applied Mathematics BS 1992.9-1996.7 Tsinghua University, Major in Control Theory and Applications MS and Ph.d.

Working Experience — — — — — —

1996.8-1998.8 Department of Automation, Tsinghua University, Lecturer 1998.8-2003.12 Department of Automation, Tsinghua University, Associate Professor 2003.12-now Department of Automation, Tsinghua University, Professor 2000.3-2001.4 Carnegie Mellon University, Visiting Scholar 2002.5-2002.9 Harvard University, Visiting Scholar 2006.7-2006.11 Cornell University, Visiting Professor

Other Experience — — — — — — — —

2003.10-now Associate director of Center for Intelligent and Networked Systems, Department of Automation, Tsinghua University 2002.5-now Journal of Optimization Theory and Applications, Associate Editor 2008.6-now Journal of Control Theory and Applications, Associate Editor 2008.8-now IEEE Transactions on Automation Sciences and Engineering, Associate Editor 2008.10-now the IFAC Technical Committee 1.3 on Discrete Event and Hybrid Systems 2005.1-now National Science Foundation of China, Reviewer 2004 Workshop of Discrete Event Systems (WODES’04), IPC member 2004 International Symposium on Intelligent and Networked Systems (ISINS’2004), Secretary-general

— — — — — — — —

2005 CDC-ECC 2005, Associate Editor 2006 ICCA 2006, PC member 2008 WCICA08, PC member 2009 2nd IFAC workshop on Dependable Control of Discrete Systems (DCDS’09), PC member 2009 8th IFAC International Conference on Fieldbuses & networks in Industrial and embedded Systems (Fet’09), PC member 2011 3rd IFAC workshop on Dependable Control of Discrete Systems (DCDS’11), PC member IEEE member 2006~2008 IEEE Senior Member since Nov. 2008

Teaching — — — — — —

Discrete Event Dynamic Systems, course for graduate students. Linear Systems Theory, course for graduate students. Algebra in System and Control Theory, course for graduate students, with Prof. Jie Zhou. On topics of control engineering, course for undergraduate students. Won teaching award for young faculty members of Tsinghua University of year 2004. Supervised 10 master students, supervising 2 master students, co-advised 3 Ph.d student, supervising 5 Ph.d students, co-advising 4 Ph.d students.

Research Interests —

Modeling, analysis, control and optimization of complex networked systems

Recent Research Projects — — — — — — —

Timing Analysis and Control of 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

Award — — — — — —

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. GUAN ZHAO-ZHI AWARD of year 2003 for young Chinese author in control for the paper “Inseparability of Min-Max Systems”. Awarded the 2004 Program for New Century Excellent Talents in University in China. The 2005 UTRC Outstanding Achievement Award for the contribution in the project “Dispatching Performance Analysis”. The 2008 Tsinghua New Scholar Award The 2009 China National Nature Science Award (2nd class) for the project "Optimization Theory

and Optimization for Discrete Event Dynamic System".

Publication List of Qianchuan Zhao Oct 9, 2010

Patent Qiangchuan Zhao, Kai Sun, Da-zhong Zheng, Qiang Lu and Jin Ma, Chinese patent number ZL03122884.4, 2007.3.14 “Solution to preventing power system from collapse in case of catastrophe” on A New Approach for Determining Proper Splitting Strategies for Controlled System Islanding of Large-scale Power Networks Against Blackouts

Books Da-Zhong Zheng and Qianchuan Zhao, Discrete Event Dynamic Systems (in Chinese), Tsinghua University Press, 2001 Ho YC, Zhao QC, and Jia QS, Ordinal Optimization: Soft Optimization for Hard Problems, Springer, 2007

Papers Accepted 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, Accepted. Ding R, Zhao QC, “Encapsulation of Data-Cache Module in Localization,” Computer Applications and Software, Accepted. (In Chinese)

Wireless

Network

2010 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 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 Shen Z, Zhao QC and Jia QS, “Quantifying Heuristics in the Ordinal Optimization

Framework,” J.DEDS, 20:441–471, 2010 Yan H, Zhang B, Li S, Zhao QC, “A formal model for analyzing drug combination effects and its application in TNF-α-induced NFκB pathway,” BMC Systems Biology, 4:50, 2010 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 Yan CB，Lai HG, Zhao QC, “A Framework of Parallel Simulation for Multi-agent Systems,” Journal of System Simulation，12(S1):191-195, 2010 (In Chinese) Li X, Zhao QC, Guan XH, Tong L, “Sensing and Communication Tradeoff for Cognitive Access of Continues-Time Markov Channels,” IEEE WCNC 2010, April 18-21, 2010. Li X, Zhao QC, Guan XH, Tong L, “Optimal Cognitive Access of Markovian Channels under Tight Collision Constraints,” IEEE ICC 2010, pp.1-5, May 23-27, 2010. Wang D, Zhao QC, “Static Slicing for PLC Program with Ladder Transformation,” Chinese Control Conference 2010, pp.6025-6030, July 29-31, 2010. Zhao QC, Li X and Zheng DZ, “OBDD-Based Load Shedding Algorithm for Power Systems,” Invited paper in Power Systems Handbook, Vol. 1, 235-253, 2010, Springer. Zhao YJ, Zhao QC, Guan XH, “Stochastic Optimal Control for a Class of Manufacturing Systems based on Event-Based Optimization,” in Theory and Applications of Complex Systems and Robust Control Selected papers from the 3rd Japan-China Joint Workshop on Control, (Huang J, Liu KZ, Ohta Y, Eds.) Tsinghua University Press, 2010

2009 Zhang X and Zhao QC, “Effects of Small world topology on the critical boundary for Boolean networks,” Physica A, 388 :3657-3666, 2009 Shen Z, Ho YC and Zhao QC, “Ordinal Optimization and Quantification of Heuristic Designs,” J.DEDS, 19(3): 317-345, 2009 Shen Z, Zhao QC, Jia QS and Sun J, “Universal Alignment Probability Revisited”, Journal on Optimization Theory and Applications. 141(2): 371-376 ,2009 Zhao QC, “Complexity of comparing expressions in max-plus algebra,” Frontiers of electrical and electronic engineering in China, 4(4): 392-396, 2009 Jia QS and Zhao QC, “Strategy optimization for controlled Markov process with descriptive complexity constraint,” Science in China, Series F-Inf Sci, 52(11): 1993–2005, 2009 Feng HR, Zhao QC and Mu CD, “Modeling a typical enhanced 802.11 DCF-based protocol DIDD in non-saturated conditions,” J. Tsinghua Univ (Sci &Tech), 49(1):157-160, 2009 (In Chinese) Feng HR, Zhao QC and Mu CD, “Self-Adaptive Contention Window Adjustment Scheme for 802.11

Distributed Coordination Function ”, Jisuanji Gongcheng / Computer Engineering, 35(7): 8-10, 2009 (In Chinese) Li X, Zhao QC, Guan XH and Tong L, “On the Performance of Cognitive Access with Periodic Spectrum Sensing”, CoRoNet’09, pp.31-36, Beijing, China, September 21, 2009 Li MY, Zhao QC, and Luh PB, “Decoupled Load Flow and Its Feasibility in Systems with Dynamic Topology,” IEEE PES 2009 General Meeting, Paper No. 09GM0293, 2009 Sun T, Zhao QC and Luh PB, “A Rollout Algorithm for Multichain Markov Decision Processes with Average Cost,” POSTA 2009. Lecture Notes in Control and Information Sciences (LNCIS) vol. 389, 151-162 Shen Z and Zhao QC, “Ant Colony Optimization for Single Car Scheduling of Elevator Systems with Full Information,” The 4th IEEE Conference on Industrial Electronics and Applications (ICIEA 2009), Xi’an, China, pp. 1553-1559, May 2009 Yan CB, Lai HG and Zhao QC, “A Framework of Parallel Simulation for Multi-agent Systems”, CGNCC2009, pp.712-716, Beijing, China, Nov.14~15, 2009 Yan CB, Zhao QC, Huang N, Xiao GX and Li JS, “Line-side Buffer Assignment in General Assembly Line Systems with Material Handling,”' Proceedings of IFAC Symposium on Information Control Problems in Manufacturing, pp. 1239-1244, Moscow, Russia, 2009

2008 Zhao YJ, Zhao QC, Jia QS, Guan XH, and Cao XR, “Event-based optimization for dispatching policies in material handling systems of general assembly lines,” the 47th IEEE Conference on Decision and Control, Cancun, Mexico, Dec. 9-11, 2008, pp. 2173-2178 Zhao QC, Mao JF and Tao Y, “Time Separations of Cyclic Event Rule Systems with Min-max Timing Constraints,” Theoretical Computer Science, 407(1-3): 496-510, 2008 Zhao QC and Zheng DZ, “Robust Stability Analysis for Autonomous Min-max Systems,” European Journal of Control, 14(2):104-113, 2008 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 Sun T, Zhao QC, Luh PB and Tomastik R, “Optimization of Joint Replacement Policies for Multi-Part Systems by A Rollout Framework,” IEEE Transactions on Automation Science and Engineering, 5(4):609-619, 2008 Xia L, Zhao QC and Jia QS, “A Structure Property of Optimal Policies for Maintenance Problems with Safety-Critical Components,” IEEE Transactions on Automation Science and Engineering, 5(3):519-531, 2008 Shen Z and Zhao QC, “A Branch and Bound Method to the Continuous Time Model Elevator System with Full Information,” SICE Journal of Control, Measurement, and System Integration, 1(6):467–473, 2008

Yan H, Li S and Zhao QC*, “A formal model for analyzing and predicting combination effects for biosystems based on Bliss independence method,” the 4th Annual RECOMB Satellite on Systems Biology, Poster No. 248, 2008. Ho YC, Zhao QC, and Jia, QS, “Ordinal optimization: Soft optimization for hard problems,”(Abstract) INFORMS 2008 Annual Meeting, Washington, DC, USA, Oct. 12-15, 2008. Ho YC, Zhao QC, and Jia QS, “Applications of ordinal optimization: Some examples,” (Abstract) INFORMS 2008 Annual Meeting, Washington, DC, USA, Oct. 12-15, 2008. Zhao QC, Wang D and Gu FM, “Boolean equations for PLC code test script generation,” Proceedings of the 8th International Conference on Frontiers of Design and Manufacturing, Paper No. 377, 2008 Sun J, Zhao QC and Luh PB, “A Unified Optimization Framework for Population-Based Methods,” IEEE CASE 2008, pp. 377-382 Sun J, Zhao QC and Luh PB, “An Enhanced Nested Partitions Method,” IEEE CASE 2008, pp. 383-387 Zhao YJ, Yan CB, Zhao QC, Huang N, Li JS, Guan XH, “Efficient Simulation for Serial Production Lines Based on Aggregated Event-Scheduling,” IEEE CASE 2008, pp. 406-411 Jia QS and Zhao QC, “How Topology Affects Security: An Upper Bound of Electric Power Network Security,” 2008 IFAC Congress, pp.12947-12952 Li MY, Zhao QC and Luh PB, “DC Power Flow in Systems with Dynamic Topology,” 2008 PES General Meeting, Paper No. PESGM2008-000317 Yan CB and Zhao QC, “Progresses Advances in Assignment Problem and Comparison of Algorithms”(In Chinese), Chinese Control Conference 2008, pp.607-611

2007 Sun T, Zhao QC and Luh PB, “Incremental Value Iteration for Time Aggregated Markov Decision Processes”, IEEE Transactions on Automatic Control, 52(11):2177-2182, 2007 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 Sun T, Zhao QC and Luh PB, “On the Surrogate Gradient Algorithm for Lagrangian Relaxation”, Journal of Optimization Theory and Applications, 133(3): 413–416, 2007 Mao JF, Cassandras CG and Zhao QC, “Optimal dynamic voltage scaling in energy-limited nonpreemptive systems with real-time constraints”, IEEE Transactions on Mobile Computing, 6(6):678-688, 2007 Chen X, Zhao QC and Guan XH, “Energy-Efficient Sensing Coverage and Communication for Wireless Sensor Networks”, Journal of Systems Science and Complexity, 20: 225–234, 2007

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 Zhao QC, Geirhofer S, Tong L and Sadler BM, “Optimal dynamic spectrum access via periodic channel sensing”, WCNC 2007, T1S02P03, 2007 Yan H and Zhao QC, “Performance analysis of a class of workflow diagrams with queueing”, Control and Decision，22（2）：189－194，2007 (In Chinese) Liao JM and Zhao QC, “Theoretic Analysis on Retransmission in Wireless Sensor Networks”, Application Research of Computers, 24(7): 258-260,2007 (In Chinese) Shen Z and Zhao QC, “A Branch and Bound Method to the Continuous Time Model Elevator System with Full Information”, SICE Annual Conference 2007, Sept. 17-20, 2007, Kagawa University, Japan pp.327-330.

2006 Liu F and Zhao QC. “An efficient organization mechanism for spatial networks”, Physica A, 366:608-618, 2006. 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 Ho YC, Jia QS and Zhao QC, “The Equivalence between Ordinal Optimization in Deterministic Complex Problems and in Stochastic Simulation Problems”, J. DEDS, 16(3):405-411, 2006 Guan XH, Song C, Ho YC, Zhao QC, “Constrained Ordinal Optimization—A Feasibility Model Based Approach”, J. DEDS, 16(2):279-299, 2006 Jia QS, Ho YC and Zhao QC, “Comparison of Selection Rules Optimization”, Mathematical and Computer Modelling, 43 (9-10): 1150-1171, 2006

for

Ordinal

Yuan RX, Zhao QC, Cai H, Wang WY, Zhang X and Li H, “Service Selection Modeling in Networked Environments”, International Conference on E-Business Engineering, ICEBE-2006, 298-301, 2006. Jia, QS; Zhao, QC; Ho, YC, “A method based on Kolmogorov complexity to improve the efficiency of strategy optimization with limited memory space”, 2006 ACC, pp. 3105-3110 Jia, QS; Zhao, QC, “A SVM-based method for engine maintenance strategy optimization”, ICRA06, pp. 1066-1071. Sun, J; Zhao, QC; Luh, PB; Atalla, MJ, “Estimation of optimal elevator scheduling performance”, ICRA06, pp. 1078-1083. Wang YC, Zhao QC and Zheng DZ, “Fork-Join program response time on multiprocessors with exchangeable join”, Journal of Zhejiang University SCIENCE A, 7(6):927-936, 2006. Wang YC, Zhao QC and Zheng DZ, “Energy Optimized Cluster Rotation Algorithm in W ireless Sensor Networks”, Control and Decision, 21(4):400-404, 2006 (In Chinese)

Wang YC, Wang C, Tang W, Zhao QC, Zheng DZ and Guan XH, “A Vehicle Tracking System Based on Wireless Sensor Network”, Information and Control, 35(2):169-178, 2006 (In Chinese) Wang Z and Zhao QC, “A robust audio watermarking algorithm using psychoacoustic model”, Technical Acoustics, 25(3):248-252,2006 (In Chinese) Liao JM and Zhao QC, “Low Layer Data Management Protocol in Wireless Sensor Networks”, Computer Engineering and Applications, (31):127-132, 2006 (In Chinese)

2005 Zhao QC. “A remark on ‘Scalar equations for synchronous Boolean networks with biological applications’”. IEEE Trans. Neural Networks, 16(6), 1715-1716, 2005 Zhao QC. “Performance Bounds for a Class of Workflow Diagrams”, Proceedings of 2005 International Conference on Intelligent Computing, LNCS 3645, 626–635, 2005. Zhao QC, Ho YC and Jia QS. “Vector Ordinal Optimization”, Journal of Optimization Theory and Applications, 125(2): 259-274, 2005 Song C, Guan XH, Zhao QC, Ho YC. “Machine Learning Approach for Determining Feasible Plans of a Remanufacturing System”, IEEE Transactions on Automation Science and Engineering, 2(3): 262-275, 2005 Zhang X and Zhao QC, “Dynamics of Boolean Networks with Small-World Topology”, Chinese Control Conference 2005, 197-201, 2005. (in Chinese) Wang YC, Zhao QC and Zheng DZ, “Bottlenecks in production networks: an overview”, Journal of Systems Science and Systems Engineering, 14(3):347-363, 2005 Wang, YC; Han, DF; Zhao, QC; Guan, XH; Zheng, DZ, “Clusters partition and sensors configuration for target tracking in wireless sensor networks”, Embedded Software and Systems, LNCS 3605, 333-338, 2005 Song C, Guan XH, Zhao QC, Jia QS, “Planning remanufacturing systems by constrained ordinal optimization method with feasibility model”, 44th CDC-ECC05, pp. 4676-4681, 2005. Wang, N; Xu, WL; Zhao, QC, “Output feedback variable structure control of uncertain linear systems”, 44th CDC-ECC05, pp.5570-5575, 2005. Wang Y, Zhao QC and Zheng DZ, “Design and implementation of Self-Localization Method for Wireless Sensor Networks”, Computer Engineering and Applications, (13):4-6,23, 2005 (In Chinese) Tao Y and Zhao QC, “Computer Aided Design Software for Asynchronous Circuits ”, Computer Engineering and Applications, (27):83-88, 2005 (In Chinese)

2004 Zhao QC. “A Remark on Inseparability of Min-Max Systems”, IEEE Trans. Automat. Contr., 49 (6): 967-970, 2004 Yang K and Zhao QC. “Balance Problem of Min-Max Systems is co-NP hard”, Systems & Control Letters, 53(3-4):303-310, 2004 Ho YC, Pepyne DL, Zhao QC, Liu H, Yu Q, and Dukes B. “ProgramID”, J. DEDS, 14(4): 381-393, 2004 Mao JF and Zhao QC, “Verification Algorithms for Asynchronous Circuits”, Chinese Journal of Computers, 27(1):66-78, 2004 (In Chinese) Wang YC, Zhao QC and Zheng DZ, “Energy-Driven Adaptive Clustering Data Collection Protocol in Wireless Sensor Networks”, Proceedings of the 2004 International Conference on Intelligent Mechatronics and Automation(ICIMA2004), UESTC, Chengdu, China, August 26-31, 2004, 599-604. Sun T, Zhao QC, Luh PB and Tomastik RN, “Joint Replacement Optimization for Multi-Part Maintenance Problems”, Proceedings of the 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems, Sendai, Japan, September 2004, pp.1232-1237. Mao, JF; Zhao, QC; Cassandras, CG, “Optimal dynamic voltage scaling in power-limited systems with real-time constraints”, 43rd CDC, 1472-1477, 2004 Tu, G; Luh, PB; Zhao, QC; Tomastik, RN, “An optimization method for joint replacement decisions in maintenance”, 43rd CDC, 1472-1477, 2004 Wang, XX; Zhao, QC; Zheng, DZ, “Atmospheric furnace multiple-pass outlet temperature uniformity control using improved difference control technique”, Proceedings of the 2004 International Conference on Intelligent Mechatronics and Automation(ICIMA2004), UESTC, Chengdu, China, August 26-31, 2004, 182-186. Wang Z and Zhao QC, “Energy Quantization Based Audio Watermarking Algorithm”, Computer Engineering and Applications, (26):48-51,55,2004 (In Chinese) Xia L, Chen X, Zhao QC, Jiang YH and Guan XH, “The Introduction of Wireless Sensor Network and Its Application”, Automation Panorama，24(1):34-37, 2004 (In Chinese) Xia L, Zhao, QC, and Jia, QS, “The SRLF rule in multi-unit joint replacement maintenance problem and its optimality”, Abstrat at 12th INFORMS/APS Conference, June 23-25, 2004, Beijing, China. Zhao QC and Mao JF, “Time Separation for Cyclic Event Rule Systems”, Chinese Control Conference 2004, pp.799－803, 2004 Song C, Guan XH and Zhao QC, “Constrained Ordinal Optimization Approach for Remanufacturing Planning”, ICSSSM'04, pp.181-187, 2004

2003 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 Zhao QC, “Inseparability of Min-Max Systems”. Chiense Control Conference 2003, pp. 454-458, 2003 (Received GUAN ZHAO ZHI award) Zhao QC and Zheng DZ. “On Stabilization of Min-Max Systems”. Automatica, 39(4):751-756, 2003 Zhao QC and Zheng DZ. “Note on Structural Properties of Min-Max Functions and Eigenspace of Min-Max functions”, Lecture notes on control and information sciences (LNCIS), vol.294, 393-400, 2003 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 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 Tu G, Zhao QC, Luh PB, and Wang J. “Model Reduction for Fork/join Overhaul & Repair Systems with Rotable Inventory”. 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems，Las Vegas, Nevada, October 2003, 2039-2314 Cai Y and Zhao QC, “Discussion about Network Capability Relevant to Topology Information of Network”. Computer Engineering and Applications, 39(15): 178-183, 2003 (In Chinese) Zhao QC and Zheng DZ, “A Property of Fixed Point Sets of Min-Max Functions”, Chinese Control Conference 2003, pp.425-427, 2003 Wang Y and Zhao QC, “IP Network Simulation Based onNS2”, Computer Applications and Software, 20(3):28-29,71, 2003 (In Chinese)

2002 Cai Y and Zhao QC, “The Analysis of TCP Protocol Based on Max-Plus”, Chinese Journal of Computers, 25(11):1133-1143, 2002 (In Chinese) Sun K, Zhao QC and Zheng DZ, “A Hybrid Control f or Autonomous Systems of Electric Powe r Supply”, Control Theory and Applications, 19(1):23-28, 33, 2002 (In Chinese) Dai QH, Zhao QC and Jin YH, “Complex Media Network and Control”, Acta Automatica Sinica, 28(S1):134-141, 2002 (In Chinese) Kai, S; Zhao, QC; Zheng, DZ; Jin, M; Qiang, L, “A two-phase method based on OBDD for searching for splitting strategies of Large-Scale power systems”, POWERCON 2002, pp. 834-838, 2002.

Zhao QC, Krong BH and Zheng DZ, “Complexity of verification of event order in max-algebra models”, abstract TAL08-4 at ICCA02, 2002

2001 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 Wang Y, Zhao QC and Zheng DZ, “TCP congestion control algorithm on self-similar traffic network”, Journal of China Institute of Communications, 22(5): 31-38, 2001 (In Chinese) Qiao LA, Zhao QC and Zheng DZ, “Modeling and analysis of data flow generated by multi-sources”, Journal of China Institute of Communications, 22(10): 27-34, 2001 (In Chinease) Zhao, QC; Krogh, BH, “Formal verification of Statecharts using finite-state model checkers”, 2001 ACC, pp. 313-318, 2001

2000 Liu XC, Zhao QC and Zheng DZ, “Single machine earliness and tardiness scheduling problem with distinct due window using genetic algorithms”, Journal of Tsinghua University(Sci & Tech), 40(7):59-62, 2000 (In Chinese) Zhao QC and Zheng DZ, “Robustness of a Class of Timed Petri Nets with Constraints”, Acta Automatica Sinica, 26(6):803-806, 2000 (In Chinese) Zhao QC and Zheng DZ, “Robust Control for a class of DEDS”, Chinese Control Conference 2000, pp.28-32, 2000

1999 Zhao QC, Zheng DZ. “Stable and real-time scheduling of a class of hybrid dynamic systems”. J DEDS，9 (1): 45-64, 1999 Zhao QC, Zheng DZ, “Stable real-time scheduling of a class of perturbed hybrid dynamic system,” in Proc. 14th IFACWorld Congr., vol. J, Beijing, China, 1999, pp. 91–96. Shen T, Zhao QC and Zheng DZ, “An inventory control policy”, Acta Automatica Sinica, 25(3):337-343, 1999 (In Chinese)

1998 Zheng DZ and Zhao QC, “Time Optimal Routing for a Class of Hybrid Dynamic Systems (HDS)”, Control Theory and Applications,15(5):680-687, 1998 (In Chinese)

Zhao QC and Zheng DZ, “Performance estimation for CLB scheduling policy”，Chiense Control Conference 1998, (In Chinese) Liu XC, Zhao QC and Zheng DZ, “Single machine E/T scheduling with different release time and due dates”, Chiense Control Conference 1998, (In Chinese)

1997 Zhao QC and Zheng DZ, “On Robustness of Event-Order of DEDS”, Acta Automatica Sinica, 23(4):432-438, 1997 (4th Ho Pan Qing Yi Award) (In Chinese) Zhao QC and Zheng DZ, “Performance Estimations of Production Lines with Stochastic Processing Parameters”, Acta Automatica Sinica, 23（1）：90－93，1997 (In Chinese) Zhao QC and Zheng DZ, “On Robustness of a Class of Timed Petri Nets with Constraints”, Chinese Control Conference 1997, 1997 (In Chinese)

1996 Zhao QC and Zheng DZ, “Event feedback optimal scheduling of a class of HDS”, Chinese Control Conference 1996, 1996 (In Chinese)

1995 Zhao QC and Zheng DZ, “Optimal blocking problem for single repairable machine”, Chinese Control Conference 1995, 1995 (In Chinese)

1994 Zhao QC and Zheng DZ, “Algorithms of Suboptimal Design of Buffers’ Capacities for Flow Shops”, Control Theory and Applications, 11(6):764-769, 1994 (In Chinese) Zhao QC and Zheng DZ, “On Performance Estimations of Production Lines with Stochastic Processing Parameters”, Chinese Control Conference 1994, 1994 (In Chinese) Zhao QC and Lin YL, “Joint distribution and moments of sojourn time of homogeneous Markov chains with countable states”, Chinese Journal of Operations Research, 13(2):66-67, 1994 (In Chinese)

1993 Zhao QC and Zheng DZ, “Modeling and Analysis of Blocking Problem for Flow Shops”, Control Theory and Applications, 10(4):469-473, 1993 (In Chinese)

Zhao QC and Zhang ZF, “The total chromatic number of k-Cubes”, Journal of North University of China.Natural Science Edition,14(4):292-296,1993 (In Chinese)