000 04314nam a22005295i 4500
001 978-0-85729-097-7
003 DE-He213
005 20251006084442.0
007 cr nn 008mamaa
008 101123s2011 xxk| s |||| 0|eng d
020 _a9780857290977
020 _a99780857290977
024 7 _a10.1007/978-0-85729-097-7
_2doi
082 0 4 _a519
_223
100 1 _aCheng, Daizhan.
_eauthor.
245 1 0 _aAnalysis and Control of Boolean Networks
_h[electronic resource] :
_bA Semi-tensor Product Approach /
_cby Daizhan Cheng, Hongsheng Qi, Zhiqiang Li.
264 1 _aLondon :
_bSpringer London :
_bImprint: Springer,
_c2011.
300 _aXVI, 472 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aCommunications and Control Engineering,
_x0178-5354
505 0 _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 0 _aMATHEMATICS.
650 0 _aCOMPUTER SCIENCE.
650 0 _aBIOLOGICAL MODELS.
650 0 _aSYSTEMS THEORY.
650 1 4 _aMATHEMATICS.
650 2 4 _aSYSTEMS THEORY, CONTROL.
650 2 4 _aCONTROL.
650 2 4 _aMATHEMATICAL AND COMPUTATIONAL BIOLOGY.
650 2 4 _aBIOLOGICAL NETWORKS, SYSTEMS BIOLOGY.
650 2 4 _aSYSTEMS BIOLOGY.
650 2 4 _aMATHEMATICAL LOGIC AND FORMAL LANGUAGES.
700 1 _aQi, Hongsheng.
_eauthor.
700 1 _aLi, Zhiqiang.
_eauthor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9780857290960
830 0 _aCommunications and Control Engineering,
_x0178-5354
856 4 0 _uhttp://dx.doi.org/10.1007/978-0-85729-097-7
_zVer el texto completo en las instalaciones del CICY
912 _aZDB-2-ENG
942 _2ddc
_cER
999 _c59943
_d59943