On the inversion of a class of nonlinear systems

This paper deals with the inversion problem of affine square multi-input multi-output (MIMO) nonlinear systems. It presents a new algorithm unifying the construction of the inverse of a dynamical system with a regular or a singular characteristic matrix. This algorithm is based on the determination of a projector on the fibre bundle of the state space and incorporates a regularization of the singular case. It has the advantage of avoiding the input derivatives. Numerical examples are given to illustrate the proposed approach.     

由单个状态生成的有限自动机的一些性质

本文研究了由单个状态生成的有限自动机的弱可逆性及分解,得出了由单个状态生成的有限自动机弱可逆的充分必要条件,证明了由单个状态生成的延迟τ步弱可逆有限自动机M能分解为一个延迟0步弱可逆有限自动机和一个τ阶延迟元的充要条件是M的生成子的τ长输出权为1.     

An intrinsic sufficient condition for regular decoupling

This paper introduces an intrinsic regularity property, namely, regular invertibility, which requires that a sequence of vector spaces has constant dimension after a certain order, thus allowing some degeneracies in the beginning. It corresponds to the system and its tangent having the same defect. Using the constant rank theorem, this property is shown to be sufficient condition for regular decoupling.     

环上线性有限自动机的可逆性的一些结果

本文证明了有单位元的有限交换环R上任何延迟t步(弱)可逆线性有限自动机皆有延迟t步线性(弱)逆的充分必要条件是环R满足条件: x(Ax=0→bx=0)→y(b=yA)我们还证明了对任何有单有限交换环R,R上输入、输出维数相同的延迟t步(弱)可逆线性有限自动机具有延迟t步线性(弱)逆.     

对称系统可逆性的简化条件

给出对称系统可逆性的一个充要条件.用这个条件检验对称系统的可逆性,可不必计算 包含在输出核中的最大能控性子分布,而只需计算较为简单的最大对称性子分布.     

重建几何原形的动态逆正投影理论和方法

本文提出了重建几何原形的动态逆正投影理论和和方法，提出了动态逆正投影，多面正投影的可逆性，逆正投影线及实投影，虚投影和复合投影等新概念，     

Squaring down LTI systems: A geometric approach

In this paper, the problem of reducing a given LTI system into a left or right invertible one is addressed and solved with the standard tools of the geometric control theory. First, it will be shown how an LTI system can be turned into a left invertible system, thus preserving key system properties like stabilizability, phase minimality, right invertibility, relative degree and infinite zero structure. Moreover, the additional invariant zeros introduced in the left invertible system thus obtained can be arbitrarily assigned in the complex plane. By duality, the scheme of a right inverter will be derived straightforwardly. Moreover, the squaring down problem will be addressed. In fact, when the left and right reduction procedures are applied together, a system with an unequal number of inputs and outputs is turned into a square and invertible system. Furthermore, as an example it will be shown how these techniques may be employed to weaken the standard assumption of left invertibility of the plant in many optimization problems.     

Structure of weakly invertible semi-input-memory finite automata with delay 2

Semi-input-memory finite automata,a kind of finite automata introduced by the author of this paper for studying error propagation,are a generalization of input-memory finite automata by appending an autonomous finite automaton component.This paper gives a characterization on the structure of weakly invertible semi-input-memory finite automata with delay 2 in which input alphabets and output alphabets have two elements and autonomous finite automata are cyclic.For the structure of feedforward inverse finite automata with delay 2,Zhu first gave a characterization;from a result on mutual invertibility of finite automata,the result mentioned above also leads to a different characterization on the structure of feedforward result mentioned above also leads to a different characterization on the structure of feedforward inverse finite automata with delay 2.     

Geometric characterization on the solvability of regulator equations

The solvability of the regulator equation for a general nonlinear system is discussed in this paper by using geometric method. The ‘feedback’ part of the regulator equation, that is, the feasible controllers for the regulator equation, is studied thoroughly. The concepts of minimal output zeroing control invariant submanifold and left invertibility are introduced to find all the possible controllers for the regulator equation under the condition of left invertibility. Useful results, such as a necessary condition for the output regulation problem and some properties of friend sets of controlled invariant manifolds, are also obtained.