STP Approach to Model Controlled Automata with Application to Reachability Analysis of DEDS
From MaRDI portal
Publication:2960118
DOI10.1002/asjc.1294zbMath1354.93094OpenAlexW2324132233MaRDI QIDQ2960118
Zhumu Fu, Jumei Yue, Yongyi Yan, Zeng-Qiang Chen
Publication date: 7 February 2017
Published in: Asian Journal of Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/asjc.1294
reachabilitysemi-tensor product of matricesmatrix approachdiscrete event dynamic systemcontrolled automata
Discrete event control/observation systems (93C65) Algebraic methods (93B25) Attainable sets, reachability (93B03)
Related Items
Algebraic method of simplifying Boolean networks using semi‐tensor product of Matrices ⋮ On the stabilization of nondeterministic finite automata via static output feedback ⋮ On the static output feedback stabilisation of discrete event dynamic systems based upon the approach of semi-tensor product of matrices
Uses Software
Cites Work
- A matrix approach to graph maximum stable set and coloring problems with application to multi-agent systems
- On finite potential games
- Complete synchronization of temporal Boolean networks
- Stability of switched polynomial systems
- Automata, Boolean matrices, and ultimate periodicity.
- Robust diagnosis of discrete-event systems against permanent loss of observations
- New representations for (max,+) automata with applications to performance evaluation and control of discrete event systems
- Introduction to Discrete Event Systems
- Supervisory Control of a Class of Discrete Event Processes
- Disturbance Decoupling of Boolean Control Networks
- Confusion Diagnosis and Control of Discrete Event Systems Using Synchronized <scp>P</scp>etri Nets
- A Lightweight Model Predictive Controller For Repetitive Discrete Event Systems