Bisimulations of Probabilistic Boolean Networks
From MaRDI portal
Publication:5103921
DOI10.1137/21M1463471zbMath1498.93332MaRDI QIDQ5103921
Qi Zhang, Tianguang Chu, Rui Li
Publication date: 9 September 2022
Published in: SIAM Journal on Control and Optimization (Search for Journal in Brave)
Optimal stochastic control (93E20) Stochastic systems in control theory (general) (93E03) Boolean control/observation systems (93C29) Networked control (93B70)
Related Items (1)
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