Further results on observability verification of Boolean control networks
From MaRDI portal
Publication:6161347
DOI10.1016/j.sysconle.2023.105485zbMath1519.93040OpenAlexW4323671171MaRDI QIDQ6161347
Jun-E. Feng, Cai-Xia Wang, Yongyuan Yu
Publication date: 27 June 2023
Published in: Systems \& Control Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.sysconle.2023.105485
Related Items (2)
Edge removal towards asymptotical stabilizability of Boolean networks under asynchronous stochastic update ⋮ Detectability of Boolean networks: a finite-time convergent matrix approach
Cites Work
- Unnamed Item
- Identification of Boolean control networks
- Input-state incidence matrix of Boolean control networks and its applications
- On reachability and controllability of switched Boolean control networks
- Controllability and observability of singular Boolean control networks
- A note on observability of Boolean control networks
- Controllability and observability of Boolean control networks
- Redefined observability matrix for Boolean networks and distinguishable partitions of state space
- Observability of Boolean networks via set controllability approach
- Stabilizability analysis and switching signals design of switched Boolean networks
- Necessary and sufficient vertex partition conditions for input-output decoupling of Boolean control networks
- Synthesis for observability of logical control networks
- On detectability of Boolean control networks
- Algebraic formulation and strategy optimization for a class of evolutionary networked games via semi-tensor product method
- Observability of Boolean networks: a graph-theoretic approach
- Controllability and observability of Boolean networks arising from biology
- Observability conditions of Boolean control networks
- Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata
- An Improved Criterion for Controllability of Boolean Control Networks
- Lyapunov-Based Stability and Construction of Lyapunov Functions for Boolean Networks
- A Necessary and Sufficient Graphic Condition for the Original Disturbance Decoupling of Boolean Networks
- Induced-Equations-Based Stability Analysis and Stabilization of Markovian Jump Boolean Networks
- Stability of Discrete-Time Systems Under Restricted Switching via Logic Dynamical Generator and STP-Based Mergence of Hybrid States
- Observability of Boolean networks via STP and graph methods
- Discrete-Time and Discrete-Space Dynamical Systems
- Disturbance Decoupling of Boolean Control Networks
- Observability, Reconstructibility and State Observers of Boolean Control Networks
- Efficient Verification of Observability and Reconstructibility for Large Boolean Control Networks With Special Structures
- Observability Criteria for Boolean Networks
This page was built for publication: Further results on observability verification of Boolean control networks