A discrete event system is a dynamical system whose state evolves in time by the occurrence of events at possibly irregular time intervals. Timed Petri nets are a graphical and mathematical modeling tool applicable to...A discrete event system is a dynamical system whose state evolves in time by the occurrence of events at possibly irregular time intervals. Timed Petri nets are a graphical and mathematical modeling tool applicable to discrete event systems in order to represent its states evolution where the timing at which the state changes is taken into consideration. One of the most important performance issues to be considered in a discrete event system is its stability. Lyapunov theory provides the required tools needed to aboard the stability and stabilization problems for discrete event systems modeled with timed Petri nets whose mathematical model is given in terms of difference equations. By proving stability one guarantees a bound on the discrete event systems state dynamics. When the system is unstable, a sufficient condition to stabilize the system is given. It is shown that it is possible to restrict the discrete event systems state space in such a way that boundedness is achieved. However, the restriction is not numerically precisely known. This inconvenience is overcome by considering a specific recurrence equation, in the max-plus algebra, which is assigned to the timed Petri net graphical model.展开更多
By using the variational Lyapunov method and Razumikhin technique, the stability criteria in terms of two measures for impulsive delay differential systems are established. The known results are generalized and improv...By using the variational Lyapunov method and Razumikhin technique, the stability criteria in terms of two measures for impulsive delay differential systems are established. The known results are generalized and improved. An example is worked out to illustrate the advantages of the theorems.展开更多
In this paper a new simplified method of stability study of dynamical nonlinear systems is proposed as an alternative to using Lyapunov’s method. Like the Lyapunov theorem, the new concept describes a sufficient cond...In this paper a new simplified method of stability study of dynamical nonlinear systems is proposed as an alternative to using Lyapunov’s method. Like the Lyapunov theorem, the new concept describes a sufficient condition for the systems to be globally stable. The proposed method is based on the assumption that, not only the state matrix contains information on the stability of the systems, but also the eigenvectors. So, first we will write the model of nonlinear systems in the state-space representation, then we use the eigenvectors of the state matrix as system stability indicators.展开更多
In this paper, the control laws based on the Lyapunov stability theorem are designed for a two-level open quantum system to prepare the Hadamard gate, which is an important basic gate for the quantum computers. First,...In this paper, the control laws based on the Lyapunov stability theorem are designed for a two-level open quantum system to prepare the Hadamard gate, which is an important basic gate for the quantum computers. First, the density matrix interested in quantum system is transferred to vector formation.Then, in order to obtain a controller with higher accuracy and faster convergence rate, a Lyapunov function based on the matrix logarithm function is designed. After that, a procedure for the controller design is derived based on the Lyapunov stability theorem. Finally, the numerical simulation experiments for an amplitude damping Markovian open quantum system are performed to prepare the desired quantum gate. The simulation results show that the preparation of Hadamard gate based on the proposed control laws can achieve the fidelity up to 0.9985 for the different coupling strengths.展开更多
The techniques to forecast available parking space(APS) are indispensable components for parking guidance systems(PGS). According to the data collected in Newcastle upon Tyne, England, the changing characteristics of ...The techniques to forecast available parking space(APS) are indispensable components for parking guidance systems(PGS). According to the data collected in Newcastle upon Tyne, England, the changing characteristics of APS were studied. Thereafter, aiming to build up a multi-step APS forecasting model that provides richer information than a conventional one-step model, the largest Lyapunov exponents(largest LEs) method was introduced into PGS. By experimental tests conducted using the same dataset, its prediction performance was compared with traditional wavelet neural network(WNN) method in both one-step and multi-step processes. Based on the results, a new multi-step forecasting model called WNN-LE method was proposed, where WNN, which enjoys a more accurate performance along with a better learning ability in short-term forecasting, was applied in the early forecast steps while the Lyapunov exponent prediction method in the latter steps precisely reflect the chaotic feature in latter forecast period. The MSE of APS forecasting for one hour time period can be reduced from 83.1 to 27.1(in a parking building with 492 berths) by using largest LEs method instead of WNN and further reduced to 19.0 by conducted the new method.展开更多
文摘A discrete event system is a dynamical system whose state evolves in time by the occurrence of events at possibly irregular time intervals. Timed Petri nets are a graphical and mathematical modeling tool applicable to discrete event systems in order to represent its states evolution where the timing at which the state changes is taken into consideration. One of the most important performance issues to be considered in a discrete event system is its stability. Lyapunov theory provides the required tools needed to aboard the stability and stabilization problems for discrete event systems modeled with timed Petri nets whose mathematical model is given in terms of difference equations. By proving stability one guarantees a bound on the discrete event systems state dynamics. When the system is unstable, a sufficient condition to stabilize the system is given. It is shown that it is possible to restrict the discrete event systems state space in such a way that boundedness is achieved. However, the restriction is not numerically precisely known. This inconvenience is overcome by considering a specific recurrence equation, in the max-plus algebra, which is assigned to the timed Petri net graphical model.
基金Supported by the National Natural Science Foundation of China (Grant No.60973048)the Natural Science Foundation of Shandong Province (Grant No.Y2007G30)the Young Science Foundation of Qingdao University
文摘By using the variational Lyapunov method and Razumikhin technique, the stability criteria in terms of two measures for impulsive delay differential systems are established. The known results are generalized and improved. An example is worked out to illustrate the advantages of the theorems.
文摘In this paper a new simplified method of stability study of dynamical nonlinear systems is proposed as an alternative to using Lyapunov’s method. Like the Lyapunov theorem, the new concept describes a sufficient condition for the systems to be globally stable. The proposed method is based on the assumption that, not only the state matrix contains information on the stability of the systems, but also the eigenvectors. So, first we will write the model of nonlinear systems in the state-space representation, then we use the eigenvectors of the state matrix as system stability indicators.
基金supported by National Natural Science Foundation of China(61573330)Chinese Academy of Sciences(CAS)the World Academy of Sciences(TWAS)
文摘In this paper, the control laws based on the Lyapunov stability theorem are designed for a two-level open quantum system to prepare the Hadamard gate, which is an important basic gate for the quantum computers. First, the density matrix interested in quantum system is transferred to vector formation.Then, in order to obtain a controller with higher accuracy and faster convergence rate, a Lyapunov function based on the matrix logarithm function is designed. After that, a procedure for the controller design is derived based on the Lyapunov stability theorem. Finally, the numerical simulation experiments for an amplitude damping Markovian open quantum system are performed to prepare the desired quantum gate. The simulation results show that the preparation of Hadamard gate based on the proposed control laws can achieve the fidelity up to 0.9985 for the different coupling strengths.
基金Project(2012CB725402)supported by the National Key Basic Research Program of ChinaProjects(51338003,50908051)supported by the National Natural Science Foundation of China
文摘The techniques to forecast available parking space(APS) are indispensable components for parking guidance systems(PGS). According to the data collected in Newcastle upon Tyne, England, the changing characteristics of APS were studied. Thereafter, aiming to build up a multi-step APS forecasting model that provides richer information than a conventional one-step model, the largest Lyapunov exponents(largest LEs) method was introduced into PGS. By experimental tests conducted using the same dataset, its prediction performance was compared with traditional wavelet neural network(WNN) method in both one-step and multi-step processes. Based on the results, a new multi-step forecasting model called WNN-LE method was proposed, where WNN, which enjoys a more accurate performance along with a better learning ability in short-term forecasting, was applied in the early forecast steps while the Lyapunov exponent prediction method in the latter steps precisely reflect the chaotic feature in latter forecast period. The MSE of APS forecasting for one hour time period can be reduced from 83.1 to 27.1(in a parking building with 492 berths) by using largest LEs method instead of WNN and further reduced to 19.0 by conducted the new method.
