Observability, Reconstructibility and State Observers of Boolean Control Networks

DOI10.1109/TAC.2012.2231592zbMath1369.93101OpenAlexW2030235975MaRDI QIDQ5353227

Ettore Fornasini, Valcher, Maria Elena

Publication date: 8 September 2017

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

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

Mathematics Subject Classification ID

Observability (93B07)

Related Items

Stabilisation and set stabilisation of periodic switched Boolean control networks ⋮ State-flipped control and Q-learning for finite horizon output tracking of Boolean control networks ⋮ Robust set stability of probabilistic Boolean networks under general stochastic function perturbation ⋮ State estimation of Boolean control networks under stochastic disturbances with random delay in measurements ⋮ Detectability of Boolean networks: a finite-time convergent matrix approach ⋮ Functional observer design for Boolean control networks with unknown structures ⋮ State feedback based output tracking control of probabilistic Boolean networks ⋮ Matrix approach to verification of finite multi-potential games ⋮ Detectability of Boolean networks with disturbance inputs ⋮ On reducible state variables of logical control networks ⋮ Observability of Boolean control networks with time-variant delays in states ⋮ Pinning control design for feedback stabilization of constrained Boolean control networks ⋮ Linearization of nonlinear filter generators and its application to cryptanalysis of stream ciphers ⋮ Observability and reconstructibility of bounded cellular automata ⋮ Observability of Boolean networks: a graph-theoretic approach ⋮ Symbolic dynamics of Boolean control networks ⋮ Weighted and near weighted potential games with application to game theoretic control ⋮ Output tracking of switched Boolean networks under open-loop/closed-loop switching signals ⋮ Redefined observability matrix for Boolean networks and distinguishable partitions of state space ⋮ Algebraic formulation and Nash equilibrium of competitive diffusion games ⋮ Graph theory methods for decomposition w.r.t. outputs of Boolean control networks ⋮ Synchronization of switched logical control networks via event-triggered control ⋮ Stabilization of dynamic-algebraic Boolean control networks via state feedback control ⋮ Synthesis for observability of logical control networks ⋮ On Identification of Boolean Control Networks ⋮ Control design for output tracking of delayed Boolean control networks ⋮ On quotients of Boolean control networks ⋮ Stabilization and set stabilization of switched Boolean control networks via flipping mechanism ⋮ On detectability of Boolean control networks ⋮ Further results on feedback stabilization control design of Boolean control networks ⋮ Minimal observability of Boolean control networks ⋮ Synchronization of switched Boolean networks with impulsive effects ⋮ Boolean network analysis through the joint use of linear algebra and algebraic geometry ⋮ Controllability Analysis and Control Design for Switched Boolean Networks with State and Input Constraints ⋮ Asymptotical feedback controllability of continuous-time probabilistic logic control networks ⋮ Stability analysis of positive switched impulsive systems with delay on time scales ⋮ Lyapunov-Based Stability and Construction of Lyapunov Functions for Boolean Networks ⋮ A survey on observability of Boolean control networks ⋮ Recent developments of Boolean networks with switching and constraints ⋮ Event-triggered mechanism of designing set stabilization state feedback controller for switched Boolean networks ⋮ The stability degree analysis of profiles for networked evolutionary games with switching topology ⋮ Impact of decision feedback on networked evolutionary game with delays in control channel ⋮ Observability of Boolean control networks with stochastic disturbances ⋮ Output tracking control of Boolean control networks via state feedback: constant reference signal case ⋮ Output feedback stabilization of Boolean control networks ⋮ Design of reduced-order and pinning controllers for probabilistic Boolean networks using reinforcement learning ⋮ Robust minimal strong reconstructibility problem of Boolean control networks ⋮ Finite-time controllability and stabilization of probabilistic logical systems with state-dependent constraint via subset transition method ⋮ The equivalence issue of two kinds of controllers in Boolean control networks ⋮ A note on observability of Boolean control networks ⋮ Self-triggered scheduling for the stabilization of impulsive Boolean control networks ⋮ Invertibility and nonsingularity of Boolean control networks ⋮ Finite automata approach to observability of switched 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 ⋮ Finite-time pinning stabilization of Markovian jump Boolean networks ⋮ On Regular Subspaces of Boolean Control Networks ⋮ On the Optimal Control of Boolean Control Networks ⋮ Algebraic formulation and topological structure of Boolean networks with state-dependent delay ⋮ On disturbance decoupling problem of Boolean control networks ⋮ Topologies on quotient space of matrices via semi‐tensor product ⋮ An improved multiple‐state observer of Boolean control networks ⋮ On finite potential games ⋮ State feedback stabilization for probabilistic Boolean networks ⋮ System decomposition with respect to inputs for Boolean control networks ⋮ Disturbance decoupling control design for switched Boolean control networks ⋮ On Boolean control networks with maximal topological entropy ⋮ Perturbation Analysis for Controllability of Logical Control Networks ⋮ Reachability of higher-order logical control networks via matrix method ⋮ Stochastic stability and stabilization of \(n\)-person random evolutionary Boolean games ⋮ On the periodic trajectories of Boolean control networks ⋮ Kalman decomposition for Boolean control networks ⋮ Column stacking approach to resolution of systems of fuzzy relational inequalities ⋮ Feedback stabilization control design for switched Boolean control networks ⋮ Distributional observability of probabilistic Boolean networks ⋮ Constrained set controllability of logical control networks with state constraints and its applications ⋮ A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems ⋮ Stabilization and set stabilization of delayed Boolean control networks based on trajectory stabilization ⋮ Finite-time output tracking of probabilistic Boolean control networks ⋮ Set stabilization for switched Boolean control networks ⋮ Input–output decoupling for mix-valued logical control networks via the semi-tensor product method ⋮ Finite-time stability analysis of stochastic switched Boolean networks with impulsive effect ⋮ Controllability of Markovian jump Boolean control networks ⋮ Observability of Boolean networks via matrix equations ⋮ Lyapunov‐Based Stability of Mix‐Valued Logical Networks ⋮ Robust set stabilization of Boolean control networks with impulsive effects ⋮ 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 ⋮ Controllability and observability of Boolean networks arising from biology ⋮ Minimum-Time State Feedback Stabilization of Constrained Boolean Control Networks ⋮ Matrix approach to detectability of discrete event systems ⋮ A Weighted Pair Graph Representation for Reconstructibility of Boolean Control Networks ⋮ Necessary and sufficient vertex partition conditions for input-output decoupling of Boolean control networks ⋮ Semi-tensor product approach to networked evolutionary games ⋮ Static output feedback set stabilization for context-sensitive probabilistic Boolean control networks ⋮ Cascading state-space decomposition of Boolean control networks by nested method ⋮ 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 robust set stability and set stabilization of probabilistic Boolean control networks ⋮ Stability analysis of multi-valued logical networks with Markov jump disturbances ⋮ Event-triggered control design for networked evolutionary games with time invariant delay in strategies ⋮ Pinning control design for robust output tracking of \(k\)-valued logical networks

This page was built for publication: Observability, Reconstructibility and State Observers of Boolean Control Networks