Finite automata approach to observability of switched Boolean control networks

DOI10.1016/J.NAHS.2015.10.002MaRDI QIDQ901271zbMATHOpenAlexFDO

Authors Kuize Zhang, Lijun Zhang, Lihua Xie

Publication date 23 December 2015

Published in Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.nahs.2015.10.002

zbMATH Keywords

observabilityformal languagesemi-tensor product of matricesfinite automatonswitched Boolean control networkweighted pair graph

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Observability (93B07)

Recommendations

• Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata
• Observability of switched Boolean control networks using algebraic forms
• A note on observability of Boolean control networks
• Controllability and observability of Boolean control networks
• A survey on observability of Boolean control networks
• On reachability and controllability of switched Boolean control networks
• Further results on observability verification of Boolean control networks
• Observability, Reconstructibility and State Observers of Boolean Control Networks
• Observability conditions of Boolean control networks
• Controllability and observability of state-dependent switched Boolean control networks with input constraints

Cites work

• A Linear Representation of Dynamics of Boolean Networks
• A new approach for global controllability of higher order Boolean control network
• A note on observability of Boolean control networks
• A weighted pair graph representation for reconstructibility of Boolean control networks
• Analysis and control of Boolean networks. A semi-tensor product approach.
• Control of Boolean networks: hardness results and algorithms for tree structured networks
• Controllability and observability of Boolean control networks
• Controllability and observability of Boolean networks arising from biology
• Controllability and reachability criteria for switched linear systems
• Controllability of Boolean control networks via the Perron-Frobenius theory
• Controllability of Boolean control networks with time delays in states
• High-order \(S\)-lemma with application to stability of a class of switched nonlinear systems
• Identification of Boolean control networks
• Input-state incidence matrix of Boolean control networks and its applications
• Observability conditions of Boolean control networks
• Observability of Boolean networks: a graph-theoretic approach
• Observability, Reconstructibility and State Observers of Boolean Control Networks
• On controllability and stabilizability of probabilistic Boolean control networks
• On partitioned controllability of switched linear systems
• On reachability and controllability of switched Boolean control networks
• Output controllability and optimal output control of state-dependent switched Boolean control networks
• Stability theory of switched dynamical systems
• Switching in systems and control
• \(L_{2}\) stability, \(H_{\infty }\) control of switched homogeneous nonlinear systems and their semi-tensor product of matrices representation

Cited in

(27)

• Observability of Boolean networks via matrix equations
• Complex systems with impulsive effects and logical dynamics: a brief overview
• Stability analysis of probabilistic Boolean networks with switching topology
• Synthesis for observability of logical control networks
• Output feedback observability of switched Boolean control networks
• Observability of switched Boolean control networks using algebraic forms
• Stabilizability analysis of logical networks with switching signal and control input
• Observability and nonsingularity of logical dynamical systems
• An adjoint network approach to design stabilizable switching signals of switched Boolean networks
• A survey on observability of Boolean control networks
• Event-triggered mechanism of designing set stabilization state feedback controller for switched Boolean networks
• Stabilizability analysis and switching signals design of switched Boolean networks
• Partial and global stabilization at an attractor for \(k\)-valued logical control networks
• From electrical switched networks to hybrid automata
• Finite-time observability of probabilistic Boolean multiplex control networks.
• On observability of automata networks via computational algebra
• A weighted pair graph representation for reconstructibility of Boolean control networks
• Set reachability and observability of probabilistic Boolean networks
• Recent developments of Boolean networks with switching and constraints
• Minimal observability of Boolean control networks
• Set reachability of Markovian jump Boolean networks and its applications
• Static output feedback set stabilization for context-sensitive probabilistic Boolean control networks
• A novel matrix approach to observability analysis of finite automata
• Observability of singular Boolean control networks with state delays
• The relationships among several forms of weighted finite automata over strong bimonoids
• Redefined observability matrix for Boolean networks and distinguishable partitions of state space
• Finite-time pinning stabilization of Markovian jump Boolean networks

This page was built for publication: Finite automata approach to observability of switched Boolean control networks

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