Bisimulations of Boolean Control Networks
From MaRDI portal
Publication:4602534
DOI10.1137/17M1117331zbMath1380.93137MaRDI QIDQ4602534
Tianguang Chu, Rui Li, Xing-Yuan Wang
Publication date: 12 February 2018
Published in: SIAM Journal on Control and Optimization (Search for Journal in Brave)
controllabilitysimulationstabilizabilitysynchronizationbisimulationNP-hardnessBoolean control network
Analysis of algorithms and problem complexity (68Q25) Controllability (93B05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Stability of control systems (93D99)
Related Items (11)
Stabilization and set stabilization of switched Boolean control networks via flipping mechanism ⋮ Bisimulations of Probabilistic Boolean Networks ⋮ Event-triggered mechanism of designing set stabilization state feedback controller for switched Boolean networks ⋮ New results on model reconstruction of Boolean networks with application to gene regulatory networks ⋮ Finite-time pinning stabilization of Markovian jump Boolean networks ⋮ Simplification of logical functions with application to circuits ⋮ Bisimulations of boolean control networks with impulsive effects and its application in controllability ⋮ Perturbation Analysis for Controllability of Logical Control Networks ⋮ Stability analysis of probabilistic Boolean networks with switching topology ⋮ Finite horizon tracking control of probabilistic Boolean control networks ⋮ Reduction and Analysis of Boolean Control Networks by Bisimulation
Cites Work
- Unnamed Item
- Unnamed Item
- On robust control invariance of Boolean control networks
- Stability and stabilization of Boolean networks with impulsive effects
- A connection between simulation relations and feedback transformations in nonlinear control systems
- Disturbance decoupling control design for switched Boolean control networks
- On Boolean control networks with maximal topological entropy
- On the periodic trajectories of Boolean control networks
- Kalman decomposition for Boolean control networks
- Controllability of Boolean control networks with time delays in states
- Solvability and control design for synchronization of Boolean networks
- Output feedback stabilization of Boolean control networks
- 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
- Controllability and observability of Boolean control networks
- Analysis and control of Boolean networks. A semi-tensor product approach.
- Bisimilar linear systems.
- Controller design for disturbance decoupling of Boolean control networks
- The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in \textit{Drosophila melanogaster}
- Robustness and fragility of Boolean models for genetic regulatory networks
- Control of Boolean networks: hardness results and algorithms for tree structured networks
- Construction of a Boolean model of gene and protein regulatory network with memory
- Bisimilar control affine systems
- Controller synthesis for bisimulation equivalence
- Observability of Boolean networks: a graph-theoretic approach
- Symbolic dynamics of Boolean control networks
- On Controllability of Delayed Boolean Control Networks
- Controllability and observability of Boolean networks arising from biology
- A Weighted Pair Graph Representation for Reconstructibility of Boolean Control Networks
- Minimum-Time Control of Boolean Networks
- Observability conditions of Boolean control networks
- 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
- 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
- Hierarchically consistent control systems
- Synchronization of coupled large-scale Boolean networks
- A Linear Representation of Dynamics of Boolean Networks
- Simulation Relations and Controllability Properties of Linear and Nonlinear Control Systems
- On the control of asynchronous machines with races
- Equivalence of Dynamical Systems by Bisimulation
- Approximation Metrics for Discrete and Continuous Systems
- Disturbance Decoupling of Boolean Control Networks
- A Maximum Principle for Single-Input Boolean Control Networks
- Optimal Control of Logical Control Networks
- Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
- Observability, Reconstructibility and State Observers of Boolean Control Networks
- State Feedback Stabilization for Boolean Control Networks
- Aggregation Algorithm Towards Large-Scale Boolean Network Analysis
- Simulation and Bisimulation of Nonlinear Control Systems with Admissible Classes of Inputs and Disturbances
- The complexity of theorem-proving procedures
This page was built for publication: Bisimulations of Boolean Control Networks
