Analysis and control of Boolean networks. A semi-tensor product approach.
From MaRDI portal
Publication:992742
DOI10.1007/978-0-85729-097-7zbMath1209.93001OpenAlexW2486512961MaRDI 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
stabilityoptimal controlobservabilitycontrollabilitydisturbance decouplingrandom Boolean networkslogical equationsrealizationstate-spaceBoolean control networks, semi-tensor productmultivalued networks
Controllability (93B05) Research exposition (monographs, survey articles) pertaining to systems and control theory (93-02) Observability (93B07) Boolean functions (06E30) Realizations from input-output data (93B15) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items
Controllability of Boolean networks via input controls under Harvey's update scheme ⋮ Attractor controllability of Boolean networks by flipping a subset of their nodes ⋮ Optimal Control of Finite-Valued Networks ⋮ On Identification of Boolean Control Networks ⋮ Modelling and strategy optimisation for a kind of networked evolutionary games with memories under the bankruptcy mechanism ⋮ Observability conditions of Boolean control networks ⋮ Morgan’s problem of Boolean control networks ⋮ Synchronization of switched Boolean networks with impulsive effects ⋮ Controllability Analysis and Control Design for Switched Boolean Networks with State and Input Constraints ⋮ 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 ⋮ Lyapunov-Based Stability and Construction of Lyapunov Functions for Boolean Networks ⋮ Controllability of asynchronous Boolean multiplex control networks ⋮ 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 ⋮ Bisimulations of Probabilistic Boolean Networks ⋮ 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 ⋮ Parameter learning of stochastic Boolean networks ⋮ 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 ⋮ Direct Methods of Solving Quaternion Matrix Equation Based on STP ⋮ Lyapunov-based stability of time-triggered impulsive logical dynamic networks ⋮ Controllability and observability of Boolean control networks subject to stuck-at fault ⋮ Output feedback observability of switched Boolean control networks ⋮ Compound product of hypermatrices ⋮ Robust feedback set stabilization of logic networks with state-dependent uncertain switching and control constraints ⋮ Observability of periodically switched Boolean control networks ⋮ Stabilization of discrete-time switched systems with constraints by dynamic logic-based switching feedback ⋮ On robust control invariance and robust set stabilization of mix‐valued logical control networks ⋮ Event‐triggered control for sampled‐data set stabilization of switched delayed boolean control networks ⋮ Robust synchronization of coupled logical networks subject to stochastic function perturbations ⋮ 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 ⋮ Robust set stability of probabilistic Boolean networks under general stochastic function perturbation ⋮ Asymptotic stability of probabilistic logical networks with random impulsive effects ⋮ Bisimulations of Boolean Control Networks ⋮ Intermittent Synchronization of Cascaded Boolean Networks with Time Delays ⋮ On Regular Subspaces of Boolean Control Networks ⋮ Functional observer design for Boolean control networks with unknown structures ⋮ Controllability of Boolean control networks under asynchronous stochastic update with time delay ⋮ Robust stability and stabilisation of Boolean networks with disturbance inputs ⋮ An Improved Algorithm for Siphons and Minimal Siphons in Petri Nets Based on Semi-tensor Product of Matrices ⋮ 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 ⋮ Sampled-Data State Feedback Stabilization of Boolean Control Networks ⋮ Perturbation Analysis for Controllability of Logical Control Networks ⋮ A survey on cross-discipline of control and game ⋮ Topological structure and optimal control of singular mix-valued logical networks ⋮ Output-Controllability and Output-Near-Controllability of Driftless Discrete-Time Bilinear Systems ⋮ Input–output decoupling for mix-valued logical control networks via the semi-tensor product method ⋮ Multiple Fuzzy Relation and Its Application to Coupled Fuzzy Control ⋮ 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 ⋮ Robust set stabilization of Boolean control networks with impulsive effects ⋮ Robust graph coloring based on the matrix semi-tensor product with application to examination timetabling ⋮ Semi-tensor product approach to networked evolutionary games ⋮ A Control Lyapunov Function Approach to Feedback Stabilization of Logical Control Networks ⋮ 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 ⋮ A Matrix Approach to the Analysis and Control of Networked Evolutionary Games with Bankruptcy Mechanism ⋮ State feedback based output tracking control of probabilistic Boolean networks ⋮ On potential equations of finite games ⋮ On robust control invariance of Boolean control networks ⋮ Detectability of Boolean networks with disturbance inputs ⋮ On reducible state variables of logical control networks ⋮ Observability of Boolean control networks with time-variant delays in states ⋮ Input-output decoupling control design for switched Boolean control networks ⋮ On solutions of the matrix equation \(AX=B\) with respect to semi-tensor product ⋮ Pinning control design for feedback stabilization of constrained Boolean control networks ⋮ Linearization of nonlinear filter generators and its application to cryptanalysis of stream ciphers ⋮ Event-triggered control for the stabilization of probabilistic Boolean control networks ⋮ 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 ⋮ Redefined observability matrix for Boolean networks and distinguishable partitions of state space ⋮ Minimal controllability of conjunctive Boolean networks is NP-complete ⋮ Vector space structure of finite evolutionary games and its application to strategy profile convergence ⋮ Observability of Boolean networks via set controllability approach ⋮ Algebraic formulation and Nash equilibrium of competitive diffusion games ⋮ Invertibility of higher order \(k\)-valued logical control networks and its application in trajectory control ⋮ Anti-synchronization of two coupled Boolean networks ⋮ 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 ⋮ A note on the observability of temporal Boolean control network ⋮ 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 ⋮ Reachability/controllability of high order mix-valued logical networks ⋮ Function perturbations in Boolean networks with its application in a \textit{D. melanogaster} gene network ⋮ On controllability and stabilizability of probabilistic Boolean control networks ⋮ Controllability of Boolean control networks avoiding states set ⋮ Nonsingularity of feedback shift registers ⋮ 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 ⋮ Boolean derivative calculation with application to fault detection of combinational circuits via the semi-tensor product method ⋮ 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 ⋮ Incomplete-profile potential games ⋮ A new calculation for Boolean derivative using Cheng product ⋮ 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 ⋮ 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 ⋮ 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 ⋮ 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 ⋮ State feedback stabilization for probabilistic Boolean networks ⋮ System decomposition with respect to inputs for Boolean control networks ⋮ Controllability, reachability, and stabilizability of finite automata: a controllability matrix method ⋮ 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 ⋮ A matrix approach to modeling and optimization for dynamic games with random entrance ⋮ Controllability of probabilistic Boolean control networks ⋮ Stochastic stability and stabilization of \(n\)-person random evolutionary Boolean games ⋮ On the periodic trajectories of Boolean control networks ⋮ Kalman decomposition for Boolean control networks ⋮ 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 ⋮ Stability and stabilization of a class of finite evolutionary games ⋮ Robustness analysis of logical networks and its application in infinite systems ⋮ Stabilization and set stabilization of delayed Boolean control networks based on trajectory stabilization ⋮ \(l_{1}\)-gain analysis and model reduction problem for Boolean control networks ⋮ Set stabilization for switched Boolean control networks ⋮ Function perturbation impact on stability in distribution of probabilistic Boolean networks ⋮ Rapid compressed sensing reconstruction: a semi-tensor product approach ⋮ On reachability and controllability of switched Boolean control networks ⋮ 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 ⋮ On controllability of discrete-time bilinear systems by near-controllability ⋮ Set stability and synchronization of logical networks with probabilistic time delays ⋮ Controllability and observability of singular Boolean control networks ⋮ 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 ⋮ 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 ⋮ Synchronization of drive-response singular Boolean networks ⋮ Matrix approach to verification of finite multi-potential games ⋮ 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 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 ⋮ Disturbance decoupling of mix-valued logical networks via the semi-tensor product method ⋮ Set controllability of Markov jump switching Boolean control networks and its applications ⋮ Self-triggered control of probabilistic Boolean control networks: a reinforcement learning approach ⋮ Graph theory methods for decomposition w.r.t. outputs of Boolean control networks ⋮ Linearization of multi-valued nonlinear feedback shift registers ⋮ A Semi-Tensor Product Approach to Pseudo-Boolean Functions with Application to Boolean Control Networks ⋮ Control design for output tracking of delayed Boolean control networks ⋮ Passive-active fault detection of Boolean control networks ⋮ On networks over finite rings ⋮ A congestion game framework for service chain composition in NFV with function benefit ⋮ Set stability of switched delayed logical networks with application to finite-field consensus ⋮ On stabilization and set stabilization of multivalued logical systems ⋮ 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 detectability of Boolean control networks ⋮ On state feedback asymptotical stabilization of probabilistic Boolean control networks ⋮ 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 ⋮ 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 ⋮ Event-triggered mechanism of designing set stabilization state feedback controller for switched Boolean networks ⋮ Mean-square stability of discrete-time switched systems under modeled random switching ⋮ The equivalence issue of two kinds of controllers in Boolean control networks ⋮ Robust invariant set analysis of Boolean networks ⋮ 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 ⋮ Attitude stabilization of rigid spacecraft with disturbance generated by time varying uncertain exosystems ⋮ Finite-time pinning stabilization of Markovian jump Boolean networks ⋮ Set stabilizability of switched Boolean control networks via Ledley antecedence solution ⋮ 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 ⋮ Set stabilizability of impulsive probabilistic Boolean networks via impulsive sequence design ⋮ Simultaneous stabilization for a set of Boolean control networks ⋮ Simplification of logical functions with application to circuits ⋮ Output tracking of probabilistic Boolean networks by output feedback control ⋮ Synchronization of Boolean networks with time delays ⋮ 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 Context-Sensitive Probabilistic Mix-Valued Logical Control Networks with Constraints ⋮ Feedback control and output feedback control for the stabilisation of switched Boolean networks ⋮ Controllability of Markovian jump Boolean control networks ⋮ Set reachability and observability of probabilistic Boolean networks ⋮ On Controllability of Delayed Boolean Control 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 ⋮ 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 ⋮ Controllability and observability of Boolean networks arising from biology ⋮ Partial stability and stabilisation of Boolean networks ⋮ Stability analysis of probabilistic Boolean networks with switching topology ⋮ Model and control for a class of networked evolutionary games with finite memories and time-varying networks ⋮ Minimum-Time State Feedback Stabilization of Constrained Boolean Control Networks ⋮ Feedback control design for the complete synchronisation of two coupled Boolean networks ⋮ 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 ⋮ Matrix approach to detectability of discrete event systems ⋮ A comprehensive survey on STP approach to finite games ⋮ A Weighted Pair Graph Representation for Reconstructibility of Boolean Control Networks ⋮ 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 ⋮ Robust stability of switched Boolean networks with function perturbation ⋮ Cascading state-space decomposition of Boolean control networks by nested method ⋮ Pinning detectability of Boolean control networks with injection mode ⋮ 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 ⋮ Reduced-order observer design for fault diagnosis of Boolean control networks ⋮ 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 ⋮ Mix-valued logic-based formation control ⋮ Observability for Markovian jump Boolean network with random delay effect in states ⋮ Bi-decomposition of multi-valued logical functions and its applications ⋮ Pinning control design for robust output tracking of \(k\)-valued logical networks
Uses Software
This page was built for publication: Analysis and control of Boolean networks. A semi-tensor product approach.
