Controllability, reachability, and stabilizability of finite automata: a controllability matrix method
From MaRDI portal
Publication:1721288
DOI10.1155/2018/6719319zbMath1427.93146OpenAlexW2793491148MaRDI QIDQ1721288
Wenhui Dou, Haitao Li, Xin Liu, Yalu Li
Publication date: 8 February 2019
Published in: Mathematical Problems in Engineering (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1155/2018/6719319
Controllability (93B05) Formal languages and automata (68Q45) Discrete event control/observation systems (93C65) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items (4)
Reachability and controllability analysis of probabilistic finite automata via a novel matrix method ⋮ On robust synchronization of drive-response Boolean control networks with disturbances ⋮ Modeling and stability analysis for Markov jump networked evolutionary games ⋮ SURVEY ON APPLICATIONS OF SEMI-TENSOR PRODUCT METHOD IN NETWORKED EVOLUTIONARY GAMES
Cites Work
- On robust control invariance of Boolean control networks
- A matrix approach to graph maximum stable set and coloring problems with application to multi-agent systems
- System decomposition with respect to inputs for Boolean control networks
- On the periodic trajectories of Boolean control networks
- Stability of switched polynomial systems
- Stabilization of finite automata with application to hybrid systems control
- Output tracking control of Boolean control networks via state feedback: constant reference signal case
- An algebraic expression of finite horizon optimal control algorithm for stochastic logical dynamical systems
- Invertibility and nonsingularity of Boolean control networks
- Set stability and set stabilization of Boolean control networks based on invariant subsets
- Analysis and control of Boolean networks. A semi-tensor product approach.
- Controllers for reachability specifications for hybrid systems
- Decomposing a kind of weakly invertible finite automata with delay 2
- Non-regular feedback linearization of nonlinear systems via a normal form algorithm.
- Controllability and optimal control of a temporal Boolean network
- Controllability of probabilistic Boolean control networks based on transition probability matrices
- Minimum-Time Control of Boolean Networks
- Controllability Analysis and Control Design for Switched Boolean Networks with State and Input Constraints
- On Pinning Controllability of Boolean Control Networks
- Modeling, Analysis and Control of Networked Evolutionary Games
- Control of Infinite Behavior of Finite Automata
- Stability and $l_1$ Gain Analysis of Boolean Networks With Markovian Jump Parameters
- Output Regulation of Boolean Control Networks
- Solving type-2 fuzzy relation equations via semi-tensor product of matrices
This page was built for publication: Controllability, reachability, and stabilizability of finite automata: a controllability matrix method
