Bisimulations of Boolean Control Networks (Q4602534)

scientific article; zbMATH DE number 6837145

Language	Label	Description	Also known as
English	Bisimulations of Boolean Control Networks	scientific article; zbMATH DE number 6837145

Statements

instance of

scholarly article

0 references

title

Bisimulations of Boolean Control Networks (English)

0 references

0 references

0 references

0 references

SIAM Journal on Control and Optimization

0 references

publication date

12 February 2018

0 references

zbMATH Keywords

Boolean control network

0 references

bisimulation

0 references

simulation

0 references

controllability

0 references

stabilizability

0 references

synchronization

0 references

NP-hardness

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Control of Boolean networks: hardness results and algorithms for tree structured networks

0 references

The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in \textit{Drosophila melanogaster}

0 references

Output feedback stabilization of Boolean control networks

0 references

Robustness and fragility of Boolean models for genetic regulatory networks

0 references

Disturbance Decoupling of Boolean Control Networks

0 references

Controllability and observability of Boolean control networks

0 references

A Linear Representation of Dynamics of Boolean Networks

0 references

Analysis and control of Boolean networks. A semi-tensor product approach.

0 references

A note on observability of Boolean control networks

0 references

The complexity of theorem-proving procedures

0 references

Observability, Reconstructibility and State Observers of Boolean Control Networks

0 references

On the periodic trajectories of Boolean control networks

0 references

Optimal Control of Boolean Control Networks

0 references

Fault Detection Analysis of Boolean Control Networks

0 references

Q4198056

0 references

Approximation Metrics for Discrete and Continuous Systems

0 references

Simulation and Bisimulation of Nonlinear Control Systems with Admissible Classes of Inputs and Disturbances

0 references

A connection between simulation relations and feedback transformations in nonlinear control systems

0 references

Simulation Relations and Controllability Properties of Linear and Nonlinear Control Systems

0 references

Set stability and set stabilization of Boolean control networks based on invariant subsets

0 references

Symbolic dynamics of Boolean control networks

0 references

Q4506483

0 references

A Maximum Principle for Single-Input Boolean Control Networks

0 references

Minimum-Time Control of Boolean Networks

0 references

On Boolean control networks with maximal topological entropy

0 references

Observability of Boolean networks: a graph-theoretic approach

0 references

Synchronization of coupled large-scale Boolean networks

0 references

Controllability of Boolean control networks with time delays in states

0 references

Stability and stabilization of Boolean networks with impulsive effects

0 references

Controllability Analysis and Control Design for Switched Boolean Networks with State and Input Constraints

0 references

Logical Matrix Factorization With Application to Topological Structure Analysis of Boolean Network

0 references

Disturbance decoupling control design for switched Boolean control networks

0 references

On robust control invariance of Boolean control networks

0 references

State Feedback Stabilization for Boolean Control Networks

0 references

Observability conditions of Boolean control networks

0 references

Controllability and observability of Boolean networks arising from biology

0 references

On Controllability of Delayed Boolean Control Networks

0 references

On the control of asynchronous machines with races

0 references

Bisimilar linear systems.

0 references

Hierarchically consistent control systems

0 references

Controller synthesis for bisimulation equivalence

0 references

Bisimilar control affine systems

0 references

Equivalence of Dynamical Systems by Bisimulation

0 references

Solvability and control design for synchronization of Boolean networks

0 references

Controller design for disturbance decoupling of Boolean control networks

0 references

Construction of a Boolean model of gene and protein regulatory network with memory

0 references

Symbolic Models for Nonlinear Control Systems Without Stability Assumptions

0 references

Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata

0 references

A Weighted Pair Graph Representation for Reconstructibility of Boolean Control Networks

0 references

Invertibility and nonsingularity of Boolean control networks

0 references

Aggregation Algorithm Towards Large-Scale Boolean Network Analysis

0 references

Optimal Control of Logical Control Networks

0 references

Kalman decomposition for Boolean control networks

0 references

Identifiers

zbMATH Open document ID

1380.93137

0 references

DOI

10.1137/17M1117331

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:4602534