The construction of control Lyapunov functions for a class of nonlinear systems is considered. We develop a method by which a control Lyapunov function for the feedback linearizable part can be constructed systematica...The construction of control Lyapunov functions for a class of nonlinear systems is considered. We develop a method by which a control Lyapunov function for the feedback linearizable part can be constructed systematically via Lyapunov equation. Moreover, by a control Lyapunov function of the feedback linearizable part and a Lyapunov function of the zero dynamics, a control Lyapunov function for the overall nonlinear system is established.展开更多
A simple method for disturbance decoupling for matrix second-order linear systems is proposed directly in matrix second-order framework via Luenberger function observers based on complete parametric eigenstructure ass...A simple method for disturbance decoupling for matrix second-order linear systems is proposed directly in matrix second-order framework via Luenberger function observers based on complete parametric eigenstructure assignment. By introducing the H2 norm of the transfer function from disturbance to estimation error, sufficient and necessary conditions for disturbance decoupling in matrix second-order linear systems are established and are arranged into constraints on the design parameters via Luenberger function observers in terms of the closed-loop eigenvalues and the group of design parameters provided by the eigenstructure assignment approach. Therefore, the disturbance decoupling problem is converted into an eigenstructure assignment problem with extra parameter constraints. A simple example is investigated to show the effect and simplicity of the approach.展开更多
A novel strategy of probability density function （PDF） shape control is proposed in stochastic systems. The control er is designed whose parameters are optimal y obtained through the improved particle swarm optimiza...A novel strategy of probability density function （PDF） shape control is proposed in stochastic systems. The control er is designed whose parameters are optimal y obtained through the improved particle swarm optimization algorithm. The parameters of the control er are viewed as the space position of a particle in particle swarm optimization algorithm and updated continual y until the control er makes the PDF of the state variable as close as possible to the expected PDF. The proposed PDF shape control technique is compared with the equivalent linearization technique through simulation experiments. The results show the superiority and the effectiveness of the proposed method. The control er is excellent in making the state PDF fol ow the expected PDF and has the very smal error between the state PDF and the expected PDF, solving the control problem of the PDF shape in stochastic systems effectively.展开更多
The stabilization of discrete nonlinear systems is studied. Based on control Lyapunov functions, a sufficient and necessary condition for a quadratic function to be a control Lyapunov function is given. From this cond...The stabilization of discrete nonlinear systems is studied. Based on control Lyapunov functions, a sufficient and necessary condition for a quadratic function to be a control Lyapunov function is given. From this condition, a continuous state feedback law is constructed explicitly. It can globally asymptotically stabilize the equilibrium of the closed-loop system. A simulation example shows the effectiveness of the proposed method.展开更多
A method is developed by which control Lyapunov functions of a class of nonlinear systems can be constructed systematically. Based on the control Lyapunov function, a feedback control is obtained to stabilize the clos...A method is developed by which control Lyapunov functions of a class of nonlinear systems can be constructed systematically. Based on the control Lyapunov function, a feedback control is obtained to stabilize the closed-loop system. In addition, this method is applied to stabilize the Benchmark system. A simulation shows the effectiveness of the method.展开更多
In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity o...In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity of this method is proven theoretically.Specifically, testcases are generated according to many approaches of randomization.Moreover, the testbench for the system-level verification according to the proposed method is designed by using advanced modeling language.Therefore, under the circumstances that the testbench generates testcases quickly, the hardware/software co-simulation and co-verification can be implemented and the hardware/software partitioning planning can be evaluated easily.The comparison method is put to use in the evaluation approach of the testing validity.The evaluation result indicates that the efficiency of the partition testing is better than that of the random testing only when one or more subdomains are covered over with the area of errors, although the efficiency of the random testing is generally better than that of the partition testing.The experimental result indicates that this method has a good performance in the functional coverage and the cost of testing and can discover the functional errors as soon as possible.展开更多
For discrete-time T-S fuzzy systems, the stability and controller design method are in-vestigated based on parameter-dependent Lyapunov function (PDLF). T-S fuzzy systems di?er fromnon-fuzzy systems with polytopic des...For discrete-time T-S fuzzy systems, the stability and controller design method are in-vestigated based on parameter-dependent Lyapunov function (PDLF). T-S fuzzy systems di?er fromnon-fuzzy systems with polytopic description or multi-model description in that the weighting coef-ficients have respective meanings. They, however, have stability aspect in common. By adopting astability condition for polytopic systems obtained via PDLF, and combining the properties of T-Sfuzzy systems, new results are given in this paper. An example shows that by applying the newresults, the stability conditions that can be distinguished are less conservative.展开更多
System of systems architecture（SoSA） has received increasing emphasis by scholars since Zachman ignited its flame in 1987. Given its complexity and abstractness, it is critical to validate and evaluate SoSA to ensur...System of systems architecture（SoSA） has received increasing emphasis by scholars since Zachman ignited its flame in 1987. Given its complexity and abstractness, it is critical to validate and evaluate SoSA to ensure requirements have been met.Multiple qualities are discussed in the literature of SoSA evaluation, while research on functionality is scarce. In order to assess SoSA functionality, an extended influence diagram（EID） is developed in this paper. Meanwhile, a simulation method is proposed to elicit the conditional probabilities in EID through designing and executing SoSA. An illustrative anti-missile architecture case is introduced for EID development, architecture design, and simulation.展开更多
The problem of adaptive stabilization of a class of multi-input nonlinear systems with unknown parameters both in the state vector-field and the input vector-field has been considered. By employing the control Lyapuno...The problem of adaptive stabilization of a class of multi-input nonlinear systems with unknown parameters both in the state vector-field and the input vector-field has been considered. By employing the control Lyapunov function method, a direct adaptive controller is designed to complete the global adaptive stability of the uncertain system. At the same time, the controller is also verified to possess the optimality. Example and simulations are provided to illustrate the effectiveness of the proposed method.展开更多
The current measurement was exploited in a more efficient way. Firstly, the system equation was updated by introducing a correction term, which depends on the current measurement and can be obtained by running a subop...The current measurement was exploited in a more efficient way. Firstly, the system equation was updated by introducing a correction term, which depends on the current measurement and can be obtained by running a suboptimal filter. Then, a new importance density function(IDF) was defined by the updated system equation. Particles drawn from the new IDF are more likely to be in the significant region of state space and the estimation accuracy can be improved. By using different suboptimal filter, different particle filters(PFs) can be developed in this framework. Extensions of this idea were also proposed by iteratively updating the system equation using particle filter itself, resulting in the iterated particle filter. Simulation results demonstrate the effectiveness of the proposed IDF.展开更多
The problem of track control is studied for a class of strict-feedback stochastic nonlinear systems in which unknown virtual control gain function is the main feature. First, the so-called stochastic LaSalle theory is...The problem of track control is studied for a class of strict-feedback stochastic nonlinear systems in which unknown virtual control gain function is the main feature. First, the so-called stochastic LaSalle theory is extended to some extent, and accordingly, the results of global ultimate boundedness for stochastic nonlinear systems are developed. Next, a new design scheme of fuzzy adaptive control is proposed. The advantage of it is that it does not require priori knowledge of virtual control gain function sign, which is usually demanded in many designs. At the same time, the track performance of closed-loop systems is improved by adaptive modifying the estimated error upper bound. By theoretical analysis, the signals of closed-loop systems are globally ultimately bounded in probability and the track error converges to a small residual set around the origin in 4th-power expectation.展开更多
A model of a kicked particle in an infinite potential well is studied. We presented the wave functions of the system applying a direct perturbation method. Theoretical analyses and numerical calculations show that the...A model of a kicked particle in an infinite potential well is studied. We presented the wave functions of the system applying a direct perturbation method. Theoretical analyses and numerical calculations show that the wave function is discontinuous across each kicking instant. As an extension of this result, we find that the wave function of any periodically kicked system usually has this property. Therefore, at each kicking instant, the wave function chooses randomly between the limits on either side and may be hopping.展开更多
With the actuality and characteristic and requirement of rural power enterprise distribution network management, this article introduced the function of geographic information system on the framework of distribution n...With the actuality and characteristic and requirement of rural power enterprise distribution network management, this article introduced the function of geographic information system on the framework of distribution network, in order to develop rural distribution network.展开更多
Designing a fuzzy inference system(FIS)from data can be divided into two main phases:structure identification and parameter optimization.First,starting from a simple initial topology,the membership functions and syste...Designing a fuzzy inference system(FIS)from data can be divided into two main phases:structure identification and parameter optimization.First,starting from a simple initial topology,the membership functions and system rules are defined as specific structures.Second,to speed up the convergence of the learning algorithm and lighten the oscillation,an improved descent method for FIS generation is developed.Furthermore, the convergence and the oscillation of the algorithm are system- atically analyzed.Third,using the information obtained from the previous phase,it can be decided in which region of the in- put space the density of fuzzy rules should be enhanced and for which variable the number of fuzzy sets that used to partition the domain must be increased.Consequently,this produces a new and more appropriate structure.Finally,the proposed method is applied to the problem of nonlinear function approximation.展开更多
Perturbation and robust controllability of the singular distributed parameter control system are discussed via functional analysis and the theory of GE-semigroup in Hilbert space. The perturbation principle of GE-semi...Perturbation and robust controllability of the singular distributed parameter control system are discussed via functional analysis and the theory of GE-semigroup in Hilbert space. The perturbation principle of GE-semigroup and the sufficient condition concerning the robust controllability of the singular distributed parameter control system are obtained, in which the controllability for singular distributed parameter control system is not destroyed, if we perturb the equation by small bounded linear operator.展开更多
An approach to identification of linear continuous-time system is studied with modulating functions. Based on wavelet analysis theory, the multi-resolution modulating functions are designed, and the corresponding filt...An approach to identification of linear continuous-time system is studied with modulating functions. Based on wavelet analysis theory, the multi-resolution modulating functions are designed, and the corresponding filters have been analyzed. Using linear modulating filters, we can obtain an identification model that is parameterized directly in continuous-time model parameters. By applying the results from discrete-time model identification to the obtained identification model, a continuous-time estimation method is developed. Considering the accuracy of parameter estimates, an instrumental variable (Ⅳ) method is proposed, and the design of modulating integral filter is discussed. The relationship between the accuracy of identification and the parameter of modulating filter is investigated, and some points about designing Gaussian wavelet modulating function are outlined. Finally, a simulation study is also included to verify the theoretical results.展开更多
基金Supported by Natural Science Foundation of Zhejiang Province P. R. China (Y105141)Natural Science Foundation of Fujian Province P.R.China (A0510025)Technological Project of Zhejiang Education Department,P. R. China(20050291)
文摘The construction of control Lyapunov functions for a class of nonlinear systems is considered. We develop a method by which a control Lyapunov function for the feedback linearizable part can be constructed systematically via Lyapunov equation. Moreover, by a control Lyapunov function of the feedback linearizable part and a Lyapunov function of the zero dynamics, a control Lyapunov function for the overall nonlinear system is established.
文摘A simple method for disturbance decoupling for matrix second-order linear systems is proposed directly in matrix second-order framework via Luenberger function observers based on complete parametric eigenstructure assignment. By introducing the H2 norm of the transfer function from disturbance to estimation error, sufficient and necessary conditions for disturbance decoupling in matrix second-order linear systems are established and are arranged into constraints on the design parameters via Luenberger function observers in terms of the closed-loop eigenvalues and the group of design parameters provided by the eigenstructure assignment approach. Therefore, the disturbance decoupling problem is converted into an eigenstructure assignment problem with extra parameter constraints. A simple example is investigated to show the effect and simplicity of the approach.
基金supported by the National Natural Science Fundation of China(61273127)the Specialized Research Fund of the Doctoral Program in Higher Education(20106118110009+2 种基金20116118110008)the Scientific Research Plan Projects of Shaanxi Education Department(12JK0524)the Young Teachers Scientific Research Fund of Xi’an University of Posts and Telecommunications(1100434)
文摘A novel strategy of probability density function （PDF） shape control is proposed in stochastic systems. The control er is designed whose parameters are optimal y obtained through the improved particle swarm optimization algorithm. The parameters of the control er are viewed as the space position of a particle in particle swarm optimization algorithm and updated continual y until the control er makes the PDF of the state variable as close as possible to the expected PDF. The proposed PDF shape control technique is compared with the equivalent linearization technique through simulation experiments. The results show the superiority and the effectiveness of the proposed method. The control er is excellent in making the state PDF fol ow the expected PDF and has the very smal error between the state PDF and the expected PDF, solving the control problem of the PDF shape in stochastic systems effectively.
基金the Natural Science Foundation of China (60774011)the Natural ScienceFoundation of Zhejiang Province in China (Y105141)
文摘The stabilization of discrete nonlinear systems is studied. Based on control Lyapunov functions, a sufficient and necessary condition for a quadratic function to be a control Lyapunov function is given. From this condition, a continuous state feedback law is constructed explicitly. It can globally asymptotically stabilize the equilibrium of the closed-loop system. A simulation example shows the effectiveness of the proposed method.
基金the Natural Science Foundation of Zhejiang Province,China (Y105141)Technological Project of Zhejiang Education Department,China (20050291).
文摘A method is developed by which control Lyapunov functions of a class of nonlinear systems can be constructed systematically. Based on the control Lyapunov function, a feedback control is obtained to stabilize the closed-loop system. In addition, this method is applied to stabilize the Benchmark system. A simulation shows the effectiveness of the method.
基金supported by the National High Technology Research and Development Program of China (863 Program) (2002AA1Z1490)Specialized Research Fund for the Doctoral Program of Higher Education (20040486049)the University Cooperative Research Fund of Huawei Technology Co., Ltd
文摘In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity of this method is proven theoretically.Specifically, testcases are generated according to many approaches of randomization.Moreover, the testbench for the system-level verification according to the proposed method is designed by using advanced modeling language.Therefore, under the circumstances that the testbench generates testcases quickly, the hardware/software co-simulation and co-verification can be implemented and the hardware/software partitioning planning can be evaluated easily.The comparison method is put to use in the evaluation approach of the testing validity.The evaluation result indicates that the efficiency of the partition testing is better than that of the random testing only when one or more subdomains are covered over with the area of errors, although the efficiency of the random testing is generally better than that of the partition testing.The experimental result indicates that this method has a good performance in the functional coverage and the cost of testing and can discover the functional errors as soon as possible.
文摘For discrete-time T-S fuzzy systems, the stability and controller design method are in-vestigated based on parameter-dependent Lyapunov function (PDLF). T-S fuzzy systems di?er fromnon-fuzzy systems with polytopic description or multi-model description in that the weighting coef-ficients have respective meanings. They, however, have stability aspect in common. By adopting astability condition for polytopic systems obtained via PDLF, and combining the properties of T-Sfuzzy systems, new results are given in this paper. An example shows that by applying the newresults, the stability conditions that can be distinguished are less conservative.
基金supported by the National Natural Science Foundation of China(71571189)
文摘System of systems architecture（SoSA） has received increasing emphasis by scholars since Zachman ignited its flame in 1987. Given its complexity and abstractness, it is critical to validate and evaluate SoSA to ensure requirements have been met.Multiple qualities are discussed in the literature of SoSA evaluation, while research on functionality is scarce. In order to assess SoSA functionality, an extended influence diagram（EID） is developed in this paper. Meanwhile, a simulation method is proposed to elicit the conditional probabilities in EID through designing and executing SoSA. An illustrative anti-missile architecture case is introduced for EID development, architecture design, and simulation.
文摘The problem of adaptive stabilization of a class of multi-input nonlinear systems with unknown parameters both in the state vector-field and the input vector-field has been considered. By employing the control Lyapunov function method, a direct adaptive controller is designed to complete the global adaptive stability of the uncertain system. At the same time, the controller is also verified to possess the optimality. Example and simulations are provided to illustrate the effectiveness of the proposed method.
基金Project(61271296) supported by the National Natural Science Foundation of China
文摘The current measurement was exploited in a more efficient way. Firstly, the system equation was updated by introducing a correction term, which depends on the current measurement and can be obtained by running a suboptimal filter. Then, a new importance density function(IDF) was defined by the updated system equation. Particles drawn from the new IDF are more likely to be in the significant region of state space and the estimation accuracy can be improved. By using different suboptimal filter, different particle filters(PFs) can be developed in this framework. Extensions of this idea were also proposed by iteratively updating the system equation using particle filter itself, resulting in the iterated particle filter. Simulation results demonstrate the effectiveness of the proposed IDF.
基金Supported by National Natural Science Foundation of P. R. China (60572070, 60325311, 60534010) Natural Science Foundation of Liaoning Province (20022030)
文摘The problem of track control is studied for a class of strict-feedback stochastic nonlinear systems in which unknown virtual control gain function is the main feature. First, the so-called stochastic LaSalle theory is extended to some extent, and accordingly, the results of global ultimate boundedness for stochastic nonlinear systems are developed. Next, a new design scheme of fuzzy adaptive control is proposed. The advantage of it is that it does not require priori knowledge of virtual control gain function sign, which is usually demanded in many designs. At the same time, the track performance of closed-loop systems is improved by adaptive modifying the estimated error upper bound. By theoretical analysis, the signals of closed-loop systems are globally ultimately bounded in probability and the track error converges to a small residual set around the origin in 4th-power expectation.
文摘A model of a kicked particle in an infinite potential well is studied. We presented the wave functions of the system applying a direct perturbation method. Theoretical analyses and numerical calculations show that the wave function is discontinuous across each kicking instant. As an extension of this result, we find that the wave function of any periodically kicked system usually has this property. Therefore, at each kicking instant, the wave function chooses randomly between the limits on either side and may be hopping.
基金Science and Technology Research Instruction Project of Heilongjiang Province Education Department (9553032)
文摘With the actuality and characteristic and requirement of rural power enterprise distribution network management, this article introduced the function of geographic information system on the framework of distribution network, in order to develop rural distribution network.
基金Supported by National Natural Science Foundation of China （60974148）, Program for New Century Excellent Talents in University （NCET-10-0097）, Sichuan Youth Science and Technology Fund （2011JQ0011）, Southwest University for Nationalities Construction Projects for Graduate Degree Programs （2011XWD-S0805）, and Southwest University for Nationalities Fundamental Research Funds for the Central Universities （12NZYTH01）
基金Supported by National Basic Research Program of China(973 Program)(2007CB714006)
文摘Designing a fuzzy inference system(FIS)from data can be divided into two main phases:structure identification and parameter optimization.First,starting from a simple initial topology,the membership functions and system rules are defined as specific structures.Second,to speed up the convergence of the learning algorithm and lighten the oscillation,an improved descent method for FIS generation is developed.Furthermore, the convergence and the oscillation of the algorithm are system- atically analyzed.Third,using the information obtained from the previous phase,it can be decided in which region of the in- put space the density of fuzzy rules should be enhanced and for which variable the number of fuzzy sets that used to partition the domain must be increased.Consequently,this produces a new and more appropriate structure.Finally,the proposed method is applied to the problem of nonlinear function approximation.
基金supported by the National Natural Science Foundation of China(60674018)
文摘Perturbation and robust controllability of the singular distributed parameter control system are discussed via functional analysis and the theory of GE-semigroup in Hilbert space. The perturbation principle of GE-semigroup and the sufficient condition concerning the robust controllability of the singular distributed parameter control system are obtained, in which the controllability for singular distributed parameter control system is not destroyed, if we perturb the equation by small bounded linear operator.
基金This project was supported by China Postdoctoral Science Foundation (2003034466)Scientific Research Fund of Hunan Provincial Education Department (02B032).
文摘An approach to identification of linear continuous-time system is studied with modulating functions. Based on wavelet analysis theory, the multi-resolution modulating functions are designed, and the corresponding filters have been analyzed. Using linear modulating filters, we can obtain an identification model that is parameterized directly in continuous-time model parameters. By applying the results from discrete-time model identification to the obtained identification model, a continuous-time estimation method is developed. Considering the accuracy of parameter estimates, an instrumental variable (Ⅳ) method is proposed, and the design of modulating integral filter is discussed. The relationship between the accuracy of identification and the parameter of modulating filter is investigated, and some points about designing Gaussian wavelet modulating function are outlined. Finally, a simulation study is also included to verify the theoretical results.
