For improving the performance of differential geometric guidance command(DGGC), a new formation of this guidance law is proposed, which can guarantee the finite time convergence(FTC) of the line of sight(LOS) rate to ...For improving the performance of differential geometric guidance command(DGGC), a new formation of this guidance law is proposed, which can guarantee the finite time convergence(FTC) of the line of sight(LOS) rate to zero or its neighborhood against maneuvering targets in three-dimensional(3D) space. The extended state observer(ESO) is employed to estimate the target acceleration, which makes the new DGGC more applicable to practical interception scenarios. Finally, the effectiveness of this newly proposed guidance command is demonstrated by the numerical simulation results.展开更多
The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliab...The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine (RT-EFSM) model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class (timeCTEC) are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics real- time embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively.展开更多
A composited integrated guidance and control(IGC) algorithm is presented to tackle the problem of the IGC design in the dive phase for the bank-to-turn(BTT) vehicle with the inaccuracy information of the line-of-sight...A composited integrated guidance and control(IGC) algorithm is presented to tackle the problem of the IGC design in the dive phase for the bank-to-turn(BTT) vehicle with the inaccuracy information of the line-of-sight(LOS) rate. For the sake of theoretical derivation, an IGC model in the pitch plane is established. The high-order finite-time state observer(FTSO), with the LOS angle as the single input, is employed to reconstruct the states of the system online. Besides, a composited IGC algorithm is presented via the fusion of back-stepping and dynamic inverse. Compared with the traditional IGC algorithm, the proposed composited IGC method can attenuate effectively the design conservation of the flight control system, while the LOS rate is mixed with noise. Extensive experiments have been performed to demonstrate that the proposed approach is globally finite-time stable and strongly robust against parameter uncertainty.展开更多
A robust controller for bank to turn(BTT) missiles with aerodynamic fins and reaction jet control system(RCS) is developed based on nonlinear control dynamic models comprising couplings and aerodynamic uncertainties. ...A robust controller for bank to turn(BTT) missiles with aerodynamic fins and reaction jet control system(RCS) is developed based on nonlinear control dynamic models comprising couplings and aerodynamic uncertainties. The fixed time convergence theory is incorporated with the sliding mode control technique to ensure that the system tracks the desired command within uniform bounded time under different initial conditions. Unlike previous terminal sliding mode approaches, the bound of settling time is independent of the initial state, which means performance metrics like convergence rate can be predicted beforehand. To reduce the burden of control design in terms of robustness, extended state observer(ESO) is introduced for uncertainty estimation with the output substituted into the controller as feedforward compensation. Cascade control structure is employed with the proposed control law and therein the compound control signal is obtained.Afterwards, control inputs for two kinds of actuators are allocated on the basis of their inherent characteristics. Finally, a number of simulations are carried out and demonstrate the effectiveness of the designed controller.展开更多
文摘For improving the performance of differential geometric guidance command(DGGC), a new formation of this guidance law is proposed, which can guarantee the finite time convergence(FTC) of the line of sight(LOS) rate to zero or its neighborhood against maneuvering targets in three-dimensional(3D) space. The extended state observer(ESO) is employed to estimate the target acceleration, which makes the new DGGC more applicable to practical interception scenarios. Finally, the effectiveness of this newly proposed guidance command is demonstrated by the numerical simulation results.
基金supported by the Aviation Science Foundation of China
文摘The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine (RT-EFSM) model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class (timeCTEC) are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics real- time embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively.
基金supported by the National Natural Science Foundation of China(61627810 61790562 61403096)
文摘A composited integrated guidance and control(IGC) algorithm is presented to tackle the problem of the IGC design in the dive phase for the bank-to-turn(BTT) vehicle with the inaccuracy information of the line-of-sight(LOS) rate. For the sake of theoretical derivation, an IGC model in the pitch plane is established. The high-order finite-time state observer(FTSO), with the LOS angle as the single input, is employed to reconstruct the states of the system online. Besides, a composited IGC algorithm is presented via the fusion of back-stepping and dynamic inverse. Compared with the traditional IGC algorithm, the proposed composited IGC method can attenuate effectively the design conservation of the flight control system, while the LOS rate is mixed with noise. Extensive experiments have been performed to demonstrate that the proposed approach is globally finite-time stable and strongly robust against parameter uncertainty.
基金supported by the National Natural Science Foundation of China(11572036)
文摘A robust controller for bank to turn(BTT) missiles with aerodynamic fins and reaction jet control system(RCS) is developed based on nonlinear control dynamic models comprising couplings and aerodynamic uncertainties. The fixed time convergence theory is incorporated with the sliding mode control technique to ensure that the system tracks the desired command within uniform bounded time under different initial conditions. Unlike previous terminal sliding mode approaches, the bound of settling time is independent of the initial state, which means performance metrics like convergence rate can be predicted beforehand. To reduce the burden of control design in terms of robustness, extended state observer(ESO) is introduced for uncertainty estimation with the output substituted into the controller as feedforward compensation. Cascade control structure is employed with the proposed control law and therein the compound control signal is obtained.Afterwards, control inputs for two kinds of actuators are allocated on the basis of their inherent characteristics. Finally, a number of simulations are carried out and demonstrate the effectiveness of the designed controller.