Synthesis of Boolean Networks via Semi-tensor Product
This paper gives a systematic survey on the semi-tensor product approach to logical systems such as Boolean (control) networks.First the history of Boolean networks is reviewed,and the mathematical frameworks for Boolean network,Boolean control network,and probabilistic Boolean (control)network respectively are presented.Then the semi-tensor product of ma-trices is introduced as a fundamental tool of this approach.Using it,two key techniques for this approach:(1)algebraic (or matrix)expression of logic;and (2)the state space description of logical dynamics,are introduced.The topological structure of Boolean network is analyzed via this approach.Finally,some control problems are investigated,which include controllability and observability,realization,disturbance decoupling,stability and stabilization,optimal control,identi fication,etc.In one word, the paper intends to provide a comprehensive guideline to the theory of synthesis and control of Boolean networks.
CHENG Daizhan QI Hongsheng ZHAO Yin
Key Lab.of Systems and Control,AMSS,Chinese Academy of Sciences,Beijing 100190,P.R.China
国际会议
The 30th Chinese Control Conference(第三十届中国控制会议)
烟台
英文
1-12
2011-07-01（万方平台首次上网日期，不代表论文的发表时间）