Bisimulations of Probabilistic Boolean Networks

Optimal stochastic control (93E20) Stochastic systems in control theory (general) (93E03) Boolean control/observation systems (93C29) Networked control (93B70)

Related Items (1)

Distribution-based limited fuzzy bisimulations for nondeterministic fuzzy transition systems

Cites Work

Unnamed Item
Unnamed Item
Unnamed Item
Structural operational semantics for weak bisimulations
Dynamic programming and stochastic control
On controllability and stabilizability of probabilistic Boolean control networks
Controllability and observability of Boolean control networks
Analysis and control of Boolean networks. A semi-tensor product approach.
Bisimulation through probabilistic testing
Essential transitions to bisimulation equivalences
Bisimilar linear systems.
Observability of Boolean networks via set controllability approach
Sampled-data stabilization of probabilistic Boolean control networks
Bisimulation for probabilistic transition systems: A coalgebraic approach
Feedback stabilization control design for switched Boolean control networks
Stability analysis of probabilistic Boolean networks with switching topology
Controllability of Markovian jump Boolean control networks
Set reachability and observability of probabilistic Boolean networks
Bisimilar control affine systems
Observability of Boolean networks: a graph-theoretic approach
A Weighted Pair Graph Representation for Reconstructibility of Boolean Control Networks
On Pinning Controllability of Boolean Control Networks
Optimal Control of Boolean Control Networks
An Improved Criterion for Controllability of Boolean Control Networks
Bisimulation equivalence of differential-algebraic systems
Optimal infinite-horizon control for probabilistic Boolean networks
Lyapunov-Based Stability and Construction of Lyapunov Functions for Boolean Networks
Bisimulations of Boolean Control Networks
Stability and Set Stability in Distribution of Probabilistic Boolean Networks
Bisimulation Equivalence of Discrete-Time Stochastic Linear Control Systems
A Necessary and Sufficient Graphic Condition for the Original Disturbance Decoupling of Boolean Networks
A Linear Representation of Dynamics of Boolean Networks
Robustness for Stability and Stabilization of Boolean Networks With Stochastic Function Perturbations
Minimum-Time and Minimum-Triggering Observability of Stochastic Boolean Networks
Asymptotic Behavior of Conjunctive Boolean Networks Over Weakly Connected Digraphs
Output Tracking of Boolean Control Networks
Bisimulations of boolean control networks with impulsive effects and its application in controllability
Reduced-Order Observer Design for Boolean Control Networks
A Polynomial-Time Algorithm for Solving the Minimal Observability Problem in Conjunctive Boolean Networks
Block Decoupling of Boolean Control Networks
Equivalence of Dynamical Systems by Bisimulation
The Achievable Dynamics via Control by Interconnection
Stability and Transient Performance of Discrete-Time Piecewise Affine Systems
On the Optimal Control of Boolean Control Networks
Neuro-Dynamic Programming: An Overview and Recent Results
Simulation and Bisimulation of Nonlinear Control Systems with Admissible Classes of Inputs and Disturbances
Equivalence of switching linear systems by bisimulation
Efficient Verification of Observability and Reconstructibility for Large Boolean Control Networks With Special Structures
Reduction and Analysis of Boolean Control Networks by Bisimulation
Quotients of Probabilistic Boolean Networks

This page was built for publication: Bisimulations of Probabilistic Boolean Networks