Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata

DOI10.1109/TAC.2015.2501365zbMATH Open1359.93074arXiv1405.6780OpenAlexW2344696827MaRDI QIDQ2980437FDOQ2980437

Authors: Kuize Zhang, Lijun Zhang 

Publication date: 3 May 2017

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

Abstract: The problem on how to determine the observability of Boolean control networks (BCNs) has been open for five years already. In this paper, we propose a unified approach to determine all the four types of observability of BCNs in the literature. We define the concept of weighted pair graphs for BCNs. In the sense of each observability, we use the so-called weighted pair graph to transform a BCN to a finite automaton, and then we use the automaton to determine observability. In particular, the two types of observability that rely on initial states and inputs in the literature are determined. Finally, we show that no pairs of the four types of observability are equivalent, which reveals the essence of nonlinearity of BCNs.

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Observability (93B07) Discrete-time control/observation systems (93C55)

Cited In (52)

• Relation coarsest partition method to observability of probabilistic Boolean networks
• Identification of a class of singular Boolean control networks
• Input-output dynamical stability analysis for cyber-physical systems via logical networks
• Controllability of Markovian jump Boolean control networks
• On the stabilization of nondeterministic finite automata via static output feedback
• Reduced-order observer design for fault diagnosis of Boolean control networks
• A note on observability of Boolean control networks
• Minimum observability of probabilistic Boolean networks
• Robust invariant set analysis of Boolean networks
• Partial and global stabilization at an attractor for \(k\)-valued logical control networks
• Bisimulations of Boolean Control Networks
• On the static output feedback stabilisation of discrete event dynamic systems based upon the approach of semi-tensor product of matrices
• On algorithms for state feedback stabilization of Boolean control networks
• Finite-time observability of probabilistic Boolean control networks
• Opacity of discrete-event systems under nondeterministic observation mechanism
• Reconstructibility analysis and set-observer design for Boolean control networks
• Finite-time observability of probabilistic Boolean multiplex control networks.
• Observability of Boolean control networks with time-variant delays in states
• Fault detection and pinning control of Boolean networks
• On detectability of labeled Petri nets and finite automata
• Asymptotical feedback controllability of probabilistic logic control networks
• On detectability of Boolean control networks
• Synthesis for observability of logical control networks
• An improved multiple‐state observer of Boolean control networks
• Set reachability and observability of probabilistic Boolean networks
• Mean-square stability of discrete-time switched systems under modeled random switching
• Modelling and strategy consensus for a class of networked evolutionary games
• On reconstructibility of switched Boolean control networks
• Reduction and analysis of Boolean control networks by bisimulation
• Modelling and strategy optimisation for a kind of networked evolutionary games with memories under the bankruptcy mechanism
• Set controllability of Markov jump switching Boolean control networks and its applications
• Optimal control of singular Boolean control networks via Ledley solution method
• A survey on observability of Boolean control networks
• Detectability verification of probabilistic Boolean networks
• Finite automata approach to observability of switched Boolean control networks
• Further results on observability verification of Boolean control networks
• Asymptotical feedback controllability of continuous-time probabilistic logic control networks
• Distributional observability of probabilistic Boolean networks
• Complex systems with impulsive effects and logical dynamics: a brief overview
• Stabilization of probabilistic finite automata based on semi-tensor product of matrices
• Stability analysis of state-triggered impulsive Boolean networks based on a hybrid index model
• On identification of Boolean control networks
• Observability of Boolean networks via set controllability approach
• Constrained set controllability of logical control networks with state constraints and its applications
• Generalized cluster synchronization of Boolean control networks with delays in both the states and the inputs
• Observability of Boolean networks via matrix equations
• Optimal output tracking of Boolean control networks
• Necessary and sufficient vertex partition conditions for input-output decoupling of Boolean control networks
• Controllability and observability of state-dependent switched Boolean control networks with input constraints
• Observability of switched Boolean control networks using algebraic forms
• Nonsingularity of Trivium-like cascade FSRs over finite fields via semi-tensor product
• Minimal observability of Boolean control networks

This page was built for publication: Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata

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