000			03874nam a2200385za04500
001			17150
008			050703s2011 xxk eng d
020			_a9780857290977 99780857290977
082			_a519 _b223
100			_aCheng, Daizhan. _eauthor. _934126
245			_aAnalysis and Control of Boolean Networks _h[electronic resource]: _bA Semi-tensor Product Approach / _cby Daizhan Cheng, Hongsheng Qi, Zhiqiang Li.
300			_aXVI, 472 p. _bonline resource.
490			_aCommunications and Control Engineering
490			_x-0178-5354
505			_aPropositional Logic -- Semi-tensor Product of Matrices -- Matrix Expression of Logic -- Logical Equation -- Topological Structure of Boolean Networks -- Input-state Approach of Boolean Control Networks -- Controllability and Observability of BCN -- Realization of BCN -- Stability and Stabilization -- Disturbance Decoupling -- k-valued Network -- Input - Output Decomposition -- Random Boolean Network -- Appendix: Numerical Algorithms.
520			_aThe Boolean network has become a powerful tool for describing and simulating cellular networks in which the elements behave in an on-off fashion. Analysis and Control of Boolean Networks presents a systematic new approach to the investigation of Boolean control networks. The fundamental tool in this approach is a novel matrix product called the semi-tensor product (STP). Using the STP, a logical function can be expressed as a conventional discrete-time linear system. In the light of this linear expression, certain major issues concerning Boolean network topology - fixed points, cycles, transient times and basins of attractors - can be easily revealed by a set of formulae. This framework renders the state-space approach to dynamic control systems applicable to Boolean control networks. The bilinear-systemic representation of a Boolean control network makes it possible to investigate basic control problems including controllability, observability, stabilization, disturbance decoupling, identification, optimal control, etc.The book is self-contained, requiring only knowledge of linear algebra and the basics of the control theory of linear systems. It begins with a short introduction to prepositional logic and the concepts and properties of the STP and progressing via the (bi)linear expression of Boolean (control) networks to disturbance decoupling and decomposition of Boolean control systems. Finally multi-valued logic is considered as a more precise way of describing real networks and stochastic Boolean networks are touched upon. Relevant numerical calculations are explained in an appendix and a MATLAB® toolbox for the algorithms in the book can be downloaded from http://lsc.amss.ac.cn/~dcheng/.Analysis and Control of Boolean Networks will be a fundamental reference for researchers in systems biology, control, systems science and physics. The book was developed for a short course for graduate students and is suitable for that purpose. Computer scientists and logicians may also find this book to be of interest.
650			_923197 _aMATHEMATICS
650			_923197 _aMATHEMATICS
650			_aControl. _924383
650			_933829 _aMATHEMATICAL LOGIC AND FORMAL LANGUAGES
650			_933828 _aSYSTEMS BIOLOGY
650			_933826 _aMATHEMATICAL AND COMPUTATIONAL BIOLOGY
650			_933827 _aBIOLOGICAL NETWORKS, SYSTEMAS BIOLOGY
650			_933972 _aSYSTEMS THEORY
650			_933972 _aSYSTEMS THEORY
650			_934127 _aBIOLOGICAL MODELS
650			_923206 _aCOMPUTER SCIENCE
700			_aQi, Hongsheng. _933830
700			_eauthor. _934129
700			_aLi, Zhiqiang. _933832
700			_eauthor. _934129
710			_aSpringerLink (Online service) _9111
856			_uhttp://springer.escuelaing.metaproxy.org/book/10.1007/978-0-85729-097-7 _yir a documento _qURL
942			_2ddc _cCF
999			_c13899 _d13899