Semitensor product approach to controllability, reachability, and stabilizability of probabilistic finite automata
DOI10.1155/2019/8021750zbMATH Open1435.93157OpenAlexW2936699898WikidataQ128038193 ScholiaQ128038193MaRDI QIDQ2298809FDOQ2298809
Fuad E. Alsaadi, Wenhui Dou, Haitao Li
Publication date: 20 February 2020
Published in: Mathematical Problems in Engineering (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1155/2019/8021750
Recommendations
- Reachability and controllability analysis of probabilistic finite automata via a novel matrix method
- Stabilization of probabilistic finite automata based on semi-tensor product of matrices
- Controllability, reachability, and stabilizability of finite automata: a controllability matrix method
- Controllability of probabilistic Boolean control networks
- Semi-tensor product of matrices approach to reachability of finite automata with application to language recognition
Formal languages and automata (68Q45) Controllability (93B05) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Discrete event control/observation systems (93C65) Stabilization of systems by feedback (93D15) Stochastic systems in control theory (general) (93E03)
Cites Work
- Stabilization, Controllability and Optimal Control of Boolean Networks With Impulsive Effects and State Constraints
- Title not available (Why is that?)
- Matrix Approach to Model Matching of Asynchronous Sequential Machines
- Controllers for reachability specifications for hybrid systems
- Title not available (Why is that?)
- Supervisory control of probabilistic discrete-event systems with recovery
- Vector space formulation of probabilistic finite state automata
- Converting two-way nondeterministic unary automata into simpler automata.
- Title not available (Why is that?)
- Kalman decomposition for Boolean control networks
- Set stability and set stabilization of Boolean control networks based on invariant subsets
- Stabilization and set stabilization of delayed Boolean control networks based on trajectory stabilization
- State estimation and detectability of probabilistic discrete event systems
- Verification of detectability in probabilistic finite automata
- Further results on feedback stabilization control design of Boolean control networks
- Lyapunov-Based Stability and Construction of Lyapunov Functions for Boolean Networks
- Stability and $l_1$ Gain Analysis of Boolean Networks With Markovian Jump Parameters
- On stabilization and set stabilization of multivalued logical systems
- STP-based judgment method of reversibility and liveness of bounded Petri nets
- Complexity of Control on Finite Automata
Cited In (3)
Uses Software
This page was built for publication: Semitensor product approach to controllability, reachability, and stabilizability of probabilistic finite automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2298809)
