學(xué)習(xí)經(jīng)歷
1980年考入北京航空航天大學(xué)本科, 分別于1984年、1987年、1991年在北航獲得學(xué)士、碩士、博士學(xué)位。
工作經(jīng)歷
1991-1993：北京航空航天大學(xué)自動(dòng)控制系講師、副教授；
1993-1995：Research Fellow, City University, London, UK
1995-至今：北京航空航天大學(xué)自動(dòng)控制系教授
研究領(lǐng)域
導(dǎo)航、制導(dǎo)與控制，可靠飛行控制，軟件可靠性與測(cè)試，軟件控制論
榮譽(yù)及獎(jiǎng)勵(lì)
開(kāi)授課程
本科生課程《應(yīng)用離散數(shù)學(xué)》；
研究生課程《模糊數(shù)學(xué)》，《軟件可靠性工程》
教學(xué)及科研成果
[1] Lin Tie, Kai-Yuan Cai, and Yan Lin, “On Uncontrollable Discrete-Time Bilinear Systems which are “Nearly” Controllable”, IEEE Transactions on Automatic Control, Vol.55, No.12, 2010, pp2853-2858.
[2] Bo Zhu, Kai-Yuan Cai, “Approximate trajectory tracking of input-disturbed PVTOL aircraft with delayed attitude measurements”, International Journal of Robust and Nonlinear Control, Vol.20, No.14, 2010, pp1610-1621.
[3] DedongYang, Kai-Yuan Cai, “Reliable Guaranteed Cost Sampling Control for Nonlinear Time-delay systems”, Mathematics and Computers in Simulation, Vol.80, No.10, 2010, pp2005-2018.
[4] Kai-Yuan Cai, Lei Zhang, “Fuzzy Reasoning as a Control Problem”, IEEE Transactions on Fuzzy Systems, Vol.16, No.3, 2008, pp600-614.
[5] Huai-Ning Wu, Kai-Yuan Cai, “H2 Guaranteed Cost Fuzzy Control Design for Discrete-Time Nonlinear Systems with Parameter Uncertainty”, Automatica, Vol.42, 2006, pp1183-1188.
[6] Kai-Yuan Cai, “Robustness of Fuzzy Reasoning and δ-Equalities of Fuzzy Sets”, IEEE Transactions on Fuzzy Systems, Vol.9, No.5, 2001, pp738-750.
[7] Kai-Yuan Cai, Ping Cao, Zhao Dong, Ke Liu, “Mathematical Modeling of Software Reliability Testing with Imperfect Debugging”, Computers and Mathematics with Applications, Vol.59, No.10, 2010, pp3245-3285.
[8] Cheng-Gang Bai, Kai-Yuan Cai, Qing-Pei Hu, Szu-Hui Ng, “On the Trend of Remaining Software Defects Estimation”, IEEE Transactions on Systems, Man, and Cybernetics – Part A, Vol.38, No.5, 2008, pp1129-1142.
[9] Kai-Yuan Cai, De-Bin Hu, Cheng-Gang Bai, Hai Hu, Tao Jing, “Does Software Reliability Growth Behavior Follow a Non-homogeneous Poisson Process”, Information and Software Technology, Vol.50, 2008, pp1232-1247.
[10] Kai-Yuan Cai, Zhao Dong, Ke Liu, “Software Testing Processes as a Linear Dynamic System”, Information Sciences, Vol.178, 2008, pp1558-1597.
[11] Kai-Yuan Cai, Changhai Jiang, Hai Hu, Chenggang Bai, “An Experimental Study of Adaptive Testing for Software Reliability Assessment”, Journal of Systems and Software, Vol.81, 2008, 1406-1429.
[12] Kai-Yuan Cai, Bo Gu, Hai Hu, Yong-Chao Li, “Adaptive Software Testing with Fixed-Memory Feedback”, Journal of Systems and Software, Vol.80, 2007, pp1328-1348.
[13] Kai-Yuan Cai, Yong-Chao Li, Ke Liu, “Optimal and Adaptive Testing for Software Reliability Assessment”, Information and Software Technology, Vol.46, 2004, pp989-1000.
[14] Kai-Yuan Cai, “Optimal Software Testing and Adaptive Software Testing in the Context of Software Cybernetics”, Information and Software Technology, Vol.44, 2002, pp841-855.
[15] Kai-Yuan Cai, Lin Cai, Wei-Dong Wang, Zhou-Yi Yu, David Zhang, “On the Neural Network Approach in Software Reliability Modeling”, Journal of Systems and Software, Vol.58, 2001, pp47-62.
[16] Kai-Yuan Cai, Software Defect and Operational Profile Modeling, Kluwer Academic Publishers, Boston/Dordrecht/London, 1998.
[17] Kai-Yuan Cai, “Censored Software-Reliability Models”, IEEE Transactions on Reliability, Vol.46, No.1, 1997, pp69-75.
[18] 蔡開(kāi)元，軟件可靠性工程基礎(chǔ)，清華大學(xué)出版社，1995.
[19] Kai-Yuan Cai, Chuan-Yuan Wen, Ming-Lian Zhang, “A Critical Review on Software Reliability Modeling”, Reliability Engineering and System Safety, Vol.32, 1991, pp357-371.
學(xué)術(shù)與社會(huì)兼職
1. 國(guó)際叢書主編：《The Kluwer International Series in Asian Studies on Computer and Information Science》；
2. 國(guó)際雜志編委：《Fuzzy Sets and Systems》, 《International Journal of Quality, Statistics, and Reliability》, 《International Journal of Grid and Distributed Computing》；
3. 國(guó)際雜志Guest-editor：《Fuzzy Sets and Systems》 (1996), 《Journal Systems and Software》 (2006), 《International Journal of Software Engineering and Knowledge Engineering》 (2006), 《IEEE Transactions on Reliability》 (2010)；
4. 中國(guó)計(jì)算機(jī)學(xué)會(huì)軟件工程專業(yè)委員會(huì)委員；
