Analysis and control of Boolean networks: a semi-tensor product approach

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). Usingthe 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 toBoolean 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 etc. Shows the reader methods of dealing with biologically-derived networks mathematically using well-known and proven techniques MATLAB® toolbox allows the reader to simulate the results of algorithms easily Demonstrates how logical functions can be translated into matrices for arithmetic treatment. INDICE: Propositional 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.

• ISBN: 978-0-85729-096-0
• Editorial: Springer
• Encuadernacion: Cartoné
• Páginas: 460
• Fecha Publicación: 29/12/2010
• Nº Volúmenes: 1
• Idioma: Inglés