Detectability verification of probabilistic Boolean networks

DOI10.1016/j.ins.2020.10.019zbMath1478.93293OpenAlexW3093187017MaRDI QIDQ2056383

Zhiwu Li, Xiao-Guang Han, Wen-Dong Yang, Zeng-Qiang Chen, Xiao-yan Chen

Publication date: 2 December 2021

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2020.10.019

zbMATH Keywords

semi-tensor product of matricesprobabilistic Boolean networksperiodic detectability\(d\)-detectability\(k\)-detectability

Mathematics Subject Classification ID

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

Related Items (7)

Minimal observability of Boolean control networks ⋮ Observability of Boolean control networks with stochastic disturbances ⋮ Output feedback observability of switched Boolean control networks ⋮ Robust set stability of probabilistic Boolean networks under general stochastic function perturbation ⋮ Asymptotic stability of probabilistic logical networks with random impulsive effects ⋮ Detectability of Boolean networks: a finite-time convergent matrix approach ⋮ Observability of singular Boolean control networks with state delays

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Generalized detectability for discrete event systems
• On controllability and stabilizability of probabilistic Boolean control networks
• Controllability and observability of Boolean control networks
• An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions
• Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems
• Output tracking of probabilistic Boolean networks by output feedback control
• Set reachability and observability of probabilistic Boolean networks
• Stabilization of probabilistic Boolean networks via pinning control strategy
• A Weighted Pair Graph Representation for Reconstructibility of Boolean Control Networks
• Observability conditions of Boolean control networks
• Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata
• Introduction to Discrete Event Systems
• A Linear Representation of Dynamics of Boolean Networks
• Algebraic method of simplifying Boolean networks using semi‐tensor product of Matrices
• Discrete-Time and Discrete-Space Dynamical Systems
• Fault diagnosis in discrete-event systems: Framework and model reduction
• Observability, Reconstructibility and State Observers of Boolean Control Networks
• State Estimation for Stochastic Time-Varying Boolean Networks

This page was built for publication: Detectability verification of probabilistic Boolean networks