共查询到20条相似文献，搜索用时 0 毫秒
1.
Using the theories of many‐valued logic and semi‐tensor product of matrices (STP), this paper investigates how to mathematically determine whether or not a regular language is recognized by finite automata (FA). To this end, the dynamic behaviour of FA is first formulated as bilinear dynamic equations, which provides a uniform model for deterministic and non‐deterministic FA. Based on the bilinear model, the recognition power of FA understanding of regular languages is investigated and several algebraic criteria are obtained. With the algebraic criteria, to judge whether a regular sentence is accepted by a FA or not, one only needs to calculate an STP of some vectors, rather than making the sentence run over the machine as traditional manners. Further, the inverse problem of recognition is considered, an algorithm is developed that can mathematically construct all the accepted sentences for a given FA. The algebraic approach of this paper may be a new angle and means to understand and analyse the dynamics of FA. 相似文献
2.
In this paper, we use a new mathematical tool, semi‐tensor product of matrices, to investigate the problem of simplification of finite state machines (FSMs) in a mathematical manner. First, based on the dynamic equations of state transition and output behavior which are developed recently, an algebraic criterion of k‐difference states is established. Second, using the criterion, a scheme is designed to construct the incompatible graphs of FSMs. Third, with the incompatible graphs and the method of searching internally stable sets of graphs proposed by the authors, a solution is proposed to obtain all of the compatible state set (CSS) of FSMs. Then, with the aid of the CSS, we investigate three kinds of structures of state space of FSMs, including compatible cover of state set (CCSS), representative set of state set (RSSS), and minimum representative set of state set (MRSSS); necessary and sufficient conditions are proposed to formulate the three kinds of structures. Finally, examples are given to exemplify minimum realizations of FSMs by these conditions. 相似文献
3.
In this paper, the disturbance decoupling problem for Boolean control networks is investigated in a new viewpoint. A new concept called original disturbance decoupling is proposed and necessary and sufficient conditions for the original disturbance decoupling are given. Similarly, an equivalent condition for the s‐step original disturbance decoupling is obtained. Finally, an algorithm and some simulations for an example are provided to validate the obtained theoretical results. 相似文献
4.
The stability of Boolean networks and the stabilization of Boolean control networks are investigated. Using semi‐tensor product of matrices and the matrix expression of logic, the dynamics of a Boolean (control) network can be converted to a discrete time linear (bilinear) dynamics, called the algebraic form of the Boolean (control) network. Then the stability can be revealed by analyzing the transition matrix of the corresponding discrete time system. Main results consist of two parts: (i) Using logic coordinate transformation, the known sufficient condition based on incidence matrix has been improved. It can also be used in stabilizer design. (ii) Based on algebraic form, necessary and sufficient conditions for stability and stabilization, respectively, are obtained. Copyright © 2010 John Wiley & Sons, Ltd. 相似文献
5.
Probabilistic finite automata (PFAs) can exhibit a stochastic behavior, and its reachability and controllability is viewed as the first necessary step of supervisory control and stabilization. In this paper, the problems of reachability and controllability of PFAs are investigated under the framework of semi‐tensor product (STP) of matrices. First, a matrix‐based modeling approach to PFAs is proposed, and the dynamics of PFAs can be described as a discrete‐time bilinear expression. Meanwhile, the notions of reachability with a probability of one is formally defined, and F‐reachability with a probability of one is introduced. With the algebraic expression, necessary and sufficient conditions of such reachability are provided systematically. Second, F‐set controllability with a probability of one of PFAs is developed by introducing the F‐reachability with a probability of one, and the associated algebraic condition to verify such controllability are given. Finally, a simple example is illustrated to validate the proposed results. 相似文献
6.
7.
Ministry in 2005, and the National Prize of Natural Science of China in 2008. Currently, he is Associate Editor IMA Journal of Math Control and Inform., and a Technical Committee member of IFAC (TC2.3). This paper investigates the state feedback stabilization of Boolean control networks (BCNs) with state and input constraints by using the semi‐tensor product of matrices. Firstly, a kind of constrained input‐state incidence matrix is proposed for constrained BCNs, which contains all the reachability information of the constrained systems. Secondly, based on the constrained input‐state incidence matrix, a necessary and sufficient condition is presented for the stabilization of constrained BCNs via state feedback. Thirdly, a general procedure is proposed to design all possible minimum‐time state feedback stabilizers. The study of an illustrative example shows that the new results obtained are effective in analyzing the stabilization of constrained BCNs. 相似文献
8.
9.
10.
11.
Observability is a basic, yet challenging, issue when studying Boolean control networks (BCNs). Recently, a criterion for observability of controllable BCNs was proposed by using the algebraic representation of logical dynamics based on the technique of the semi‐tensor product of matrices. In this paper, we present new necessary and sufficient conditions guaranteeing observability of a BCN without preassuming its controllability. The conditions are hence more general. Some examples are worked out to illustrate the obtained results. Copyright © 2013 John Wiley & Sons, Ltd. 相似文献
12.
Zhengping Ji 《Asian journal of control》2019,21(6):2521-2531
Many Boolean control networks contain independent uncontrollable subnetworks, which may affect other nodes; and the rest of the system is called subspace of sub‐controllable states. This paper investigates the problem of subspace controllability under free input sequences, while the presumption that the initial states of those independent subnetworks are designable is canceled. An algorithm based on the common asymptotic periodic properties of the states is developed to find the reachable sets. Accordingly, the existing controllability criteria for subspaces when initial states of subnetworks are designable is improved, and a necessary and sufficient condition of subspace controllability via subnetworks and free inputs is derived. A design technique involving a kind of newly defined addition is presented to construct desired controls. 相似文献
13.
Zhongsheng Hou 《Asian journal of control》2014,16(6):1659-1669
This paper studies the synchronization of interconnected k‐valued logical networks, as well as that of interconnected higher order k‐valued logical networks, based on their algebraic representations. For interconnected k‐valued logical networks, one necessary and sufficient criterion of synchronization is established via the definition of synchronization and another equivalent condition is given by combining synchronization with fixed points and cycles. Furthermore, with some special properties of semi‐tensor product, the third necessary and sufficient condition for synchronization of interconnected k‐valued logical networks is raised in terms of transition matrices. Then, the limit set method can be used to analyze the synchronization of interconnected higher order k‐valued logical networks. Finally, three examples, including the Boolean model for interconnected biochemical oscillators in the cell cycle, are presented to illustrate effectiveness of the results. 相似文献
14.
To investigate the topological structure of finite games, various decomposions of finite games have been proposed. The inner product of vectors plays a key role in the decomposition of finite games. This paper considers the effect of different inner products on the orthogonal decomposition of finite games. We found that only when the compatible condition is satisfied, a common decomposition can be induced by the standard inner product and the weighted inner product simultaneously. To explain the result, we studied the existing decompositions, including potential based decomposition, zero‐sum based decomposition, and normalization based decomposition. For zero‐sum based decomposition and normalization based decomposition, we redefine their subspaces in a linear algebraic framework, which shows their physical meanings clearly. Bases of subspaces in these two decompositions are constructed. 相似文献
15.
随着系统生物学和医学的迅速发展,基因调控网络已经成为一个热点研究领域.布尔网络作为研究生物系统和基因调控网络的一种重要模型,近年来引起了包括生物学家和系统科学家在内的很多学者的广泛关注.本文利用代数状态空间方法,研究了概率级联布尔网络的集镇定问题.首先给出概率级联布尔网络集镇定的定义,并利用矩阵的半张量积给出了概率级联布尔网络的代数表示.其次基于该代数表示,定义了一组合适的概率能达集,并给出了概率级联布尔网络集镇定问题可解的充要条件.最后将所得的理论结果应用于概率级联布尔网络的同步分析及n人随机级联演化布尔博弈的策略一致演化行为分析. 相似文献
16.
Zhipeng Zhang Xiaoguang Han Zhongxin Liu 《International journal of systems science》2013,44(8):1595-1608
In this paper, the static output feedback stabilisation of discrete event dynamic systems (DEDSs) is investigated via the semi-tensor product (STP) of matrices. Firstly, the dynamics of DEDSs modelled by deterministic Moore-type finite automata are converted into an matrix expression in the STP frame. Secondly, necessary and sufficient conditions for the existence of a static output feedback control pattern, stabilising the controlled discrete event dynamic systems to some equilibrium point, are given, and constructive algorithms to seek the static output feedback control pattern including an effective specific solution algorithm and an analytic solution algorithm are proposed. Thirdly, the equilibrium-based static output feedback stabilisation of DEDSs is extended to the set-based static output feedback stabilisation and necessary and sufficient conditions and constructive algorithms to seek the corresponding control pattern are provided. Finally, some examples are presented to illustrate the effectiveness of the proposed approach. 相似文献
17.
This paper deals with the issues of reconstructibility analysis and set-observer design for Boolean control networks (BCNs). A state estimation set is considered to find the state estimation of BCNs, and a reconstructibility judgment matrix (RJM) is obtained by compact vector of state estimation set. Then, a kind of state-reconstructible tree is constructed, and algorithms are also provided to construct it. The state-reconstructible tree can categorize BCNs to be globally reconstructible, locally reconstructible, and unreconstructible. The sufficient and necessary conditions for the reconstructibility of BCNs are given. Meanwhile, the relationship between input–output trajectory and estimated state is derived. Next, with the knowledge of input–output sequence, a set-observer is designed such that the state of BCNs for any global reconstructible BCNs is uniquely determined in a finite time. Some examples are also given to illustrate the effectiveness of the proposed methods. 相似文献
18.
19.
Mitsuru Toyoda 《Asian journal of control》2019,21(6):2513-2520
A Bayesian approach to estimate selection probabilities of probabilistic Boolean networks is developed in this study. The concepts of inverse Boolean function and updatable set are introduced to specify states which can be used to update a Bayesian posterior distribution. The analysis on convergence of the posteriors is carried out by exploiting the combination of semi‐tensor product technique and state decomposition algorithm for Markov chain. Finally, some numerical examples demonstrate the proposed estimation algorithm. 相似文献
20.
Controllability of time-variant Boolean control networks and its application to Boolean control networks with finite memories 总被引：1，自引：0，他引：1
This paper investigates the controllability of time-variant Boolean control networks(BCNs).For the time-variant BCNs,a necessary and sufcient condition for the controllability is given,and a control design algorithm is presented.For a BCN with fnite memories,an equivalent transformation to a time-variant BCN is constructed.Then a necessary and sufcient condition for the controllability and a control design algorithm are obtained. 相似文献