On the stabilization of nondeterministic finite automata via static output feedback

Zhipeng Zhang, Chengyi Xia and Zengqiang Chen

Applied Mathematics and Computation, 2020, vol. 365, issue C

Abstract: A nondeterministic finite automaton (NDFA) can exhibit an uncertain behavior in modeling and analysis, and its stabilization is viewed as an essential component of theoretical research. In this paper, we focused on the problem of static output feedback stabilization of NDFA under the framework of matrix semi-tensor product (matrix STP). First, the dynamics of Moore-type NDFA can be described as a discrete-time bilinear expression by a matrix-based modeling approach. Subsequently, equilibrium point and closed transition matrix of NDFA are introduced, and the corresponding computational formulas are given based on the new matrix expression. By utilizing the matrix STP approach, we can obtain the necessary and sufficient conditions to implement the static state output feedback stabilization for NDFA. Meanwhile, starting from the matrix STP, we designed a systematic procedure to seek the controller through an extended output feedback feasible event set. Finally, an illustrative example is provided to prove the efficacy of newly proposed method. Current results are conducive to better understand and devise the effective finite automata for discrete event systems.

Keywords: Logical dynamical systems; Finite-valued systems; Finite automata; Algebraic state space method; Static output feedback stabilization; Matrix semi-tensor product (search for similar items in EconPapers)
Date: 2020
References: Add references at CitEc
Citations: View citations in EconPapers (3)

Downloads: (external link)
http://www.sciencedirect.com/science/article/pii/S0096300319306794
Full text for ScienceDirect subscribers only

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:eee:apmaco:v:365:y:2020:i:c:s0096300319306794

DOI: 10.1016/j.amc.2019.124687

Access Statistics for this article

Applied Mathematics and Computation is currently edited by Theodore Simos

More articles in Applied Mathematics and Computation from Elsevier
Bibliographic data for series maintained by Catherine Liu ().