個(gè)人簡(jiǎn)介
1987年9月考入中國科技大學(xué)計(jì)算機(jī)科學(xué)技術(shù)系,
1992年7月本科畢業(yè)并獲得工學(xué)學(xué)士學(xué)位。同年進(jìn)入東方通信公司工作。
1996年9月考取清華大學(xué)工程物理系核能科學(xué)與工程專業(yè)研究生,
1999年7月研究生畢業(yè)并獲得工學(xué)碩士學(xué)位。同年考入清華大學(xué)自動(dòng)化系攻讀控制理論與控制工程專業(yè)博士學(xué)位,研究方向?yàn)殡x散事件系統(tǒng)的代數(shù)方法,導(dǎo)師為鄭大鐘教授。
2003年7月畢業(yè)獲得博士學(xué)位后到北京交通大學(xué)電子信息學(xué)院工作至今。2005年12月被評(píng)為副教授。
研究方向
離散事件系統(tǒng)的代數(shù)方法(極大代數(shù),極小極大代數(shù),及其在異步電路時(shí)序分析中的應(yīng)用)
系統(tǒng)與控制理論(狀態(tài)空間方法)
科研項(xiàng)目
國家自然科學(xué)基金項(xiàng)目:面向異步電路CAD的離散事件系統(tǒng)時(shí)間層次模型研究
學(xué)術(shù)著作
[1] Yiping Cheng, Da-Zhong Zheng. Completeness of idempotent semifields and a generalization of the linear extension theorem in max-plus algebra. In: Proceedings 2nd International Conference on Control and Automation, Xiamen, China, Jun. 2002.
[2] Yiping Cheng, Da-Zhong Zheng. On the cycle time of non-autonomous min-max systems. In: Proceedings 2002 Workshop on Discrete Event Systems, Zaragoza, Spain, Oct. 2002. (ISTP檢索)
[3] Yiping Cheng, Da-Zhong Zheng. Ultimate periodicity of orbits for min-max systems. IEEE Transactions on Automatic Control, 47(11):1937-1940, Nov. 2002.(SCI檢索)
[4] 程軼平,鄭大鐘. 非自治非線性DEDS的周時(shí)研究. 控制與決策,18(3):295-299, May 2003. (EI檢索)
[5] Yiping Cheng, Da-Zhong Zheng. A cycle time computing algorithm and its application in the structural analysis of min-max systems. Discrete Event Dynamic Systems: Theory and Applications, 14(1):5-30,2004. (SCI檢索)
論文[5]解決了DEDS學(xué)術(shù)界多年沒有解決的極小極大系統(tǒng)的cycle time有效計(jì)算問題,是該領(lǐng)域的重大成果。申請(qǐng)人因此于2004年榮獲清華大學(xué)優(yōu)秀博士學(xué)位論文二等獎(jiǎng)。
從2003年7月開始,申請(qǐng)人在北京交通大學(xué)電子信息工程學(xué)院工作,期間繼續(xù)從事離散事件系統(tǒng)的研究,并逐步將研究興趣擴(kuò)展到控制理論的其他領(lǐng)域。從2005年開始,申請(qǐng)人獲得國家自然科學(xué)基金面上項(xiàng)目資助,受資助課題為“面向異步電路CAD的離散事件系統(tǒng)時(shí)間層次模型研究”,為期三年。任職后已發(fā)表論文有:
[6] Yiping Cheng, Da-Zhong Zheng. Min-max inequalities and the timing verification problem with max and linear constraints. Discrete Event Dynamic Systems: Theory and Applications, 15(2):119-143, June 2005. (SCI檢索)
[7] Yiping Cheng. Floating point computation of cycle time for min-max functions. In: Proceedings 2005 International Conference on Control and Automation (ICCA 2005), pp. 989-992, Budapest, Hungary, June 2005. (EI, ISTP檢索)
[8] Yiping Cheng. A survey of the theory of min-max systems. In: Proceedings 2005 Conference on Intelligent Computing (ICIC 2005), pp. 616-625, Hefei, China, Aug. 2005. (SCI, EI, ISTP檢索)
[9] Yiping Cheng. 基于CARMA模型多變量系統(tǒng)的j步輸出預(yù)估, 《控制與決策》, 2006年9月。
獲獎(jiǎng)榮譽(yù)
2004年7月(博士畢業(yè)后一年)獲清華大學(xué)優(yōu)秀博士學(xué)位論文二等獎(jiǎng)