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

zbMATH Keywords

controllabilityreachabilitysemi-tensor product of matricesprobabilistic finite automatadiscrete event dynamical systems

Mathematics Subject Classification ID

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)

Observability of periodically switched Boolean control networks ⋮ On the stabilization of nondeterministic finite automata via static output feedback

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