Compared with input-to-state stability(ISS) in global version,the concept of local input-to-state stability(LISS) is more relevant and meaningful in practice.The key of assessing LISS properties lies in investigating ...Compared with input-to-state stability(ISS) in global version,the concept of local input-to-state stability(LISS) is more relevant and meaningful in practice.The key of assessing LISS properties lies in investigating three main ingredients,the local region of initial states,the local region of external inputs and the asymptotic gain.It is the objective of this paper to propose a numerical algorithm for estimating LISS properties on the theoretical foundation of quadratic form LISS-Lyapunov function.Given developments of linear matrix inequality(LMI) methods,this algorithm is effective and powerful.A typical power electronics based system with common DC bus is served as a demonstration for quantitative results.展开更多
The main contribution of this paper is to present stability synthesis results for discrete-time piecewise affine （PWA） systems with polytopic time-varying uncertainties and for discrete-time PWA systems with norm-bo...The main contribution of this paper is to present stability synthesis results for discrete-time piecewise affine （PWA） systems with polytopic time-varying uncertainties and for discrete-time PWA systems with norm-bounded uncertainties respectively.The basic idea of the proposed approaches is to construct piecewise-quadratic （PWQ） Lyapunov functions to guarantee the stability of the closed-loop systems.The partition information of the PWA systems is taken into account and each polytopic operating region is outer approximated by an ellipsoid,then sufficient conditions for the robust stabilization are derived and expressed as a set of linear matrix inequalities （LMIs）.Two examples are given to illustrate the proposed theoretical results.展开更多
Necessary and suffcient conditions for the existence of a Lyapunov function in the Lur ’ e form to guarantee the absolute stability of Lur’ e control systems with multiple non-linearities are discussed in this paper...Necessary and suffcient conditions for the existence of a Lyapunov function in the Lur ’ e form to guarantee the absolute stability of Lur’ e control systems with multiple non-linearities are discussed in this paper. It simplifies the existence problem to one of solving a set of linear matrix inequalities (LMIs). If those LMIs are feasible, free parameters in the Lyapunov function, such as the positive definite matrix and the coefficients of the integral terms, are given by the solution of the LMIs. Otherwise, this Lyapunov function does not exist. Some sufficient conditions are also obtained for the robust absolute stability of uncertain systems. A numerical example is provided to demonstrate the effectiveness of the proposed method.展开更多
The weak invertibility problem of finite automata (FAs) has received continuous considerations. The weak invertibility theory has applications in cryptography, both conventional cryptosystems and public key cryptosyst...The weak invertibility problem of finite automata (FAs) has received continuous considerations. The weak invertibility theory has applications in cryptography, both conventional cryptosystems and public key cryptosystems. Given a finite commutative ring (?) with identity, it is known, that the weak invertibility of a linear finite automaton(LFA) over (?) depends only on its transfer function matrix. Let H be the set of all possible transfer function matrices which weakly invertible LFAs over (?) can have. Our展开更多
基金supported by the National Natural Science Foundation of China (Grant Nos 50977047 and 50907038)
文摘Compared with input-to-state stability(ISS) in global version,the concept of local input-to-state stability(LISS) is more relevant and meaningful in practice.The key of assessing LISS properties lies in investigating three main ingredients,the local region of initial states,the local region of external inputs and the asymptotic gain.It is the objective of this paper to propose a numerical algorithm for estimating LISS properties on the theoretical foundation of quadratic form LISS-Lyapunov function.Given developments of linear matrix inequality(LMI) methods,this algorithm is effective and powerful.A typical power electronics based system with common DC bus is served as a demonstration for quantitative results.
基金supported by the National Science Fund of China for Distinguished Young Scholars(No.60725311)
文摘The main contribution of this paper is to present stability synthesis results for discrete-time piecewise affine （PWA） systems with polytopic time-varying uncertainties and for discrete-time PWA systems with norm-bounded uncertainties respectively.The basic idea of the proposed approaches is to construct piecewise-quadratic （PWQ） Lyapunov functions to guarantee the stability of the closed-loop systems.The partition information of the PWA systems is taken into account and each polytopic operating region is outer approximated by an ellipsoid,then sufficient conditions for the robust stabilization are derived and expressed as a set of linear matrix inequalities （LMIs）.Two examples are given to illustrate the proposed theoretical results.
基金This work was supported by the Doctor Subject Foundation of China (No. 2000053303)
文摘Necessary and suffcient conditions for the existence of a Lyapunov function in the Lur ’ e form to guarantee the absolute stability of Lur’ e control systems with multiple non-linearities are discussed in this paper. It simplifies the existence problem to one of solving a set of linear matrix inequalities (LMIs). If those LMIs are feasible, free parameters in the Lyapunov function, such as the positive definite matrix and the coefficients of the integral terms, are given by the solution of the LMIs. Otherwise, this Lyapunov function does not exist. Some sufficient conditions are also obtained for the robust absolute stability of uncertain systems. A numerical example is provided to demonstrate the effectiveness of the proposed method.
文摘The weak invertibility problem of finite automata (FAs) has received continuous considerations. The weak invertibility theory has applications in cryptography, both conventional cryptosystems and public key cryptosystems. Given a finite commutative ring (?) with identity, it is known, that the weak invertibility of a linear finite automaton(LFA) over (?) depends only on its transfer function matrix. Let H be the set of all possible transfer function matrices which weakly invertible LFAs over (?) can have. Our
