Reduction and Analysis of Boolean Control Networks by Bisimulation

DOI10.1137/19M1240770zbMath1490.93061OpenAlexW3138282515MaRDI QIDQ5858102

Tianguang Chu, Qi Zhang, Rui Li

Publication date: 9 April 2021

Published in: SIAM Journal on Control and Optimization (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/19m1240770

zbMATH Keywords

observabilitycontrollabilityreachabilitynetwork reductionbisimulationBoolean control networkproperty preservation

Mathematics Subject Classification ID

Controllability (93B05) Observability (93B07) Attainable sets, reachability (93B03) Boolean control/observation systems (93C29) Networked control (93B70)

Related Items (3)

Bisimulations of Probabilistic Boolean Networks ⋮ Matrix-based flipping method for improving the robustness of Boolean networks ⋮ New results on model reconstruction of Boolean networks with application to gene regulatory networks

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• System decomposition with respect to inputs for Boolean control networks
• On Boolean control networks with maximal topological entropy
• Kalman decomposition for Boolean control networks
• Set stabilization for switched Boolean control networks
• Output feedback stabilization of Boolean control networks
• A note on observability of Boolean control networks
• Invertibility and nonsingularity of Boolean control networks
• Analysis and control of Boolean networks. A semi-tensor product approach.
• Bisimilar linear systems.
• Stability structures of conjunctive Boolean 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
• The transformation between the Galois NLFSRs and the Fibonacci NLFSRs via semi-tensor product of matrices
• Optimal control of Boolean control networks with average cost: a policy iteration approach
• Reduction of Boolean network models
• Controller design for disturbance decoupling of Boolean control networks
• \(l_{1}\)-gain analysis and model reduction problem for Boolean control networks
• Robustness and fragility of Boolean models for genetic regulatory networks
• Control of Boolean networks: hardness results and algorithms for tree structured networks
• Bisimilar control affine systems
• Observability of Boolean networks: a graph-theoretic approach
• Symbolic dynamics of Boolean control networks
• On Controllability of Delayed 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
• Minimum-Time Control of Boolean Networks
• A Reduction Method for Boolean Network Models Proven to Conserve Attractors
• Controllability Analysis and Control Design for Switched Boolean Networks with State and Input Constraints
• Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata
• On Pinning Controllability of Boolean Control Networks
• Fault Detection Analysis of Boolean Control Networks
• Logical Matrix Factorization With Application to Topological Structure Analysis of Boolean Network
• Optimal Control of Boolean Control Networks
• Verification and Control of Hybrid Systems
• Controllability of Conjunctive Boolean Networks With Application to Gene Regulation
• Stabilization of Boolean Control Networks Under Aperiodic Sampled-Data Control
• An Improved Criterion for Controllability of Boolean Control Networks
• Pinning Control for the Disturbance Decoupling Problem of Boolean Networks
• Bisimulation equivalence of differential-algebraic systems
• Lyapunov-Based Stability and Construction of Lyapunov Functions for Boolean Networks
• Bisimulations of Boolean Control Networks
• Bisimulation Equivalence of Discrete-Time Stochastic Linear Control Systems
• A Linear Representation of Dynamics of Boolean Networks
• Bisimulations of boolean control networks with impulsive effects and its application in controllability
• A Polynomial-Time Algorithm for Solving the Minimal Observability Problem in Conjunctive Boolean Networks
• Block Decoupling of Boolean Control Networks
• Attractor Stabilizability of Boolean Networks with Application to Biomolecular Regulatory Networks
• On the control of asynchronous machines with races
• Equivalence of Dynamical Systems by Bisimulation
• Disturbance Decoupling of Boolean Control Networks
• Observability, Reconstructibility and State Observers of Boolean Control Networks
• State Feedback Stabilization for Boolean Control Networks
• On the Optimal Control of Boolean Control Networks
• Simulation and Bisimulation of Nonlinear Control Systems with Admissible Classes of Inputs and Disturbances
• Equivalence of switching linear systems by bisimulation

This page was built for publication: Reduction and Analysis of Boolean Control Networks by Bisimulation