Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata
From MaRDI portal
Publication:2980437
DOI10.1109/TAC.2015.2501365zbMath1359.93074arXiv1405.6780OpenAlexW2344696827MaRDI QIDQ2980437
Publication date: 3 May 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1405.6780
Formal languages and automata (68Q45) Discrete-time control/observation systems (93C55) Observability (93B07)
Related Items (41)
Observability of Boolean control networks with time-variant delays in states ⋮ Observability of Boolean networks via set controllability approach ⋮ Set controllability of Markov jump switching Boolean control networks and its applications ⋮ Synthesis for observability of logical control networks ⋮ On Identification of Boolean Control Networks ⋮ Modelling and strategy optimisation for a kind of networked evolutionary games with memories under the bankruptcy mechanism ⋮ On detectability of Boolean control networks ⋮ Minimal observability of Boolean control networks ⋮ On algorithms for state feedback stabilization of Boolean control networks ⋮ Fault detection and pinning control of Boolean networks ⋮ Asymptotical feedback controllability of continuous-time probabilistic logic control networks ⋮ A survey on observability of Boolean control networks ⋮ Mean-square stability of discrete-time switched systems under modeled random switching ⋮ Robust invariant set analysis of Boolean networks ⋮ A note on observability of Boolean control networks ⋮ Further results on observability verification of Boolean control networks ⋮ On detectability of labeled Petri nets and finite automata ⋮ Bisimulations of Boolean Control Networks ⋮ Partial and global stabilization at an attractor for \(k\)-valued logical control networks ⋮ Stability analysis of state‐triggered impulsive boolean networks based on a hybrid index model ⋮ An improved multiple‐state observer of Boolean control networks ⋮ Controllability and observability of state‐dependent switched Boolean control networks with input constraints ⋮ Asymptotical feedback controllability of probabilistic logic control networks ⋮ Distributional observability of probabilistic Boolean networks ⋮ Constrained set controllability of logical control networks with state constraints and its applications ⋮ Controllability of Markovian jump Boolean control networks ⋮ Set reachability and observability of probabilistic Boolean networks ⋮ On the stabilization of nondeterministic finite automata via static output feedback ⋮ Observability of Boolean networks via matrix equations ⋮ Optimal control of singular Boolean control networks via Ledley solution method ⋮ Detectability verification of probabilistic Boolean networks ⋮ Complex systems with impulsive effects and logical dynamics: a brief overview ⋮ Observability of switched Boolean control networks using algebraic forms ⋮ Generalized cluster synchronization of Boolean control networks with delays in both the states and the inputs ⋮ Necessary and sufficient vertex partition conditions for input-output decoupling of Boolean control networks ⋮ Stabilization of probabilistic finite automata based on semi-tensor product of matrices ⋮ Reduction and Analysis of Boolean Control Networks by Bisimulation ⋮ Reduced-order observer design for fault diagnosis of Boolean control networks ⋮ On reconstructibility of switched Boolean control networks ⋮ On the static output feedback stabilisation of discrete event dynamic systems based upon the approach of semi-tensor product of matrices ⋮ Modelling and strategy consensus for a class of networked evolutionary games
This page was built for publication: Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata
