Reduction and Analysis of Boolean Control Networks by Bisimulation
From MaRDI portal
Publication:5858102
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
observabilitycontrollabilityreachabilitynetwork reductionbisimulationBoolean control networkproperty preservation
Controllability (93B05) Observability (93B07) Attainable sets, reachability (93B03) Boolean control/observation systems (93C29) Networked control (93B70)
Related Items
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
