演讲人简介：
I.  PROFESSIONAL EXPERIENCE
1987-1990-1996-Present  Assistant/Associate/Full Professor, Computer Science & Info Systems Dept.,
Bradley University, Peoria, Illinois 61625, U.S.A.
Fall, 2009 (Sabbatical) Visiting Professor, State Key Lab of Software Engineering
WuHan University, WuHan, China.
Fall, 2002(Sabbatical) Visiting Professor, Institute of Systems Science
Institute of Systems Sciences, Chinese Academy of Science, Beijing, China.
Fall, 1995(Sabbatical) Visiting Senior Systems Analyst
Corporate Information Services, Caterpillar Inc. Peoria, Illinois, U.S.A.
1985-1987   Assistant Professor, Math & Computer Science Dept.
Indiana University at South Bend, South Bend, Indiana, U.S.A.

II.  EDUCATION
Ph. D. /M. Sc. Systems Science & Mathematics, August  1985/December 1981
Washington University in St. Louis, U.S.A.
Post-graduate Study, Automatic Control, 1978-1980
Graduate School, Chinese Academy of Science, Beijing, China.
Certificate, Electrical Engineering, January 1977
Nanjing University of Aeronautics and Astronautics, China.

报告内容简介：
The stability of Boolean networks and the stabilization of Boolean control networks are investigated. Using semi-tensor product of matrixes and the matrix expression of logic, the dynamics of a Boolean (control) network can be converted to a discrete time linear (bilinear) dynamics, called the algebraic form of the Boolean (control) network. They provide a framework for this study. Main results consist of two parts: (i) Using logic coordinate transformation, the known sufficient condition based on incidence matrix has been improved. It is also used in stabilizer design. (ii)Based on algebraic form, necessary and sufficient conditions for stability and stabilization respectively are obtained.