Reachability and controllability analysis of probabilistic finite automata via a novel matrix method
DOI10.1002/asjc.2160zbMath1451.93020OpenAlexW2953351635WikidataQ127679460 ScholiaQ127679460MaRDI QIDQ5131093
Zhongxin Liu, Zhipeng Zhang, Zeng-Qiang Chen
Publication date: 2 November 2020
Published in: Asian Journal of Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/asjc.2160
controllabilityreachabilitysemi-tensor product of matricesprobabilistic finite automatadiscrete event dynamical systems
Controllability (93B05) Formal languages and automata (68Q45) Discrete event control/observation systems (93C65) Stochastic systems in control theory (general) (93E03) Attainable sets, reachability (93B03)
Related Items (2)
Cites Work
- On finite potential games
- State feedback stabilization for probabilistic Boolean networks
- Controllability of probabilistic Boolean control networks
- On controllability and stabilizability of probabilistic Boolean control networks
- Set stability and set stabilization of Boolean control networks based on invariant subsets
- State feedback based output tracking control of probabilistic Boolean networks
- Observability of Boolean networks via set controllability approach
- Verification of detectability in probabilistic finite automata
- On robust synchronization of drive-response Boolean control networks with disturbances
- Controllability, reachability, and stabilizability of finite automata: a controllability matrix method
- Controllability of probabilistic Boolean control networks based on transition probability matrices
- Modeling, Analysis and Control of Networked Evolutionary Games
- Current-State Opacity Formulations in Probabilistic Finite Automata
- Introduction to Discrete Event Systems
- Control of Infinite Behavior of Finite Automata
- Supervisory control of probabilistic discrete-event systems with recovery
- On the static output feedback stabilization of deterministic finite automata based upon the approach of semi-tensor product of matrix
- Probabilistic Supervisory Control of Probabilistic Discrete Event Systems
- A Linear Representation of Dynamics of Boolean Networks
- Diagnosability of stochastic discrete-event systems
This page was built for publication: Reachability and controllability analysis of probabilistic finite automata via a novel matrix method