Efficient Verification of Observability and Reconstructibility for Large Boolean Control Networks With Special Structures

DOI10.1109/TAC.2020.2968836OpenAlexW3002009436MaRDI QIDQ5853936

Karl Henrik Johansson, Kuize Zhang

Publication date: 12 March 2021

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2020.2968836

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Related Items

Synthesis for observability of logical control networks ⋮ Stabilization and set stabilization of switched Boolean control networks via flipping mechanism ⋮ On state feedback asymptotical stabilization of probabilistic Boolean control networks ⋮ Minimal observability of Boolean control networks ⋮ A survey on observability of Boolean control networks ⋮ Bisimulations of Probabilistic Boolean Networks ⋮ Controllability and observability of Boolean control networks subject to stuck-at fault ⋮ Output feedback observability of switched Boolean control networks ⋮ Optimal control of probabilistic Boolean control networks: A scalable infinite horizon approach ⋮ Further results on observability verification of Boolean control networks ⋮ Robust set stability of probabilistic Boolean networks under general stochastic function perturbation ⋮ Distributional observability of probabilistic Boolean networks ⋮ Logical matrix factorization towards topological structure and stability of probabilistic Boolean networks

This page was built for publication: Efficient Verification of Observability and Reconstructibility for Large Boolean Control Networks With Special Structures