On reachability and controllability of switched Boolean control networks

DOI10.1016/j.automatica.2012.08.029zbMath1252.93018OpenAlexW2058219513MaRDI QIDQ694840

Yuzhen Wang, Haitao Li

Publication date: 13 December 2012

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.automatica.2012.08.029

zbMATH Keywords

controllabilityreachabilitysemi-tensor productswitched Boolean control networkswitching-input-state incidence matrix

Mathematics Subject Classification ID

Controllability (93B05) Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (49)

Output tracking of switched Boolean networks under open-loop/closed-loop switching signals ⋮ State feedback controller design for the synchronization of Boolean networks with time delays ⋮ Set controllability of Markov jump switching Boolean control networks and its applications ⋮ Anti-synchronization of two coupled Boolean networks ⋮ Optimization-based approaches to control of probabilistic Boolean networks ⋮ A Semi-Tensor Product Approach to Pseudo-Boolean Functions with Application to Boolean Control Networks ⋮ Observability conditions of Boolean control networks ⋮ On stabilization and set stabilization of multivalued logical systems ⋮ Stabilization and set stabilization of switched Boolean control networks via flipping mechanism ⋮ Stabilizability analysis of logical networks with switching signal and control input ⋮ Synchronization of coupled large-scale Boolean networks ⋮ Controllability of asynchronous Boolean multiplex control networks ⋮ A survey on observability of Boolean control networks ⋮ Recent developments of Boolean networks with switching and constraints ⋮ Output tracking control of Boolean control networks via state feedback: constant reference signal case ⋮ Synchronization of asynchronous probabilistic Boolean network ⋮ Controllability and observability of Boolean control networks subject to stuck-at fault ⋮ Observability of periodically switched Boolean control networks ⋮ A note on observability of 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 ⋮ Set stabilizability of switched Boolean control networks via Ledley antecedence solution ⋮ Controllability and reachability of periodically time-variant mixed-valued logical control networks ⋮ Simultaneous stabilization for a set of Boolean control networks ⋮ Subspace controllability of Boolean networks ⋮ Output controllability and optimal output control of state-dependent switched Boolean control networks ⋮ Complete synchronization of temporal Boolean networks ⋮ Consistent stabilizability of switched Boolean networks ⋮ 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 ⋮ Stabilizability analysis and switching signals design of switched Boolean networks ⋮ Static analysis and stochastic search for reachability problem ⋮ Reachability of higher-order logical control networks via matrix method ⋮ Kalman decomposition for Boolean control networks ⋮ A minimum-time control for Boolean control networks with impulsive disturbances ⋮ Strategy optimization for static games based on STP method ⋮ Set stabilization for switched Boolean control networks ⋮ On the ensemble controllability of Boolean control networks using STP method ⋮ Model matching of switched asynchronous sequential machines via matrix approach ⋮ Observability of switched Boolean control networks using algebraic forms ⋮ Controllability and observability of Boolean networks arising from biology ⋮ Observability of singular Boolean control networks with state delays ⋮ Solving type-2 fuzzy relation equations via semi-tensor product of matrices ⋮ Stabilization of evolutionary networked games with length-\(r\) information ⋮ On the observability of free Boolean networks via the semi-tensor product method ⋮ Cycles of periodically time-variant Boolean networks ⋮ Event-triggered control design for networked evolutionary games with time invariant delay in strategies

Cites Work

• Unnamed Item
• Identification of Boolean control networks
• Input-state incidence matrix of Boolean control networks and its applications
• Controllability of Boolean control networks with time delays in states
• Controllability and observability of Boolean control networks
• Realization of Boolean control networks
• Analysis and control of Boolean networks. A semi-tensor product approach.
• Stability results for switched controller systems
• Boolean dynamics of networks with scale-free topology
• A control problem for affine dynamical systems on a full-dimensional polytope.
• Controllability and reachability criteria for switched linear systems
• Control of Boolean networks: hardness results and algorithms for tree structured networks
• Improving the variable ordering of OBDDs is NP-complete
• On reachability and stabilization of switched linear systems
• On Controllability of Switched Linear Systems
• Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results
• Necessary and Sufficient Conditions for Controllability and Observability of Switched Impulsive Control Systems
• Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices
• A Maximum Principle for Single-Input Boolean Control Networks
• Optimal Control of Logical Control Networks

This page was built for publication: On reachability and controllability of switched Boolean control networks