Stabilization of probabilistic finite automata based on semi-tensor product of matrices
From MaRDI portal
Publication:776109
DOI10.1016/j.jfranklin.2020.02.028zbMath1441.93335OpenAlexW3007795760MaRDI QIDQ776109
Zhongxin Liu, Zhipeng Zhang, Xiao-Guang Han, Zeng-Qiang Chen
Publication date: 30 June 2020
Published in: Journal of the Franklin Institute (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jfranklin.2020.02.028
Controllability (93B05) Formal languages and automata (68Q45) Stochastic stability in control theory (93E15) Attainable sets, reachability (93B03)
Related Items (7)
On congestion games with player-specific costs and resource failures ⋮ Edge removal towards asymptotical stabilizability of Boolean networks under asynchronous stochastic update ⋮ Networked opacity for finite state machine with bounded communication delays ⋮ Impact of decision feedback on networked evolutionary game with delays in control channel ⋮ I-S detectability of partially-observed discrete event systems: a novel matrix-based method ⋮ Function perturbation impact on asymptotical stability of probabilistic Boolean networks: changing to finite-time stability ⋮ Finite horizon tracking control of probabilistic Boolean control networks
Uses Software
Cites Work
- State feedback stabilization for probabilistic Boolean networks
- Controllability of probabilistic Boolean control networks
- Stabilization of finite automata with application to hybrid systems control
- On controllability and stabilizability of probabilistic Boolean control networks
- Detectability in stochastic discrete event systems
- An algebraic expression of finite horizon optimal control algorithm for stochastic logical dynamical systems
- State feedback based output tracking control of probabilistic Boolean networks
- Input-output decoupling control design for switched Boolean control networks
- A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata
- Verification of detectability in probabilistic finite automata
- Asymmetric disease dynamics in multihost interconnected networks
- Column stacking approach to resolution of systems of fuzzy relational inequalities
- Analysis of transmission dynamics for Zika virus on networks
- On the stabilization of nondeterministic finite automata via static output feedback
- Coupling dynamics of epidemic spreading and information diffusion on complex networks
- Controllability of probabilistic Boolean control networks based on transition probability matrices
- Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures
- State estimation and detectability of probabilistic discrete event systems
- Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata
- Modeling, Analysis and Control of Networked Evolutionary Games
- Current-State Opacity Formulations in Probabilistic Finite Automata
- Language Stability and Stabilizability of Discrete Event Dynamical Systems
- Introduction to Discrete Event Systems
- Stabilization of discrete-event processes
- Supervisory control of probabilistic discrete-event systems with recovery
- A Framework for Robust Stability of Systems Over Finite Alphabets
- Probabilistic Supervisory Control of Probabilistic Discrete Event Systems
- A Linear Representation of Dynamics of Boolean Networks
- Diagnosability of stochastic discrete-event systems
- Probabilistic automata
This page was built for publication: Stabilization of probabilistic finite automata based on semi-tensor product of matrices
