Analysis and control of Boolean networks. A semi-tensor product approach.

From MaRDI portal
Publication:992742


DOI10.1007/978-0-85729-097-7zbMath1209.93001MaRDI QIDQ992742

Daizhan Cheng, Zhi-Qiang Li, Hong-Sheng Qi

Publication date: 9 September 2010

Published in: Communications and Control Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-0-85729-097-7


93B05: Controllability

93-02: Research exposition (monographs, survey articles) pertaining to systems and control theory

93B07: Observability

06E30: Boolean functions

93B15: Realizations from input-output data

93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)


Related Items

On potential equations of finite games, On robust control invariance of Boolean control networks, On solutions of the matrix equation \(AX=B\) with respect to semi-tensor product, Linearization of nonlinear filter generators and its application to cryptanalysis of stream ciphers, Formulation and optimization control of a class of networked evolutionary games with switched topologies, Output tracking of switched Boolean networks under open-loop/closed-loop switching signals, Vector space structure of finite evolutionary games and its application to strategy profile convergence, Invertibility of higher order \(k\)-valued logical control networks and its application in trajectory control, Anti-synchronization of two coupled Boolean networks, A note on the observability of temporal Boolean control network, Reachability/controllability of high order mix-valued logical networks, Function perturbations in Boolean networks with its application in a \textit{D. melanogaster} gene network, Boolean derivative calculation with application to fault detection of combinational circuits via the semi-tensor product method, Controllability of Boolean control networks via the Perron-Frobenius theory, A matrix approach to graph maximum stable set and coloring problems with application to multi-agent systems, Existence and number of fixed points of Boolean transformations via the semi-tensor product method, Stability and stabilization of Boolean networks with impulsive effects, On finite potential games, On controllability and near-controllability of discrete-time inhomogeneous bilinear systems without drift, Output controllability and optimal output control of state-dependent switched Boolean control networks, Complete synchronization of temporal Boolean networks, Consistent stabilizability of switched Boolean networks, State feedback stabilization for probabilistic Boolean networks, System decomposition with respect to inputs for Boolean control networks, Disturbance decoupling control design for switched Boolean control networks, On Boolean control networks with maximal topological entropy, Minimum energy control and optimal-satisfactory control of Boolean control network, On the periodic trajectories of Boolean control networks, Kalman decomposition for Boolean control networks, Stability and stabilization of a class of finite evolutionary games, Set stabilization for switched Boolean control networks, Controllability of probabilistic Boolean control networks, Stabilization and set stabilization of delayed Boolean control networks based on trajectory stabilization, On reachability and controllability of switched Boolean control networks, On controllability of discrete-time bilinear systems by near-controllability, Controllability and observability of singular Boolean control networks, On coset weighted potential game, \(L(p,q)\)-label coloring problem with application to channel allocation, Event-triggered control for the synchronization of Boolean control networks, Detectability of Boolean networks with disturbance inputs, On reducible state variables of logical control networks, On controllability and stabilizability of probabilistic Boolean control networks, Controllability of Boolean control networks avoiding states set, Output tracking control of Boolean control networks via state feedback: constant reference signal case, Output feedback stabilization of Boolean control networks, An algebraic expression of finite horizon optimal control algorithm for stochastic logical dynamical systems, A note on observability of Boolean control networks, Invertibility and nonsingularity of Boolean control networks, Set stability and set stabilization of Boolean control networks based on invariant subsets, Finite automata approach to observability of switched Boolean control networks, Limit set problem of multi-agent systems with finite states: an eigenvalue-based approach, State feedback based output tracking control of probabilistic Boolean networks, Observability of Boolean control networks with time-variant delays in states, Input-output decoupling control design for switched Boolean control networks, Pinning control design for feedback stabilization of constrained Boolean control networks, Event-triggered control for the stabilization of probabilistic Boolean control networks, Redefined observability matrix for Boolean networks and distinguishable partitions of state space, Minimal controllability of conjunctive Boolean networks is NP-complete, Observability of Boolean networks via set controllability approach, Algebraic formulation and Nash equilibrium of competitive diffusion games, On skew-symmetric games, Synchronization of switched logical control networks via event-triggered control, Optimization-based approaches to control of probabilistic Boolean networks, Multivariable fuzzy control based mobile robot odor source localization via semitensor product, Optimal control of probabilistic logic networks and its application to real-time pricing of electricity, Further results on feedback stabilization control design of Boolean control networks, On algorithms for state feedback stabilization of Boolean control networks, Function perturbations on singular Boolean networks, Global robust stability and stabilization of Boolean network with disturbances, Discrimination of singleton and periodic attractors in Boolean networks, Nonsingularity of feedback shift registers, Incomplete-profile potential games, Algebraic formulation and topological structure of Boolean networks with state-dependent delay, From Boolean game to potential game, The transformation between the Galois NLFSRs and the Fibonacci NLFSRs via semi-tensor product of matrices, A probabilistic approach to control of complex systems and its application to real-time pricing, On robust synchronization of drive-response Boolean control networks with disturbances, Robust output controllability analysis and control design for incomplete Boolean networks with disturbance inputs, Modeling and stability analysis for Markov jump networked evolutionary games, Controllability, reachability, and stabilizability of finite automata: a controllability matrix method, A matrix approach to modeling and optimization for dynamic games with random entrance, Stochastic stability and stabilization of \(n\)-person random evolutionary Boolean games, Optimal control of Boolean control networks with average cost: a policy iteration approach, Steady-state analysis of probabilistic Boolean networks, Column stacking approach to resolution of systems of fuzzy relational inequalities, Strategy optimization for static games based on STP method, Set stability and synchronization of logical networks with probabilistic time delays, A new calculation for Boolean derivative using Cheng product, Robustness analysis of logical networks and its application in infinite systems, \(l_{1}\)-gain analysis and model reduction problem for Boolean control networks, Function perturbation impact on stability in distribution of probabilistic Boolean networks, Rapid compressed sensing reconstruction: a semi-tensor product approach, Completeness and normal form of multi-valued logical functions, Finite-time stability analysis of stochastic switched Boolean networks with impulsive effect, Optimal control algorithms for switched Boolean network, Optimization of multi-criteria facility-based systems via vector potential approach, General decomposition of fuzzy relations: semi-tensor product approach, Optimal control of singular Boolean control networks via Ledley solution method, On adequate sets of multi-valued logic, A real method for solving quaternion matrix equation \(\mathbf{X}-\mathbf{A}\hat{\mathbf{X}}\mathbf{B} = \mathbf{C}\) based on semi-tensor product of matrices, Controllability of Boolean networks via input controls under Harvey's update scheme, Attractor controllability of Boolean networks by flipping a subset of their nodes, Modelling and strategy optimisation for a kind of networked evolutionary games with memories under the bankruptcy mechanism, Morgan’s problem of Boolean control networks, Synchronization of switched Boolean networks with impulsive effects, Lyapunov-Based Stability and Construction of Lyapunov Functions for Boolean Networks, Controllability of asynchronous Boolean multiplex control networks, Bisimulations of Boolean Control Networks, Robust set stabilization of Boolean control networks with impulsive effects, On Identification of Boolean Control Networks, Bisimulations of Probabilistic Boolean Networks, Bayesian selection probability estimation for probabilistic Boolean networks, Subspace controllability of Boolean networks, Minimum time control of large‐scale boolean control networks with constraints, On disturbance decoupling problem of Boolean control networks, State feedback control design to avoid players going bankrupt, Bisimulations of boolean control networks with impulsive effects and its application in controllability, An average optimal control approach to the set stabilization problem for boolean control networks, Dynamics and control of singular boolean networks, Topologies on quotient space of matrices via semi‐tensor product, Stability analysis of state‐triggered impulsive boolean networks based on a hybrid index model, Decompositions of finite games: From weighted inner product to standard inner product, An improved multiple‐state observer of Boolean control networks, Controllability and observability of state‐dependent switched Boolean control networks with input constraints, Perturbation Analysis for Controllability of Logical Control Networks, Input–output decoupling for mix-valued logical control networks via the semi-tensor product method, Model matching of switched asynchronous sequential machines via matrix approach, Algebraization and Optimization of Networked Evolutionary Boxed Pig Games with Passive Reward and Punishment, Lyapunov‐Based Stability of Mix‐Valued Logical Networks, A Matrix Approach to the Analysis and Control of Networked Evolutionary Games with Bankruptcy Mechanism, An Improved Algorithm for Siphons and Minimal Siphons in Petri Nets Based on Semi-tensor Product of Matrices, Sampled-Data State Feedback Stabilization of Boolean Control Networks, Multiple Fuzzy Relation and Its Application to Coupled Fuzzy Control, Robust graph coloring based on the matrix semi-tensor product with application to examination timetabling, Semi-tensor product approach to networked evolutionary games, Optimal control of random evolutionary Boolean games, SURVEY ON APPLICATIONS OF SEMI-TENSOR PRODUCT METHOD IN NETWORKED EVOLUTIONARY GAMES, Reduction and Analysis of Boolean Control Networks by Bisimulation, Strategy set and payoff optimization of a type of networked evolutionary games, Sampled-data state feedback control design for evolutionary threshold public goods games on coupled networks, Algebraic verification of finite group-based potential games with vector payoffs, Identification and stabilization of faulty Boolean control networks, Safe control of logical control networks with random impulses, A survey on observability of Boolean control networks, Recent developments of Boolean networks with switching and constraints, Dynamics and convergence of hyper-networked evolutionary games with time delay in strategies, Edge removal towards asymptotical stabilizability of Boolean networks under asynchronous stochastic update, A novel method for driven stability of NFSRs via STP, System identification of fuzzy relation matrix models by semi-tensor product operations, Parallel fuzzy relation matrix factorization towards algebraic formulation, universal approximation and interpretability of MIMO hierarchical fuzzy systems, Stability analysis of Boolean networks: an eigenvalue approach, A unified transform method for general robust property of probabilistic Boolean control networks, Design of reduced-order and pinning controllers for probabilistic Boolean networks using reinforcement learning, Disturbance decoupling of Boolean networks via robust indistinguishability method, Finite-time controllability and stabilization of probabilistic logical systems with state-dependent constraint via subset transition method, Modeling, analysis, and dynamics of Bayesian games via matrix-based method, Robust optimal control of logical control networks with function perturbation, Stabilization of discrete-time switched systems with constraints by dynamic logic-based switching feedback, Asymptotical set stabilization of large-scale logical networks with stochastic delays and the application in finite-field networks, Stabilisation and set stabilisation of periodic switched Boolean control networks, State-flipped control and Q-learning for finite horizon output tracking of Boolean control networks, Finite-time stability of hybrid systems with continuous and Boolean dynamics, Controllability and set controllability of periodically switched Boolean control networks, Matrix-based flipping method for improving the robustness of Boolean networks, Optimal Control of Finite-Valued Networks, Observability conditions of Boolean control networks, Controllability Analysis and Control Design for Switched Boolean Networks with State and Input Constraints, Intermittent Synchronization of Cascaded Boolean Networks with Time Delays, On Regular Subspaces of Boolean Control Networks, Controllability of Boolean control networks under asynchronous stochastic update with time delay, Robust stability and stabilisation of Boolean networks with disturbance inputs, A survey on cross-discipline of control and game, Topological structure and optimal control of singular mix-valued logical networks, A Control Lyapunov Function Approach to Feedback Stabilization of Logical Control Networks, Output-Controllability and Output-Near-Controllability of Driftless Discrete-Time Bilinear Systems, On Galois NFSRs equivalent to Fibonacci ones, Traffic congestion pricing via network congestion game approach, State feedback for set stabilization of Markovian jump Boolean control networks, Stability analysis of probabilistic Boolean networks with switching topology, Finite horizon tracking control of probabilistic Boolean control networks, Sampled-data general partial synchronization of Boolean control networks, Robust stability of switched delayed logical networks with all unstable modes, A comprehensive survey on STP approach to finite games, Robust stability of switched Boolean networks with function perturbation, Pinning detectability of Boolean control networks with injection mode, Reduced-order observer design for fault diagnosis of Boolean control networks, Observability for Markovian jump Boolean network with random delay effect in states, Synchronization of drive-response singular Boolean networks, Matrix approach to verification of finite multi-potential games, A minimum adequate set of multi-valued logic, State feedback controller design for the synchronization of Boolean networks with time delays, Isomorphism and equivalence of Galois nonlinear feedback shift registers, Set controllability of Markov jump switching Boolean control networks and its applications, Self-triggered control of probabilistic Boolean control networks: a reinforcement learning approach, Passive-active fault detection of Boolean control networks, On networks over finite rings, Set stability of switched delayed logical networks with application to finite-field consensus, On detectability of Boolean control networks, Event-triggered mechanism of designing set stabilization state feedback controller for switched Boolean networks, Attitude stabilization of rigid spacecraft with disturbance generated by time varying uncertain exosystems, Finite-time pinning stabilization of Markovian jump Boolean networks, Function perturbation impact on asymptotical stability of probabilistic Boolean networks: changing to finite-time stability, Stability analysis of time-delay discrete systems with logic impulses, Output tracking of probabilistic Boolean networks by output feedback control, On the properties of Cheng projection, The set stabilization problem for Markovian jump Boolean control networks: an average optimal control approach, Asymptotical feedback controllability of probabilistic logic control networks, Distributional observability of probabilistic Boolean networks, Logical matrix factorization towards topological structure and stability of probabilistic Boolean networks, Constrained set controllability of logical control networks with state constraints and its applications, Controllability of higher order Boolean control networks, A new linearization method for nonlinear feedback shift registers, Controllability of Markovian jump Boolean control networks, Set reachability and observability of probabilistic Boolean networks, Synchronization of drive-response Boolean control networks with impulsive disturbances, Event-triggered control for disturbance decoupling problem of mix-valued logical networks, Robust controllability and observability of Boolean control networks under different disturbances, Attitude control of rigid spacecraft with disturbance generated by time varying exosystems, Model and control for a class of networked evolutionary games with finite memories and time-varying networks, Matrix approach to detectability of discrete event systems, Stabilization of Boolean control networks with stochastic impulses, On stability of multi-valued nonlinear feedback shift registers, Design of fixed points in Boolean networks using feedback vertex sets and model reduction, Stabilizing Boolean networks by optimal event-triggered feedback control, Cascading state-space decomposition of Boolean control networks by nested method, Novel way to research nonlinear feedback shift register, A matrix approach to hypergraph stable set and coloring problems with its application to storing problem, Construction of a Boolean model of gene and protein regulatory network with memory, On the observability of free Boolean networks via the semi-tensor product method, Cycles of periodically time-variant Boolean networks, Asymptotic stability of differential systems with impulsive effects suffered by logic choice, Controllability of probabilistic Boolean control networks based on transition probability matrices, Bi-decomposition of multi-valued logical functions and its applications, Pinning control design for robust output tracking of \(k\)-valued logical networks, Disturbance decoupling of mix-valued logical networks via the semi-tensor product method, Graph theory methods for decomposition w.r.t. outputs of Boolean control networks, Linearization of multi-valued nonlinear feedback shift registers, Control design for output tracking of delayed Boolean control networks, On stabilization and set stabilization of multivalued logical systems, Bistability and asynchrony in a Boolean model of the \textsc{L}-arabinose operon in \textit{Escherichia coli}, State feedback design for set stabilization of probabilistic Boolean control networks, The equivalence issue of two kinds of controllers in Boolean control networks, Robust invariant set analysis of Boolean networks, Simultaneous stabilization for a set of Boolean control networks, Synchronization of Boolean networks with time delays, Stability of a switched Boolean network via designing switching laws, Observability of Boolean networks: a graph-theoretic approach, Symbolic dynamics of Boolean control networks, A congestion game framework for service chain composition in NFV with function benefit, Matrix expression of finite Boolean-type algebras, On quotients of Boolean control networks, Controllability and stabilization of periodic switched Boolean control networks with application to asynchronous updating, Stabilization and set stabilization of switched Boolean control networks via flipping mechanism, On state feedback asymptotical stabilization of probabilistic Boolean control networks, Positive-controllability, positive-near-controllability, and canonical forms of driftless discrete-time bilinear systems, Asymptotical feedback controllability of continuous-time probabilistic logic control networks, \(\mathcal{L_C}\) structure-preserving method based on semi-tensor product of matrices for the QR decomposition in quaternionic quantum theory, Mean-square stability of discrete-time switched systems under modeled random switching, Controllability of discrete-time inhomogeneous bilinear systems with real spectrum: algebraically verifiable criteria, Event-triggered set stabilization of impulsive logical control networks based on the hybrid index model approach, Self-triggered scheduling for the stabilization of impulsive Boolean control networks, Lebesgue sampling approach to robust stabilization of Boolean control networks with external disturbances, Set stabilizability of switched Boolean control networks via Ledley antecedence solution, Set stabilizability of impulsive probabilistic Boolean networks via impulsive sequence design, Simplification of logical functions with application to circuits, Controllability of Context-Sensitive Probabilistic Mix-Valued Logical Control Networks with Constraints, Feedback control and output feedback control for the stabilisation of switched Boolean networks, On Controllability of Delayed Boolean Control Networks, Controllability and observability of Boolean networks arising from biology, Partial stability and stabilisation of Boolean networks, Minimum-Time State Feedback Stabilization of Constrained Boolean Control Networks, Feedback control design for the complete synchronisation of two coupled Boolean networks, A Weighted Pair Graph Representation for Reconstructibility of Boolean Control Networks, Mix-valued logic-based formation control, A Semi-Tensor Product Approach to Pseudo-Boolean Functions with Application to Boolean Control Networks


Uses Software