Parallel arrays with coprime subarrays have shown its potential advantages for two dimensional direction of arrival(DOA)estimation.In this paper,by introducing two flexible coprime factors to enlarge the inter-element...Parallel arrays with coprime subarrays have shown its potential advantages for two dimensional direction of arrival(DOA)estimation.In this paper,by introducing two flexible coprime factors to enlarge the inter-element spacing of parallel uniform subarrays,we propose a generalized parallel coprime array(GPCA)geometry.The proposed geometry enjoys flexible array layouts by the coprime factors and enables to extend the array aperture to achieve great improvement of estimation performance.Meanwhile,we verify that GPCA always can obtain M2 degrees of freedom(DOFs)in co-array domain via 2M sensors after optimization,which outperforms sparse parallel array geometries,such as parallel coprime array(PCA)and parallel augmented coprime array(PACA),and is the same as parallel nested array(PNA)with extended aperture.The superiority of GPCA geometry has been proved by numerical simulations with sparse representation methods.展开更多
In this paper,a robust nonlinear free vibration control design using an operator based robust right coprime factorization approach is considered for a flexible plate with unknown input nonlinearity.With considering th...In this paper,a robust nonlinear free vibration control design using an operator based robust right coprime factorization approach is considered for a flexible plate with unknown input nonlinearity.With considering the effect of unknown input nonlinearity from the piezoelectric actuator,operator based controllers are designed to guarantee the robust stability of the nonlinear free vibration control system.Simultaneously,for ensuring the desired tracking performance and reducing the effect of unknown input nonlinearity,operator based tracking compensator and estimation structure are given,respectively.Finally,both simulation and experimental results are shown to verify the effectiveness of the proposed control scheme.展开更多
In this paper, operator based robust nonlinear control for single-input single-output(SISO) and multi-input multi-output(MIMO) nonlinear uncertain systems preceded by generalized Prandtl-Ishlinskii(PI) hysteresis is c...In this paper, operator based robust nonlinear control for single-input single-output(SISO) and multi-input multi-output(MIMO) nonlinear uncertain systems preceded by generalized Prandtl-Ishlinskii(PI) hysteresis is considered respectively. In detail, by using operator based robust right coprime factorization approach, the control system design structures including feedforward and feedback controllers for both SISO and MIMO nonlinear uncertain systems are given, respectively.In which, the controller design includes the information of PI hysteresis and its inverse, and some sufficient conditions for the controllers in both SISO and MIMO systems should be satisfied are also derived respectively. Based on the proposed conditions, influence from hysteresis is rejected, the systems are robustly stable and output tracking performance can be realized.Finally, the effectiveness of the proposed method is confirmed by numerical simulations.展开更多
The robust control issue for uncertain nonlinear system is discussed by using the method of right coprime factorization. As it is difficult to obtain the inverse of the right factor due to the high nonlinearity, the p...The robust control issue for uncertain nonlinear system is discussed by using the method of right coprime factorization. As it is difficult to obtain the inverse of the right factor due to the high nonlinearity, the proving of the Bezout identity becomes troublesome. Therefore, two sufficient conditions are derived to manage this problem with the nonlinear feedback system as well as that with the uncertain nonlinear feedback system under the definition of Lipschitz norm. A simulation of temperature control is given to demonstrate the validity of the proposed method.展开更多
As the signal bandwidth and the number of channels increase, the synthetic aperture radar (SAR) imaging system produces huge amount of data according to the Shannon-Nyquist theorem, causing a huge burden for data tr...As the signal bandwidth and the number of channels increase, the synthetic aperture radar (SAR) imaging system produces huge amount of data according to the Shannon-Nyquist theorem, causing a huge burden for data transmission. This paper concerns the coprime sampl which are proposed recently but ng and nested sparse sampling, have never been applied to real world for target detection, and proposes a novel way which utilizes these new sub-Nyquist sampling structures for SAR sampling in azimuth and reconstructs the data of SAR sampling by compressive sensing (CS). Both the simulated and real data are processed to test the algorithm, and the results indicate the way which combines these new undersampling structures and CS is able to achieve the SAR imaging effectively with much less data than regularly ways required. Finally, the influence of a little sampling jitter to SAR imaging is analyzed by theoretical analysis and experimental analysis, and then it concludes a little sampling jitter have no effect on image quality of SAR.展开更多
In the past,arms used in the fields of industry and robotics have been designed not to vibrate by increasing their mass and stiffness.The weight of arms has tended to be reduced to improve speed of operation,and decre...In the past,arms used in the fields of industry and robotics have been designed not to vibrate by increasing their mass and stiffness.The weight of arms has tended to be reduced to improve speed of operation,and decrease the cost of their production.Since the weight saving makes the arms lose their stiffness and therefore vibrate more easily,the vibration suppression control is needed for realizing the above purpose.Incidentally,the use of various smart materials in actuators has grown.In particular,a shape memory alloy(SMA)is applied widely and has several advantages:light weight,large displacement by temperature change,and large force to mass ratio.However,the SMA actuators possess hysteresis nonlinearity between their own temperature and displacement obtained by the temperature.The hysteretic behavior of the SMA actuators affects their control performance.In previous research,an operator-based control system including a hysteresis compensator has been proposed.The vibration of a flexible arm is dealt with as the controlled object;one end of the arm is clamped and the other end is free.The effectiveness of the hysteresis compensator has been confirmed by simulations and experiments.Nevertheless,the feedback signal of the previous designed system has increased exponentially.It is difficult to use the system in the long-term because of the phenomenon.Additionally,the SMA actuator generates and radiates heat because electric current passing through the SMA actuator provides heat,and strain on the SMA actuator is generated.With long-time use of the SMA actuator,the environmental temperature around the SMA actuator varies through radiation of the heat.There exists a risk that the ambient temperature change dealt with as disturbance affects the temperature and strain of the SMA actuator.In this research,a design method of the operator-based control system is proposed considering the long-term use of the system.In the method,the hysteresis characteristics of the SMA actuator and the temperature change around the actua展开更多
In this paper, robust stability of nonlinear plants represented by non-symmetric Prandtl-Ishlinskii (PI) hysteresis model is studied. In general, PI hysteresis model is the weighted superposition of play or stop hys...In this paper, robust stability of nonlinear plants represented by non-symmetric Prandtl-Ishlinskii (PI) hysteresis model is studied. In general, PI hysteresis model is the weighted superposition of play or stop hysteresis operators, and the slopes of the operators are considered to be the same. In order to make a hysteresis model, a modified form of non-symmetric play hysteresis operator with unknown slopes is given. The hysteresis model is described by a generalized Lipschitz operator term and a bounded parasitic term. Since the generalized Lipschitz operator is unknown, a new condition using robust right coprime factorization is proposed to guarantee robust stability of the controlled plant with the hysteresis nonlinearity. As a result, based on the proposed robust condition, a stabilized plant is obtained. A numerical example is presented to validate the effectiveness of the proposed method.展开更多
Nonuniform linear arrays,such as coprime array and nested array,have received great attentions because of the increased degrees of freedom(DOFs)and weakened mutual coupling.In this paper,inspired by the existing copri...Nonuniform linear arrays,such as coprime array and nested array,have received great attentions because of the increased degrees of freedom(DOFs)and weakened mutual coupling.In this paper,inspired by the existing coprime array,we propose a high-order extended coprime array(HoECA)for improved direction of arrival(DOA)estimation.We first derive the closed-form expressions for the range of consecutive lags.Then,by changing the inter-element spacing of a uniform linear array(ULA),three cases are proposed and discussed.It is indicated that the HoECA can obtain the largest number of consecutive lags when the spacing takes the maximum value.Finally,by comparing it with the other sparse arrays,the optimized HoECA enjoys a larger number of consecutive lags with mitigating mutual coupling.Simulation results are shown to evaluate the superiority of HoECA over the others in terms of DOF,mutual coupling leakage and estimation accuracy.展开更多
Let R be a commutative ring with identity,M be an R-module,L(M)denote the set of all submodules of M and g■(M)\{OM}.For any submodule N of M,we set gV^(d)(N)={K∈g:K■N}and gζ^(d)(M)=(GV^(d)(N):N■L(M)).Consider χ...Let R be a commutative ring with identity,M be an R-module,L(M)denote the set of all submodules of M and g■(M)\{OM}.For any submodule N of M,we set gV^(d)(N)={K∈g:K■N}and gζ^(d)(M)=(GV^(d)(N):N■L(M)).Consider χ■L(R)\{R},where L(R)is the set of all ideals of R.We set χV(I)=(J∈x:I■J)and χζ(R)={xV(I):I■L(R)}for any ideal I of R.In this paper,we investigate when,for arbitrary χ and g as above,χζ(R)and gζ^(d)(M)form a topology and a semimodule,respectively.We investigate the structure of gζ^(d)(M)in the case that it is a semimodule.展开更多
This paper proposes an L-two-optimal identification approach to cope with errors-in-variables model (EIVM) identification. With normalized coprime factor model (NCFM) representations, L-two-optimal approximate mod...This paper proposes an L-two-optimal identification approach to cope with errors-in-variables model (EIVM) identification. With normalized coprime factor model (NCFM) representations, L-two-optimal approximate models are derived from the framework of an EIVM according to the kernel and image representations of related signals. Based on the optimal approximate models, the v-gap metric is employed as a minimization criterion to optimize the parameters of a system model, and thus the resulting optimization problem can be solved by linear matrix inequalities (LMIs). In terms of the optimized system model, the noise model (NM) can be readily obtained by right multiplication of an inner. Compared with other EIVM identification methods, the proposed one has a wider scope of applications because the statistical properties of disturbing noises are not demanded. It is also capable of giving identifiabiUty. Finally, a numerical simulation is used to verify the effectiveness of the proposed method.展开更多
This note studies fully actuated linear systems in the frequency domain in terms of polynomial matrix description(PMD).For a controllable first-order linear state-space system model,by using the right coprime factoriz...This note studies fully actuated linear systems in the frequency domain in terms of polynomial matrix description(PMD).For a controllable first-order linear state-space system model,by using the right coprime factorization of its transfer function matrix,under the condition that the denominator matrix in the right coprime factorization is column reduced,it is equivalently transformed into a fully actuated PMD model,whose time-domain expression is just a high-order fully actuated(HOFA)system model.This method is a supplement to the previous one in the time-domain,and reveals a connection between the controllability of the first-order linear state-space system model and the fullactuation of its PMD model.Both continuous-time and discrete-time linear systems are considered.Some numerical examples are worked out to illustrate the effectiveness of the proposed approaches.展开更多
In this study,the passivity-based robust control and tracking for Hamiltonian systems with unknown perturbations by using the operator-based robust right coprime factorisation method is concerned.For the system with u...In this study,the passivity-based robust control and tracking for Hamiltonian systems with unknown perturbations by using the operator-based robust right coprime factorisation method is concerned.For the system with unknown perturbations,a design scheme is proposed to guarantee the uncertain non-linear systems to be robustly stable while the equivalent non-linear systems is passive,meanwhile the asymptotic tracking property of the plant output is discussed.Moreover,the design scheme can be also used into the general Hamiltonian systems while the simulation is used to further demonstrate the effectiveness of the proposed method.展开更多
By using the results about polynomial matrix in the system and control theory. this paper gives some discussions about the algebraic properties of polynomial,matrices. The obtained main results include that the,ring o...By using the results about polynomial matrix in the system and control theory. this paper gives some discussions about the algebraic properties of polynomial,matrices. The obtained main results include that the,ring of rr x n polynomial matrices is a principal ideal and principal one-sided ideal ring.展开更多
It is shown in this paper that any state space realization (A, b, c) of a given transfer function T(s) =β(s)/α(s)with α(s)monic and dim(A)=deg(α(s)),satisfies the identity β(A)=Qe(A,b)Sα Qo(...It is shown in this paper that any state space realization (A, b, c) of a given transfer function T(s) =β(s)/α(s)with α(s)monic and dim(A)=deg(α(s)),satisfies the identity β(A)=Qe(A,b)Sα Qo(A,c)where Qc (A,b)and Qo(A, c) are the controllability matrix and observability matrix of the matrix triple (A, b, c), respectively, and S,~ is a nonsingular symmetric matrix. Such an identity gives a deep relationship between the state space description and the transfer function description of single-input single-output (SISO) linear systems. As a direct conclusion, we arrive at the well-known result that a realization of any transfer function is minimal if and only if the numerator and the denominator of the transfer function is coprime. Such a result is also extended to the SISO descriptor linear system case. As an applications, a complete solution to the commuting matrix equation AX --- XA is proposed and the minimal realization of multi-input multi-output (MIMO) linear system is considered.展开更多
This paper deals with the stabilization problem for linear time-varying systems within the framework of nest algebras. We give a necessary and sufficient condition for a class of plants to be stabilizable, and we also...This paper deals with the stabilization problem for linear time-varying systems within the framework of nest algebras. We give a necessary and sufficient condition for a class of plants to be stabilizable, and we also study the simultaneous and strong stabilization problems.展开更多
This paper is devoted to the study of robust stabilization nuclei of multiinput and multi-output uncertain systems, i. e. finding a subset of perturbations of an uncertain system whose stability implies the stability ...This paper is devoted to the study of robust stabilization nuclei of multiinput and multi-output uncertain systems, i. e. finding a subset of perturbations of an uncertain system whose stability implies the stability of the system for all possible perturbations. As a special case of this paper, the notable Box theorem can be easily obtained.展开更多
文摘Parallel arrays with coprime subarrays have shown its potential advantages for two dimensional direction of arrival(DOA)estimation.In this paper,by introducing two flexible coprime factors to enlarge the inter-element spacing of parallel uniform subarrays,we propose a generalized parallel coprime array(GPCA)geometry.The proposed geometry enjoys flexible array layouts by the coprime factors and enables to extend the array aperture to achieve great improvement of estimation performance.Meanwhile,we verify that GPCA always can obtain M2 degrees of freedom(DOFs)in co-array domain via 2M sensors after optimization,which outperforms sparse parallel array geometries,such as parallel coprime array(PCA)and parallel augmented coprime array(PACA),and is the same as parallel nested array(PNA)with extended aperture.The superiority of GPCA geometry has been proved by numerical simulations with sparse representation methods.
文摘In this paper,a robust nonlinear free vibration control design using an operator based robust right coprime factorization approach is considered for a flexible plate with unknown input nonlinearity.With considering the effect of unknown input nonlinearity from the piezoelectric actuator,operator based controllers are designed to guarantee the robust stability of the nonlinear free vibration control system.Simultaneously,for ensuring the desired tracking performance and reducing the effect of unknown input nonlinearity,operator based tracking compensator and estimation structure are given,respectively.Finally,both simulation and experimental results are shown to verify the effectiveness of the proposed control scheme.
基金supported by the National Natural Science Foundation of China(61203229)
文摘In this paper, operator based robust nonlinear control for single-input single-output(SISO) and multi-input multi-output(MIMO) nonlinear uncertain systems preceded by generalized Prandtl-Ishlinskii(PI) hysteresis is considered respectively. In detail, by using operator based robust right coprime factorization approach, the control system design structures including feedforward and feedback controllers for both SISO and MIMO nonlinear uncertain systems are given, respectively.In which, the controller design includes the information of PI hysteresis and its inverse, and some sufficient conditions for the controllers in both SISO and MIMO systems should be satisfied are also derived respectively. Based on the proposed conditions, influence from hysteresis is rejected, the systems are robustly stable and output tracking performance can be realized.Finally, the effectiveness of the proposed method is confirmed by numerical simulations.
基金supported by the National Natural Science Foundation of China(61304093,61472195)
文摘The robust control issue for uncertain nonlinear system is discussed by using the method of right coprime factorization. As it is difficult to obtain the inverse of the right factor due to the high nonlinearity, the proving of the Bezout identity becomes troublesome. Therefore, two sufficient conditions are derived to manage this problem with the nonlinear feedback system as well as that with the uncertain nonlinear feedback system under the definition of Lipschitz norm. A simulation of temperature control is given to demonstrate the validity of the proposed method.
基金supported by the National Natural Science Foundation of China(61571388U1233109)
文摘As the signal bandwidth and the number of channels increase, the synthetic aperture radar (SAR) imaging system produces huge amount of data according to the Shannon-Nyquist theorem, causing a huge burden for data transmission. This paper concerns the coprime sampl which are proposed recently but ng and nested sparse sampling, have never been applied to real world for target detection, and proposes a novel way which utilizes these new sub-Nyquist sampling structures for SAR sampling in azimuth and reconstructs the data of SAR sampling by compressive sensing (CS). Both the simulated and real data are processed to test the algorithm, and the results indicate the way which combines these new undersampling structures and CS is able to achieve the SAR imaging effectively with much less data than regularly ways required. Finally, the influence of a little sampling jitter to SAR imaging is analyzed by theoretical analysis and experimental analysis, and then it concludes a little sampling jitter have no effect on image quality of SAR.
文摘In the past,arms used in the fields of industry and robotics have been designed not to vibrate by increasing their mass and stiffness.The weight of arms has tended to be reduced to improve speed of operation,and decrease the cost of their production.Since the weight saving makes the arms lose their stiffness and therefore vibrate more easily,the vibration suppression control is needed for realizing the above purpose.Incidentally,the use of various smart materials in actuators has grown.In particular,a shape memory alloy(SMA)is applied widely and has several advantages:light weight,large displacement by temperature change,and large force to mass ratio.However,the SMA actuators possess hysteresis nonlinearity between their own temperature and displacement obtained by the temperature.The hysteretic behavior of the SMA actuators affects their control performance.In previous research,an operator-based control system including a hysteresis compensator has been proposed.The vibration of a flexible arm is dealt with as the controlled object;one end of the arm is clamped and the other end is free.The effectiveness of the hysteresis compensator has been confirmed by simulations and experiments.Nevertheless,the feedback signal of the previous designed system has increased exponentially.It is difficult to use the system in the long-term because of the phenomenon.Additionally,the SMA actuator generates and radiates heat because electric current passing through the SMA actuator provides heat,and strain on the SMA actuator is generated.With long-time use of the SMA actuator,the environmental temperature around the SMA actuator varies through radiation of the heat.There exists a risk that the ambient temperature change dealt with as disturbance affects the temperature and strain of the SMA actuator.In this research,a design method of the operator-based control system is proposed considering the long-term use of the system.In the method,the hysteresis characteristics of the SMA actuator and the temperature change around the actua
文摘In this paper, robust stability of nonlinear plants represented by non-symmetric Prandtl-Ishlinskii (PI) hysteresis model is studied. In general, PI hysteresis model is the weighted superposition of play or stop hysteresis operators, and the slopes of the operators are considered to be the same. In order to make a hysteresis model, a modified form of non-symmetric play hysteresis operator with unknown slopes is given. The hysteresis model is described by a generalized Lipschitz operator term and a bounded parasitic term. Since the generalized Lipschitz operator is unknown, a new condition using robust right coprime factorization is proposed to guarantee robust stability of the controlled plant with the hysteresis nonlinearity. As a result, based on the proposed robust condition, a stabilized plant is obtained. A numerical example is presented to validate the effectiveness of the proposed method.
基金supported by the National Natural Science Foundation of China(62071476,62022091,61801488,61921001)the China Postdoctoral Science Foundation(2021T140788,2020M683728)+1 种基金the Science and Technology Innovation Program of Hunan Province(2020RC2041)the Research Program of National University of Defense Technology(ZK19-10,ZK20-33).
文摘Nonuniform linear arrays,such as coprime array and nested array,have received great attentions because of the increased degrees of freedom(DOFs)and weakened mutual coupling.In this paper,inspired by the existing coprime array,we propose a high-order extended coprime array(HoECA)for improved direction of arrival(DOA)estimation.We first derive the closed-form expressions for the range of consecutive lags.Then,by changing the inter-element spacing of a uniform linear array(ULA),three cases are proposed and discussed.It is indicated that the HoECA can obtain the largest number of consecutive lags when the spacing takes the maximum value.Finally,by comparing it with the other sparse arrays,the optimized HoECA enjoys a larger number of consecutive lags with mitigating mutual coupling.Simulation results are shown to evaluate the superiority of HoECA over the others in terms of DOF,mutual coupling leakage and estimation accuracy.
文摘Let R be a commutative ring with identity,M be an R-module,L(M)denote the set of all submodules of M and g■(M)\{OM}.For any submodule N of M,we set gV^(d)(N)={K∈g:K■N}and gζ^(d)(M)=(GV^(d)(N):N■L(M)).Consider χ■L(R)\{R},where L(R)is the set of all ideals of R.We set χV(I)=(J∈x:I■J)and χζ(R)={xV(I):I■L(R)}for any ideal I of R.In this paper,we investigate when,for arbitrary χ and g as above,χζ(R)and gζ^(d)(M)form a topology and a semimodule,respectively.We investigate the structure of gζ^(d)(M)in the case that it is a semimodule.
文摘This paper proposes an L-two-optimal identification approach to cope with errors-in-variables model (EIVM) identification. With normalized coprime factor model (NCFM) representations, L-two-optimal approximate models are derived from the framework of an EIVM according to the kernel and image representations of related signals. Based on the optimal approximate models, the v-gap metric is employed as a minimization criterion to optimize the parameters of a system model, and thus the resulting optimization problem can be solved by linear matrix inequalities (LMIs). In terms of the optimized system model, the noise model (NM) can be readily obtained by right multiplication of an inner. Compared with other EIVM identification methods, the proposed one has a wider scope of applications because the statistical properties of disturbing noises are not demanded. It is also capable of giving identifiabiUty. Finally, a numerical simulation is used to verify the effectiveness of the proposed method.
基金the Science Center Program of the National Natural Science Foundation of China under Grant No.62188101the Major Program of National Natural Science Foundation of China under Grant Nos.61690210 and 61690212+1 种基金the National Natural Science Foundation of China under Grant No.61333003the Self-Planned Task of State Key Laboratory of Robotics and System(HIT)under Grant No.SKLRS201716A。
文摘This note studies fully actuated linear systems in the frequency domain in terms of polynomial matrix description(PMD).For a controllable first-order linear state-space system model,by using the right coprime factorization of its transfer function matrix,under the condition that the denominator matrix in the right coprime factorization is column reduced,it is equivalently transformed into a fully actuated PMD model,whose time-domain expression is just a high-order fully actuated(HOFA)system model.This method is a supplement to the previous one in the time-domain,and reveals a connection between the controllability of the first-order linear state-space system model and the fullactuation of its PMD model.Both continuous-time and discrete-time linear systems are considered.Some numerical examples are worked out to illustrate the effectiveness of the proposed approaches.
基金National Natural Science Foundation of China,Grant/Award Number:61304093Natural Science Foundation of Shandong Province,Grant/Award Number:ZR2021MF047。
文摘In this study,the passivity-based robust control and tracking for Hamiltonian systems with unknown perturbations by using the operator-based robust right coprime factorisation method is concerned.For the system with unknown perturbations,a design scheme is proposed to guarantee the uncertain non-linear systems to be robustly stable while the equivalent non-linear systems is passive,meanwhile the asymptotic tracking property of the plant output is discussed.Moreover,the design scheme can be also used into the general Hamiltonian systems while the simulation is used to further demonstrate the effectiveness of the proposed method.
文摘By using the results about polynomial matrix in the system and control theory. this paper gives some discussions about the algebraic properties of polynomial,matrices. The obtained main results include that the,ring of rr x n polynomial matrices is a principal ideal and principal one-sided ideal ring.
基金the Chinese Outstanding Youth Foundation(No. 69925308)Program for Changjiang Scholars and Innovative Research Team in University.
文摘It is shown in this paper that any state space realization (A, b, c) of a given transfer function T(s) =β(s)/α(s)with α(s)monic and dim(A)=deg(α(s)),satisfies the identity β(A)=Qe(A,b)Sα Qo(A,c)where Qc (A,b)and Qo(A, c) are the controllability matrix and observability matrix of the matrix triple (A, b, c), respectively, and S,~ is a nonsingular symmetric matrix. Such an identity gives a deep relationship between the state space description and the transfer function description of single-input single-output (SISO) linear systems. As a direct conclusion, we arrive at the well-known result that a realization of any transfer function is minimal if and only if the numerator and the denominator of the transfer function is coprime. Such a result is also extended to the SISO descriptor linear system case. As an applications, a complete solution to the commuting matrix equation AX --- XA is proposed and the minimal realization of multi-input multi-output (MIMO) linear system is considered.
基金Foundation item: the National Natural Science Foundation of China (No. 10671028).
文摘This paper deals with the stabilization problem for linear time-varying systems within the framework of nest algebras. We give a necessary and sufficient condition for a class of plants to be stabilizable, and we also study the simultaneous and strong stabilization problems.
基金Project supported by the Aviation Science Foundation and the National Natural sciente Foundation of China
文摘This paper is devoted to the study of robust stabilization nuclei of multiinput and multi-output uncertain systems, i. e. finding a subset of perturbations of an uncertain system whose stability implies the stability of the system for all possible perturbations. As a special case of this paper, the notable Box theorem can be easily obtained.