Observability of Boolean networks via set controllability approach

DOI10.1016/J.SYSCONLE.2018.03.004MaRDI QIDQ1647801zbMATH OpenOpenAlexWikidataFDO

Authors Daizhan Cheng, Changxi Li, Fenghua He

Publication date 27 June 2018

Published in Systems \& Control Letters (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1801.00623

zbMATH Keywords

Boolean control networksobservabilitysemi-tensor product of matricesset controllability

Mathematics Subject Classification ID

Controllability (93B05) Observability (93B07) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Abstract: The controllability and observability of Boolean control network(BCN) are two fundamental properties. But the verification of latter is much harder than the former. This paper considers the observability of BCN via controllability. First, the set controllability is proposed, and the necessary and sufficient condition is obtained. Then a technique is developed to convert the observability into an equivalent set controllability problem. Using the result for set controllability, the necessary and sufficient condition is also obtained for the observability of BCN.

Recommendations

• Observability conditions of Boolean control networks
• Further results on observability verification of Boolean control networks
• Controllability and observability of Boolean control networks
• Minimal observability of Boolean control networks
• Controllability and observability of singular Boolean control networks

Cites work

• A Maximum Principle for Single-Input Boolean Control Networks
• A note on observability of Boolean control networks
• An introduction to semi-tensor product of matrices and its applications
• Analysis and control of Boolean networks. A semi-tensor product approach.
• Controllability and observability of Boolean control networks
• Controllability of Boolean control networks via the Perron-Frobenius theory
• Controller design for disturbance decoupling of Boolean control networks
• Disturbance Decoupling of Boolean Control Networks
• Input-state incidence matrix of Boolean control networks and its applications
• Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata
• Observability of Boolean networks: a graph-theoretic approach
• Optimal Control of Boolean Control Networks
• Output Regulation of Boolean Control Networks
• Sampled-data state feedback stabilization of Boolean control networks
• Some necessary and sufficient conditions for the output controllability of temporal Boolean control networks
• Stability and stabilization of Boolean networks

Cited in

(60)

• Complex systems with impulsive effects and logical dynamics: a brief overview
• Observability for Markovian jump Boolean network with random delay effect in states
• Synchronization of drive-response singular Boolean networks
• Set controllability of Markov jump switching Boolean control networks and its applications
• Synthesis for observability of logical control networks
• Passive-active fault detection of Boolean control networks
• On networks over finite rings
• Asymptotical feedback controllability of probabilistic logic control networks
• Distributional observability of probabilistic Boolean networks
• Logical matrix factorization towards topological structure and stability of probabilistic Boolean networks
• Constrained set controllability of logical control networks with state constraints and its applications
• Set reachability and observability of probabilistic Boolean networks
• Observability of Boolean networks via matrix equations
• Robust controllability and observability of Boolean control networks under different disturbances
• Stabilization of Boolean control networks with stochastic impulses
• Observability of Boolean networks: a graph-theoretic approach
• Controllability and stabilization of periodic switched Boolean control networks with application to asynchronous updating
• On state feedback asymptotical stabilization of probabilistic Boolean control networks
• Minimal observability of Boolean control networks
• Controllability and observability of Boolean networks arising from biology
• Observability conditions of Boolean control networks
• A control Lyapunov function approach to feedback stabilization of logical control networks
• Controllability and observability of \(k\)-valued control networks
• Observer design for control and fault diagnosis of Boolean networks
• Stability analysis of multi-valued logical networks with Markov jump disturbances
• On identification of Boolean control networks
• Bisimulations of probabilistic Boolean networks
• Subspace controllability of Boolean networks
• Bisimulations of Boolean control networks with impulsive effects and its application in controllability
• Algebraic method of simplifying Boolean networks using semi-tensor product of matrices
• Reachability and controllability analysis of probabilistic finite automata via a novel matrix method
• Language acceptability of finite automata based on theory of semi-tensor product of matrices
• Controllability and observability of state-dependent switched Boolean control networks with input constraints
• Observability of Boolean networks via STP and graph methods
• Reduction and analysis of Boolean control networks by bisimulation
• Identification and stabilization of faulty Boolean control networks
• A survey on observability of Boolean control networks
• Finite-time controllability and stabilization of probabilistic logical systems with state-dependent constraint via subset transition method
• Controllability and observability of Boolean control networks subject to stuck-at fault
• Further results on observability verification of Boolean control networks
• Controllability and set controllability of periodically switched Boolean control networks
• New results on model reconstruction of Boolean networks with application to gene regulatory networks
• Detectability of Boolean networks: a finite-time convergent matrix approach
• Stability analysis of large-scale Boolean networks via compositional method
• Algebraic method for LU decomposition in commutative quaternion based on semi-tensor product of matrices and application to strict image authentication
• Total-activity conservation of probabilistic Boolean networks and its applications
• Finite-time observability of probabilistic Boolean control networks
• Reconstructibility analysis and set-observer design for Boolean control networks
• Finite-time observability of probabilistic Boolean multiplex control networks.
• Relation coarsest partition method to observability of probabilistic Boolean networks
• Data informativity for analysis and control design of Boolean control networks
• Bisimulations for delayed switched Boolean control networks and its application in controllability
• Stability analysis of compositional Boolean networks through different logical operators
• Robust reconstructibility of Boolean networks subject to function perturbation
• Fundamental structures of invariant dual subspaces with respect to a Boolean network
• Minimal observability of switching Boolean networks
• Disturbance decoupling controller design of switched Boolean control networks in recursion
• Controllability of Boolean control networks avoiding states set
• A note on observability of Boolean control networks
• Controllability and observability of Boolean control networks

This page was built for publication: Observability of Boolean networks via set controllability approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1647801)