For nonlinear state estimation driven by non-Gaussian noise,the estimator is required to be updated iteratively.Since the iterative update approximates a linear process,it fails to capture the nonlinearity of observat...For nonlinear state estimation driven by non-Gaussian noise,the estimator is required to be updated iteratively.Since the iterative update approximates a linear process,it fails to capture the nonlinearity of observation models,and this further degrades filtering accuracy and consistency.Given the flaws of nonlinear iteration,this work incorporates a recursive strategy into generalized M-estimation rather than the iterative strategy.The proposed algorithm extends nonlinear recursion to nonlinear systems using the statistical linear regression method.The recursion allows for the gradual release of observation information and consequently enables the update to proceed along the nonlinear direction.Considering the correlated state and observation noise induced by recursions,a separately reweighting strategy is adopted to build a robust nonlinear system.Analogous to the nonlinear recursion,a robust nonlinear recursive update strategy is proposed,where the associated covariances and the observation noise statistics are updated recursively to ensure the consistency of observation noise statistics,thereby completing the nonlinear solution of the robust system.Compared with the iterative update strategies under non-Gaussian observation noise,the recursive update strategy can facilitate the estimator to achieve higher filtering accuracy,stronger robustness,and better consistency.Therefore,the proposed strategy is more suitable for the robust nonlinear filtering framework.展开更多
This paper addresses the fixed-time adaptive model reference sliding mode control for an air-to-ground missile associated with large speed ranges, mismatched disturbances and un-modeled dynamics. Firstly, a sliding mo...This paper addresses the fixed-time adaptive model reference sliding mode control for an air-to-ground missile associated with large speed ranges, mismatched disturbances and un-modeled dynamics. Firstly, a sliding mode surface is developed by the tracking error of the state equation and the model reference state equation with respect to the air-to-ground missile. More specifically,a novel fixed-time adaptive reaching law is presented. Subsequently, the mismatched disturbances and the un-modeled dynamics are treated as the model errors of the state equation. These model errors are estimated by means of a fixed-time disturbance observer, and they are also utilized to compensate the proposed controller. Therefore, the fixed-time controller is obtained by an adaptive reaching law and a fixed-time disturbance observer. Closed-loop stability of the proposed controller is established. Finally, simulation results including Monte Carlo simulations, nonlinear six-DegreeOf-Freedom(6-DOF) simulations and different ranges are presented to demonstrate the efficacy of the proposed control scheme.展开更多
In this article,an Enlarged Polygon/Polyhedron(ELP)method without binary variables is proposed to represent the Convex Polygonal/Polyhedral Obstacle Avoidance(CPOA)constraints in trajectory optimization.First,the equi...In this article,an Enlarged Polygon/Polyhedron(ELP)method without binary variables is proposed to represent the Convex Polygonal/Polyhedral Obstacle Avoidance(CPOA)constraints in trajectory optimization.First,the equivalent condition of a point outside the convex set is given and proved rigorously.Then,the ELP condition describing the CPOA constraints equivalently is given without introducing binary variables,and its geometric meaning is explained.Finally,the ELP method is used to transform the CPOA trajectory optimization problem into an optimal control problem without binary variables.The effectiveness and validity of ELP method are demonstrated through simulations with both simple linear dynamic model(unmanned aerial vehicle)and complex nonlinear dynamic model(hypersonic glide vehicle).Comparison indicates the computational time of ELP method is only 1%-20%of that of the traditional Mixed-Integer Programming(MIP)method.展开更多
Structured flowchart( SFC) and Automatic code generation based on SFC( CG-SFC) have been widely used in software requirements,design and testing phases. Some CG-SFC tools such as Rhapsody have the ability to build flo...Structured flowchart( SFC) and Automatic code generation based on SFC( CG-SFC) have been widely used in software requirements,design and testing phases. Some CG-SFC tools such as Rhapsody have the ability to build flowchart and generate code,but they do not check whether a given flowchart is correct or structural. For unstructured error ‘goto'statements will be generated randomly. We proposed three algorithms and some error recognition criteria to solve those problems. Structure recognition algorithm can recognize Selection,While/for and do-while structures. Error recognition algorithm incorporating criteria can check all the errors. At last,we develop a CG-SFC system,and compared with existing Rhapsody,it shows that the proposed algorithms are correct and effective.展开更多
基金co-supported by the National Natural Science Foundation of China(No.62303246,No.62103204)the China Postdoctoral Science Foundation(No.2023M731788)。
文摘For nonlinear state estimation driven by non-Gaussian noise,the estimator is required to be updated iteratively.Since the iterative update approximates a linear process,it fails to capture the nonlinearity of observation models,and this further degrades filtering accuracy and consistency.Given the flaws of nonlinear iteration,this work incorporates a recursive strategy into generalized M-estimation rather than the iterative strategy.The proposed algorithm extends nonlinear recursion to nonlinear systems using the statistical linear regression method.The recursion allows for the gradual release of observation information and consequently enables the update to proceed along the nonlinear direction.Considering the correlated state and observation noise induced by recursions,a separately reweighting strategy is adopted to build a robust nonlinear system.Analogous to the nonlinear recursion,a robust nonlinear recursive update strategy is proposed,where the associated covariances and the observation noise statistics are updated recursively to ensure the consistency of observation noise statistics,thereby completing the nonlinear solution of the robust system.Compared with the iterative update strategies under non-Gaussian observation noise,the recursive update strategy can facilitate the estimator to achieve higher filtering accuracy,stronger robustness,and better consistency.Therefore,the proposed strategy is more suitable for the robust nonlinear filtering framework.
基金co-supported by the National Natural Science Foundation of China (No. 61403100)the Open Fund of National Defense Key Discipline Laboratory of Micro-Spacecraft Technology of China (No. HIT.KLOF. MST.201704)the Fundamental Research Funds for the Central Universities of China (No. HIT.NSRIF.2015.037)
文摘This paper addresses the fixed-time adaptive model reference sliding mode control for an air-to-ground missile associated with large speed ranges, mismatched disturbances and un-modeled dynamics. Firstly, a sliding mode surface is developed by the tracking error of the state equation and the model reference state equation with respect to the air-to-ground missile. More specifically,a novel fixed-time adaptive reaching law is presented. Subsequently, the mismatched disturbances and the un-modeled dynamics are treated as the model errors of the state equation. These model errors are estimated by means of a fixed-time disturbance observer, and they are also utilized to compensate the proposed controller. Therefore, the fixed-time controller is obtained by an adaptive reaching law and a fixed-time disturbance observer. Closed-loop stability of the proposed controller is established. Finally, simulation results including Monte Carlo simulations, nonlinear six-DegreeOf-Freedom(6-DOF) simulations and different ranges are presented to demonstrate the efficacy of the proposed control scheme.
基金supported by the National Natural Science Foundation of China(No.52232014)the National Natural Science Foundation of China Joint Fund(No.U2241215)。
文摘In this article,an Enlarged Polygon/Polyhedron(ELP)method without binary variables is proposed to represent the Convex Polygonal/Polyhedral Obstacle Avoidance(CPOA)constraints in trajectory optimization.First,the equivalent condition of a point outside the convex set is given and proved rigorously.Then,the ELP condition describing the CPOA constraints equivalently is given without introducing binary variables,and its geometric meaning is explained.Finally,the ELP method is used to transform the CPOA trajectory optimization problem into an optimal control problem without binary variables.The effectiveness and validity of ELP method are demonstrated through simulations with both simple linear dynamic model(unmanned aerial vehicle)and complex nonlinear dynamic model(hypersonic glide vehicle).Comparison indicates the computational time of ELP method is only 1%-20%of that of the traditional Mixed-Integer Programming(MIP)method.
基金Sponsored by the National Natural Science Foundation of China(Grant No.61402131)the China Postdoctoral Science Foundation(Grant No.2014M551245,2016T90293)+1 种基金the Heilongjiang Postdoctoral Science Foundation(Grant No.LBH-Z13105)the Fundamental Research Funds for the Central Universities(Grant No.HIT.NSRIF.201651)
文摘Structured flowchart( SFC) and Automatic code generation based on SFC( CG-SFC) have been widely used in software requirements,design and testing phases. Some CG-SFC tools such as Rhapsody have the ability to build flowchart and generate code,but they do not check whether a given flowchart is correct or structural. For unstructured error ‘goto'statements will be generated randomly. We proposed three algorithms and some error recognition criteria to solve those problems. Structure recognition algorithm can recognize Selection,While/for and do-while structures. Error recognition algorithm incorporating criteria can check all the errors. At last,we develop a CG-SFC system,and compared with existing Rhapsody,it shows that the proposed algorithms are correct and effective.
