This paper presents a risk-informed data-driven safe control design approach for a class of stochastic uncertain nonlinear discrete-time systems.The nonlinear system is modeled using linear parameter-varying(LPV)syste...This paper presents a risk-informed data-driven safe control design approach for a class of stochastic uncertain nonlinear discrete-time systems.The nonlinear system is modeled using linear parameter-varying(LPV)systems.A model-based probabilistic safe controller is first designed to guarantee probabilisticλ-contractivity(i.e.,stability and invariance)of the LPV system with respect to a given polyhedral safe set.To obviate the requirement of knowing the LPV system model and to bypass identifying its open-loop model,its closed-loop data-based representation is provided in terms of state and scheduling data as well as a decision variable.It is shown that the variance of the closedloop system,as well as the probability of safety satisfaction,depends on the decision variable and the noise covariance.A minimum-variance direct data-driven gain-scheduling safe control design approach is presented next by designing the decision variable such that all possible closed-loop system realizations satisfy safety with the highest confidence level.This minimum-variance approach is a control-oriented learning method since it minimizes the variance of the state of the closed-loop system with respect to the safe set,and thus minimizes the risk of safety violation.Unlike the certainty-equivalent approach that results in a risk-neutral control design,the minimum-variance method leads to a risk-averse control design.It is shown that the presented direct risk-averse learning approach requires weaker data richness conditions than existing indirect learning methods based on system identification and can lead to a lower risk of safety violation.Two simulation examples along with an experimental validation on an autonomous vehicle are provided to show the effectiveness of the presented approach.展开更多
Hessian matrices are square matrices consisting of all possible combinations of second partial derivatives of a scalar-valued initial function. As such, Hessian matrices may be treated as elementary matrix systems of ...Hessian matrices are square matrices consisting of all possible combinations of second partial derivatives of a scalar-valued initial function. As such, Hessian matrices may be treated as elementary matrix systems of linear second-order partial differential equations. This paper discusses the Hessian and its applications in optimization, and then proceeds to introduce and derive the notion of the Jaffa Transform, a new linear operator that directly maps a Hessian square matrix space to the initial corresponding scalar field in nth dimensional Euclidean space. The Jaffa Transform is examined, including the properties of the operator, the transform of notable matrices, and the existence of an inverse Jaffa Transform, which is, by definition, the Hessian matrix operator. The Laplace equation is then noted and investigated, particularly, the relation of the Laplace equation to Poisson’s equation, and the theoretical applications and correlations of harmonic functions to Hessian matrices. The paper concludes by introducing and explicating the Jaffa Theorem, a principle that declares the existence of harmonic Jaffa Transforms, which are, essentially, Jaffa Transform solutions to the Laplace partial differential equation.展开更多
Safety critical control is often trained in a simulated environment to mitigate risk.Subsequent migration of the biased controller requires further adjustments.In this paper,an experience inference human-behavior lear...Safety critical control is often trained in a simulated environment to mitigate risk.Subsequent migration of the biased controller requires further adjustments.In this paper,an experience inference human-behavior learning is proposed to solve the migration problem of optimal controllers applied to real-world nonlinear systems.The approach is inspired in the complementary properties that exhibits the hippocampus,the neocortex,and the striatum learning systems located in the brain.The hippocampus defines a physics informed reference model of the realworld nonlinear system for experience inference and the neocortex is the adaptive dynamic programming(ADP)or reinforcement learning(RL)algorithm that ensures optimal performance of the reference model.This optimal performance is inferred to the real-world nonlinear system by means of an adaptive neocortex/striatum control policy that forces the nonlinear system to behave as the reference model.Stability and convergence of the proposed approach is analyzed using Lyapunov stability theory.Simulation studies are carried out to verify the approach.展开更多
The existing containment control has been widely developed for several years, but ignores the case for large-scale cooperation. The strong coupling of large-scale networks will increase the costs of system detection a...The existing containment control has been widely developed for several years, but ignores the case for large-scale cooperation. The strong coupling of large-scale networks will increase the costs of system detection and maintenance. Therefore, this paper is concerned with an extensional containment control issue, hierarchical containment control. It aims to enable a multitude of followers achieving a novel cooperation in the convex hull shaped by multiple leaders. Firstly, by constructing the three-layer topology, large-scale networks are decoupled. Then,under the condition of directed spanning group-tree, a class of dynamic hierarchical containment control protocol is designed such that the novel group-consensus behavior in the convex hull can be realized. Moreover, the definitions of coupling strength coefficients and the group-consensus parameter in the proposed dynamic hierarchical control protocol enhance the adjustability of systems. Compared with the existing containment control strategy, the proposed hierarchical containment control strategy improves dynamic control performance. Finally, numerical simulations are presented to demonstrate the effectiveness of the proposed hierarchical control protocol.展开更多
This paper proposes a two-parameter block triangular splitting(TPTS)preconditioner for the general block two-by-two linear systems.The eigenvalues of the corresponding preconditioned matrix are proved to cluster aroun...This paper proposes a two-parameter block triangular splitting(TPTS)preconditioner for the general block two-by-two linear systems.The eigenvalues of the corresponding preconditioned matrix are proved to cluster around 0 or 1 under mild conditions.The limited numerical results show that the TPTS preconditioner is more efficient than the classic block-diagonal and block-triangular preconditioners when applied to the flexible generalized minimal residual(FGMRES)method.展开更多
This paper addresses the problem of event-triggered finite-time H<sub>∞</sub> filter design for a class of discrete-time nonlinear stochastic systems with exogenous disturbances. The stochastic Lyapunov-K...This paper addresses the problem of event-triggered finite-time H<sub>∞</sub> filter design for a class of discrete-time nonlinear stochastic systems with exogenous disturbances. The stochastic Lyapunov-Krasoviskii functional method is adopted to design a filter such that the filtering error system is stochastic finite-time stable (SFTS) and preserves a prescribed performance level according to the pre-defined event-triggered criteria. Based on stochastic differential equations theory, some sufficient conditions for the existence of H<sub>∞</sub> filter are obtained for the suggested system by employing linear matrix inequality technique. Finally, the desired H<sub>∞</sub> filter gain matrices can be expressed in an explicit form.展开更多
The robust stability and robust stabilization problems for discrete singular systems with interval time-varying delay and linear fractional uncertainty are discussed. A new delay-dependent criterion is established for...The robust stability and robust stabilization problems for discrete singular systems with interval time-varying delay and linear fractional uncertainty are discussed. A new delay-dependent criterion is established for the nominal discrete singular delay systems to be regular, causal and stable by employing the linear matrix inequality (LMI) approach. It is shown that the newly proposed criterion can provide less conservative results than some existing ones. Then, with this criterion, the problems of robust stability and robust stabilization for uncertain discrete singular delay systems are solved, and the delay-dependent LMI conditions are obtained. Finally, numerical examples are given to illustrate the effectiveness of the proposed approach.展开更多
This paper addresses the robust admissibility problem in singular fractional-order continuous time systems. It is based on new admissibility conditions of singular fractional-order systems expressed in a set of strict...This paper addresses the robust admissibility problem in singular fractional-order continuous time systems. It is based on new admissibility conditions of singular fractional-order systems expressed in a set of strict linear matrix inequalities(LMIs). Then, a static output feedback controller is designed for the uncertain closed-loop system to be admissible. Numerical examples are given to illustrate the proposed methods.展开更多
A parametric method for the gain-scheduled controller design of a linear time-varying system is given. According to the proposed scheduling method, the performance between adjacent characteristic points is preserved b...A parametric method for the gain-scheduled controller design of a linear time-varying system is given. According to the proposed scheduling method, the performance between adjacent characteristic points is preserved by the invariant eigenvalues and the gradually varying eigenvectors. A sufficient stability criterion is given by constructing a series of Lyapunov functions based on the selected discrete characteristic points. An important contribution is that it provides a simple and feasible approach for the design of gain-scheduled controllers for linear time-varying systems, which can guarantee both the global stability and the desired closed-loop performance of the resulted system. The method is applied to the design of a BTT missile autopilot and the simulation results show that the method is superior to the traditional one in sense of either global stability or system performance.展开更多
In this paper,a new parallel controller is developed for continuous-time linear systems.The main contribution of the method is to establish a new parallel control law,where both state and control are considered as the...In this paper,a new parallel controller is developed for continuous-time linear systems.The main contribution of the method is to establish a new parallel control law,where both state and control are considered as the input.The structure of the parallel control is provided,and the relationship between the parallel control and traditional feedback controls is presented.Considering the situations that the systems are controllable and incompletely controllable,the properties of the parallel control law are analyzed.The parallel controller design algorithms are given under the conditions that the systems are controllable and incompletely controllable.Finally,numerical simulations are carried out to demonstrate the effectiveness and applicability of the present method.Index Terms-Continuous-time linear systems,digital twin,parallel controller,parallel intelligence,parallel systems.展开更多
A block diagonal form about a nonlinear system is defined. Based on the de finition, a design method ca1led block diagonal controller (BDC) is proPOsed bo feedbacklinearization. Thus, a linearization design of a class...A block diagonal form about a nonlinear system is defined. Based on the de finition, a design method ca1led block diagonal controller (BDC) is proPOsed bo feedbacklinearization. Thus, a linearization design of a class of nonlinear system can be simply re-alized. The result of design has been proved by mathematical simulation of a certain anti-ship missile.展开更多
A deky-dependent H-infinity control for descriptor systems with a state-delayis investigated. The purpose of the problem is to design a linear memoryless state-feedbackcontroller such that the resulting closed-loop sy...A deky-dependent H-infinity control for descriptor systems with a state-delayis investigated. The purpose of the problem is to design a linear memoryless state-feedbackcontroller such that the resulting closed-loop system is regular, impulse free and stable with anH-infinity norm bound. Firstly, a deky-dependent bounded real lemma(BRL) of the time-deky descriptorsystems is presented in terms of linear matrix inequalities(LMIs) by using a descriptor modeltransformation of the system and by taking a new Lyapunov-Krasovsii functional. The introducedfunctional does not require bounding for cross terms, so it has less conservation. Secondly, withthe help of the obtained bounded real lemma, a sufficient condition for the existence of a newdeky-dependent H-infinity state-feedback controller is shown in terms of nonlinear matrixinequalities and the solvability of the problem can be obtained by using an iterative algorithminvolving convex optimization. Finally, numerical examples are given to demonstrate theeffectiveness of the new method presented.展开更多
The problem of robustifying linear quadratic regulators (LQRs) for a class of uncertain affine nonlinear systems is considered. First, the exact linearization technique is used to transform an uncertain nonlinear sy...The problem of robustifying linear quadratic regulators (LQRs) for a class of uncertain affine nonlinear systems is considered. First, the exact linearization technique is used to transform an uncertain nonlinear system into a linear one and an optimal LQR is designed for the corresponding nominal system. Then, based on the integral sliding mode, a design approach to robustifying the optimal regulator is studied. As a result, the system exhibits global robustness to uncertainties and the ideal sliding mode dynamics is the same as that of the optimal LQR for the nominal system. A global robust optimal sliding mode control (GROSMC) is realized. Finally, a numerical simulation is demonstrated to show the effectiveness and superiority of the proposed algorithm compared with the conventional optimal LQR.展开更多
In this paper, we investigate the block Lanczos algorithm for solving large sparse symmetric linear systems with multiple right-hand sides, and show how to incorporate deflation to drop converged linear systems using ...In this paper, we investigate the block Lanczos algorithm for solving large sparse symmetric linear systems with multiple right-hand sides, and show how to incorporate deflation to drop converged linear systems using a natural convergence criterion, and present an adaptive block Lanczos algorithm. We propose also a block version of Paige and Saunders’ MINRES method for iterative solution of symmetric linear systems, and describe important implementation details. We establish a relationship between the block Lanczos algorithm and block MINRES algorithm, and compare the numerical performance of the Lanczos algorithm and MINRES method for symmetric linear systems applied to a sequence of right hand sides with that of the block Lanczos algorithm and block MINRES algorithm for multiple linear systems simultaneously.[WT5,5”HZ]展开更多
In this paper eigenstructure assignment via proportional-plus-derivative feedback is investigated for a class of second-order descriptor linear systems. Under certain conditions, simple, general and complete parametri...In this paper eigenstructure assignment via proportional-plus-derivative feedback is investigated for a class of second-order descriptor linear systems. Under certain conditions, simple, general and complete parametric solutions of both finite closed-loop eigenvector matrices and feedback gain matrices are derived. The parametric approach utilizes directly original system data, involves manipulations only on n-dimensional matrices, and reveals all the design degrees of freedom which can be further utilized to achieve certain additional system specifications. A numerical example shows the effect of the proposed approach.展开更多
Several LMI representations for delay-independence stability are proposed by applying Projection Lemma and the socalled "Small Scalar Method". These criteria realize the elimination of the products coupling the syst...Several LMI representations for delay-independence stability are proposed by applying Projection Lemma and the socalled "Small Scalar Method". These criteria realize the elimination of the products coupling the system matrices and Lyapunov matrices by introducing some additional matrices. When they are applied to robust stability analysis for polytopic uncertain systems, the vertex-dependent Lyapunov functions are allowed, so less conservative results can be obtained. A numerical example is employed to illustrate the effect of these proposed criteria.展开更多
This paper will investigate global exponential stability analysis for a class of switched positive nonlinear systems under minimum dwell time switching, whose nonlinear functions for each subsystem are constrained in ...This paper will investigate global exponential stability analysis for a class of switched positive nonlinear systems under minimum dwell time switching, whose nonlinear functions for each subsystem are constrained in a sector field by two odd symmetric piecewise linear functions and whose system matrices for each subsystem are Metzler. A class of multiple time-varying Lyapunov functions is constructed to obtain the computable sufficient conditions on the stability of such switched nonlinear systems within the framework of minimum dwell time switching.All present conditions can be solved by linear/nonlinear programming techniques. An example is provided to demonstrate the effectiveness of the proposed result.展开更多
In this paper, stability of discrete-time linear systems subject to actuator saturation is analyzed by combining the saturation-dependent Lyapunov function method with Finsler’s lemma. New stability test conditions a...In this paper, stability of discrete-time linear systems subject to actuator saturation is analyzed by combining the saturation-dependent Lyapunov function method with Finsler’s lemma. New stability test conditions are proposed in the enlarged space containing both the state and its time difference which allow extra degree of freedom and lead to less conservative estimation of the domain of attraction. Furthermore, based on this result, a useful lemma and an iterative LMI-based optimization algorithm are also developed to maximize an estimation of domain of attraction. A numerical example illustrates the effectiveness of the proposed methods.展开更多
基金supported in part by the Department of Navy award (N00014-22-1-2159)the National Science Foundation under award (ECCS-2227311)。
文摘This paper presents a risk-informed data-driven safe control design approach for a class of stochastic uncertain nonlinear discrete-time systems.The nonlinear system is modeled using linear parameter-varying(LPV)systems.A model-based probabilistic safe controller is first designed to guarantee probabilisticλ-contractivity(i.e.,stability and invariance)of the LPV system with respect to a given polyhedral safe set.To obviate the requirement of knowing the LPV system model and to bypass identifying its open-loop model,its closed-loop data-based representation is provided in terms of state and scheduling data as well as a decision variable.It is shown that the variance of the closedloop system,as well as the probability of safety satisfaction,depends on the decision variable and the noise covariance.A minimum-variance direct data-driven gain-scheduling safe control design approach is presented next by designing the decision variable such that all possible closed-loop system realizations satisfy safety with the highest confidence level.This minimum-variance approach is a control-oriented learning method since it minimizes the variance of the state of the closed-loop system with respect to the safe set,and thus minimizes the risk of safety violation.Unlike the certainty-equivalent approach that results in a risk-neutral control design,the minimum-variance method leads to a risk-averse control design.It is shown that the presented direct risk-averse learning approach requires weaker data richness conditions than existing indirect learning methods based on system identification and can lead to a lower risk of safety violation.Two simulation examples along with an experimental validation on an autonomous vehicle are provided to show the effectiveness of the presented approach.
文摘Hessian matrices are square matrices consisting of all possible combinations of second partial derivatives of a scalar-valued initial function. As such, Hessian matrices may be treated as elementary matrix systems of linear second-order partial differential equations. This paper discusses the Hessian and its applications in optimization, and then proceeds to introduce and derive the notion of the Jaffa Transform, a new linear operator that directly maps a Hessian square matrix space to the initial corresponding scalar field in nth dimensional Euclidean space. The Jaffa Transform is examined, including the properties of the operator, the transform of notable matrices, and the existence of an inverse Jaffa Transform, which is, by definition, the Hessian matrix operator. The Laplace equation is then noted and investigated, particularly, the relation of the Laplace equation to Poisson’s equation, and the theoretical applications and correlations of harmonic functions to Hessian matrices. The paper concludes by introducing and explicating the Jaffa Theorem, a principle that declares the existence of harmonic Jaffa Transforms, which are, essentially, Jaffa Transform solutions to the Laplace partial differential equation.
基金supported by the Royal Academy of Engineering and the Office of the Chie Science Adviser for National Security under the UK Intelligence Community Postdoctoral Research Fellowship programme。
文摘Safety critical control is often trained in a simulated environment to mitigate risk.Subsequent migration of the biased controller requires further adjustments.In this paper,an experience inference human-behavior learning is proposed to solve the migration problem of optimal controllers applied to real-world nonlinear systems.The approach is inspired in the complementary properties that exhibits the hippocampus,the neocortex,and the striatum learning systems located in the brain.The hippocampus defines a physics informed reference model of the realworld nonlinear system for experience inference and the neocortex is the adaptive dynamic programming(ADP)or reinforcement learning(RL)algorithm that ensures optimal performance of the reference model.This optimal performance is inferred to the real-world nonlinear system by means of an adaptive neocortex/striatum control policy that forces the nonlinear system to behave as the reference model.Stability and convergence of the proposed approach is analyzed using Lyapunov stability theory.Simulation studies are carried out to verify the approach.
基金supported in part by the National Natural Science Foundation of China(U22A20221,62073064)in part by the Fundamental Research Funds for the Central Universities in China(N2204007)。
文摘The existing containment control has been widely developed for several years, but ignores the case for large-scale cooperation. The strong coupling of large-scale networks will increase the costs of system detection and maintenance. Therefore, this paper is concerned with an extensional containment control issue, hierarchical containment control. It aims to enable a multitude of followers achieving a novel cooperation in the convex hull shaped by multiple leaders. Firstly, by constructing the three-layer topology, large-scale networks are decoupled. Then,under the condition of directed spanning group-tree, a class of dynamic hierarchical containment control protocol is designed such that the novel group-consensus behavior in the convex hull can be realized. Moreover, the definitions of coupling strength coefficients and the group-consensus parameter in the proposed dynamic hierarchical control protocol enhance the adjustability of systems. Compared with the existing containment control strategy, the proposed hierarchical containment control strategy improves dynamic control performance. Finally, numerical simulations are presented to demonstrate the effectiveness of the proposed hierarchical control protocol.
基金the National Natural Science Foundation of China under Grant Nos.61273311 and 61803247.
文摘This paper proposes a two-parameter block triangular splitting(TPTS)preconditioner for the general block two-by-two linear systems.The eigenvalues of the corresponding preconditioned matrix are proved to cluster around 0 or 1 under mild conditions.The limited numerical results show that the TPTS preconditioner is more efficient than the classic block-diagonal and block-triangular preconditioners when applied to the flexible generalized minimal residual(FGMRES)method.
文摘This paper addresses the problem of event-triggered finite-time H<sub>∞</sub> filter design for a class of discrete-time nonlinear stochastic systems with exogenous disturbances. The stochastic Lyapunov-Krasoviskii functional method is adopted to design a filter such that the filtering error system is stochastic finite-time stable (SFTS) and preserves a prescribed performance level according to the pre-defined event-triggered criteria. Based on stochastic differential equations theory, some sufficient conditions for the existence of H<sub>∞</sub> filter are obtained for the suggested system by employing linear matrix inequality technique. Finally, the desired H<sub>∞</sub> filter gain matrices can be expressed in an explicit form.
基金supported by Research Foundation of Education Bureau of Shannxi Province, PRC(No.2010JK400)
文摘The robust stability and robust stabilization problems for discrete singular systems with interval time-varying delay and linear fractional uncertainty are discussed. A new delay-dependent criterion is established for the nominal discrete singular delay systems to be regular, causal and stable by employing the linear matrix inequality (LMI) approach. It is shown that the newly proposed criterion can provide less conservative results than some existing ones. Then, with this criterion, the problems of robust stability and robust stabilization for uncertain discrete singular delay systems are solved, and the delay-dependent LMI conditions are obtained. Finally, numerical examples are given to illustrate the effectiveness of the proposed approach.
文摘This paper addresses the robust admissibility problem in singular fractional-order continuous time systems. It is based on new admissibility conditions of singular fractional-order systems expressed in a set of strict linear matrix inequalities(LMIs). Then, a static output feedback controller is designed for the uncertain closed-loop system to be admissible. Numerical examples are given to illustrate the proposed methods.
基金supported by the National Natural Science Foundation of China (60474015)Program for Changjiang Scholars and Innovative Research Team in University
文摘A parametric method for the gain-scheduled controller design of a linear time-varying system is given. According to the proposed scheduling method, the performance between adjacent characteristic points is preserved by the invariant eigenvalues and the gradually varying eigenvectors. A sufficient stability criterion is given by constructing a series of Lyapunov functions based on the selected discrete characteristic points. An important contribution is that it provides a simple and feasible approach for the design of gain-scheduled controllers for linear time-varying systems, which can guarantee both the global stability and the desired closed-loop performance of the resulted system. The method is applied to the design of a BTT missile autopilot and the simulation results show that the method is superior to the traditional one in sense of either global stability or system performance.
基金supported in part by the National Key Research and Development Program of China(2018AAA0101502,2018YFB1702300)the National Natural Science Foundation of China(61722312,61533019,U1811463,61533017)。
文摘In this paper,a new parallel controller is developed for continuous-time linear systems.The main contribution of the method is to establish a new parallel control law,where both state and control are considered as the input.The structure of the parallel control is provided,and the relationship between the parallel control and traditional feedback controls is presented.Considering the situations that the systems are controllable and incompletely controllable,the properties of the parallel control law are analyzed.The parallel controller design algorithms are given under the conditions that the systems are controllable and incompletely controllable.Finally,numerical simulations are carried out to demonstrate the effectiveness and applicability of the present method.Index Terms-Continuous-time linear systems,digital twin,parallel controller,parallel intelligence,parallel systems.
文摘A block diagonal form about a nonlinear system is defined. Based on the de finition, a design method ca1led block diagonal controller (BDC) is proPOsed bo feedbacklinearization. Thus, a linearization design of a class of nonlinear system can be simply re-alized. The result of design has been proved by mathematical simulation of a certain anti-ship missile.
文摘A deky-dependent H-infinity control for descriptor systems with a state-delayis investigated. The purpose of the problem is to design a linear memoryless state-feedbackcontroller such that the resulting closed-loop system is regular, impulse free and stable with anH-infinity norm bound. Firstly, a deky-dependent bounded real lemma(BRL) of the time-deky descriptorsystems is presented in terms of linear matrix inequalities(LMIs) by using a descriptor modeltransformation of the system and by taking a new Lyapunov-Krasovsii functional. The introducedfunctional does not require bounding for cross terms, so it has less conservation. Secondly, withthe help of the obtained bounded real lemma, a sufficient condition for the existence of a newdeky-dependent H-infinity state-feedback controller is shown in terms of nonlinear matrixinequalities and the solvability of the problem can be obtained by using an iterative algorithminvolving convex optimization. Finally, numerical examples are given to demonstrate theeffectiveness of the new method presented.
基金supported by the Doctoral Foundation of Qingdao University of Science and Technology(0022330).
文摘The problem of robustifying linear quadratic regulators (LQRs) for a class of uncertain affine nonlinear systems is considered. First, the exact linearization technique is used to transform an uncertain nonlinear system into a linear one and an optimal LQR is designed for the corresponding nominal system. Then, based on the integral sliding mode, a design approach to robustifying the optimal regulator is studied. As a result, the system exhibits global robustness to uncertainties and the ideal sliding mode dynamics is the same as that of the optimal LQR for the nominal system. A global robust optimal sliding mode control (GROSMC) is realized. Finally, a numerical simulation is demonstrated to show the effectiveness and superiority of the proposed algorithm compared with the conventional optimal LQR.
基金Supported by the State Key Program of National Natural Science of China (60534010), National Basic Research Program of China (973 Program)(2009CB320604), National Natural Science Foundation of China (60674021), the Funds for Creative Research Groups of China (60521003), the 111 Project(B08015), and the Funds of Ph.D. Program of Ministry of Eduction, China (20060145019).
文摘In this paper, we investigate the block Lanczos algorithm for solving large sparse symmetric linear systems with multiple right-hand sides, and show how to incorporate deflation to drop converged linear systems using a natural convergence criterion, and present an adaptive block Lanczos algorithm. We propose also a block version of Paige and Saunders’ MINRES method for iterative solution of symmetric linear systems, and describe important implementation details. We establish a relationship between the block Lanczos algorithm and block MINRES algorithm, and compare the numerical performance of the Lanczos algorithm and MINRES method for symmetric linear systems applied to a sequence of right hand sides with that of the block Lanczos algorithm and block MINRES algorithm for multiple linear systems simultaneously.[WT5,5”HZ]
文摘In this paper eigenstructure assignment via proportional-plus-derivative feedback is investigated for a class of second-order descriptor linear systems. Under certain conditions, simple, general and complete parametric solutions of both finite closed-loop eigenvector matrices and feedback gain matrices are derived. The parametric approach utilizes directly original system data, involves manipulations only on n-dimensional matrices, and reveals all the design degrees of freedom which can be further utilized to achieve certain additional system specifications. A numerical example shows the effect of the proposed approach.
基金This work was supported by the Chinese Outstanding Youth Foundation under Grant (No.69925308)by Program for Changjiang Scholars and Innovative Research Team in University.
文摘Several LMI representations for delay-independence stability are proposed by applying Projection Lemma and the socalled "Small Scalar Method". These criteria realize the elimination of the products coupling the system matrices and Lyapunov matrices by introducing some additional matrices. When they are applied to robust stability analysis for polytopic uncertain systems, the vertex-dependent Lyapunov functions are allowed, so less conservative results can be obtained. A numerical example is employed to illustrate the effect of these proposed criteria.
基金supported by the National Natural Science Foundation of China(61673198)the Provincial Natural Science Foundation of Liaoning Province(20180550473)
文摘This paper will investigate global exponential stability analysis for a class of switched positive nonlinear systems under minimum dwell time switching, whose nonlinear functions for each subsystem are constrained in a sector field by two odd symmetric piecewise linear functions and whose system matrices for each subsystem are Metzler. A class of multiple time-varying Lyapunov functions is constructed to obtain the computable sufficient conditions on the stability of such switched nonlinear systems within the framework of minimum dwell time switching.All present conditions can be solved by linear/nonlinear programming techniques. An example is provided to demonstrate the effectiveness of the proposed result.
基金supported by Program for New Century Excellent Talents in University (No.NCET-04-0283)the Funds for Creative Research Groups of China (No.60521003)+4 种基金Program for Changjiang Scholars and Innovative Research Team in University (No.IRT0421)the State Key Programof National Natural Science of China (No.60534010)the Funds of National Science of China (No.60674021)the Funds of PhD program of MOE,China (No.20060145019)the 111 Project (No.B08015)
文摘In this paper, stability of discrete-time linear systems subject to actuator saturation is analyzed by combining the saturation-dependent Lyapunov function method with Finsler’s lemma. New stability test conditions are proposed in the enlarged space containing both the state and its time difference which allow extra degree of freedom and lead to less conservative estimation of the domain of attraction. Furthermore, based on this result, a useful lemma and an iterative LMI-based optimization algorithm are also developed to maximize an estimation of domain of attraction. A numerical example illustrates the effectiveness of the proposed methods.