Bisimulations of Boolean Control Networks
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)
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