Hilbert’s complete perfect (HCP) logic is introduced. The Gdel’s incompleteness theorem discloses the limit of logic.Huang’s universal consistent theorem and relative consistent theorem extends the limit of logic...Hilbert’s complete perfect (HCP) logic is introduced. The Gdel’s incompleteness theorem discloses the limit of logic.Huang’s universal consistent theorem and relative consistent theorem extends the limit of logic.The proofs of these theorems are in 2-valued logic but the completeness can be extended in the three-valued HCP logic. The author proposes HCP logic for the foundation of uncertainty computing as well.展开更多
An adaptive robust attitude tracking control law based on switched nonlinear systems is presented for a variable structure near space vehicle （VSNSV） in the presence of uncertainties and disturbances. The adaptive f...An adaptive robust attitude tracking control law based on switched nonlinear systems is presented for a variable structure near space vehicle （VSNSV） in the presence of uncertainties and disturbances. The adaptive fuzzy systems are employed for approximating unknown functions in the flight dynamic model and their parameters are updated online. To improve the flight robust performance, robust controllers with adaptive gains are designed to compensate for the approximation errors and thus they have less design conservation. Moreover, a systematic procedure is developed for the synthesis of adaptive fuzzy dynamic surface control （DSC） approach. According to the common Lyapunov function theory, it is proved that all signals of the closed-loop system are uniformly ultimately bounded by the continuous controller. The simulation results demonstrate the effectiveness and robustness of the proposed control scheme.展开更多
This paper proposes a new method for control of continuous large-scale systems where the measures and control functions are distributed on calculating members which can be shared with other applications and connected ...This paper proposes a new method for control of continuous large-scale systems where the measures and control functions are distributed on calculating members which can be shared with other applications and connected to digital network communications.At first, the nonlinear large-scale system is described by a Takagi-Sugeno(TS) fuzzy model. After that, by using a fuzzy LyapunovKrasovskii functional, sufficient conditions of asymptotic stability of the behavior of the decentralized networked control system(DNCS),are developed in terms of linear matrix inequalities(LMIs). Finally, to illustrate the proposed approach, a numerical example and simulation results are presented.展开更多
Motivated by the autopilot of an unmanned aerial vehicle（UAV） with a wide flight envelope span experiencing large parametric variations in the presence of uncertainties, a fuzzy adaptive tracking controller（FATC） ...Motivated by the autopilot of an unmanned aerial vehicle（UAV） with a wide flight envelope span experiencing large parametric variations in the presence of uncertainties, a fuzzy adaptive tracking controller（FATC） is proposed. The controller consists of a fuzzy baseline controller and an adaptive increment, and the main highlight is that the fuzzy baseline controller and adaptation laws are both based on the fuzzy multiple Lyapunov function approach, which helps to reduce the conservatism for the large envelope and guarantees satisfactory tracking performances with strong robustness simultaneously within the whole envelope. The constraint condition of the fuzzy baseline controller is provided in the form of linear matrix inequality（LMI）, and it specifies the satisfactory tracking performances in the absence of uncertainties. The adaptive increment ensures the uniformly ultimately bounded（UUB） predication errors to recover satisfactory responses in the presence of uncertainties. Simulation results show that the proposed controller helps to achieve high-accuracy tracking of airspeed and altitude desirable commands with strong robustness to uncertainties throughout the entire flight envelope.展开更多
文摘Hilbert’s complete perfect (HCP) logic is introduced. The Gdel’s incompleteness theorem discloses the limit of logic.Huang’s universal consistent theorem and relative consistent theorem extends the limit of logic.The proofs of these theorems are in 2-valued logic but the completeness can be extended in the three-valued HCP logic. The author proposes HCP logic for the foundation of uncertainty computing as well.
基金co-supported by National Natural Science Foundation of China (Nos. 91116017, 60974106 and 11102080)Funding for Outstanding Doctoral Dissertation in NUAA (No. BCXJ10-04)
文摘An adaptive robust attitude tracking control law based on switched nonlinear systems is presented for a variable structure near space vehicle （VSNSV） in the presence of uncertainties and disturbances. The adaptive fuzzy systems are employed for approximating unknown functions in the flight dynamic model and their parameters are updated online. To improve the flight robust performance, robust controllers with adaptive gains are designed to compensate for the approximation errors and thus they have less design conservation. Moreover, a systematic procedure is developed for the synthesis of adaptive fuzzy dynamic surface control （DSC） approach. According to the common Lyapunov function theory, it is proved that all signals of the closed-loop system are uniformly ultimately bounded by the continuous controller. The simulation results demonstrate the effectiveness and robustness of the proposed control scheme.
文摘This paper proposes a new method for control of continuous large-scale systems where the measures and control functions are distributed on calculating members which can be shared with other applications and connected to digital network communications.At first, the nonlinear large-scale system is described by a Takagi-Sugeno(TS) fuzzy model. After that, by using a fuzzy LyapunovKrasovskii functional, sufficient conditions of asymptotic stability of the behavior of the decentralized networked control system(DNCS),are developed in terms of linear matrix inequalities(LMIs). Finally, to illustrate the proposed approach, a numerical example and simulation results are presented.
文摘Motivated by the autopilot of an unmanned aerial vehicle（UAV） with a wide flight envelope span experiencing large parametric variations in the presence of uncertainties, a fuzzy adaptive tracking controller（FATC） is proposed. The controller consists of a fuzzy baseline controller and an adaptive increment, and the main highlight is that the fuzzy baseline controller and adaptation laws are both based on the fuzzy multiple Lyapunov function approach, which helps to reduce the conservatism for the large envelope and guarantees satisfactory tracking performances with strong robustness simultaneously within the whole envelope. The constraint condition of the fuzzy baseline controller is provided in the form of linear matrix inequality（LMI）, and it specifies the satisfactory tracking performances in the absence of uncertainties. The adaptive increment ensures the uniformly ultimately bounded（UUB） predication errors to recover satisfactory responses in the presence of uncertainties. Simulation results show that the proposed controller helps to achieve high-accuracy tracking of airspeed and altitude desirable commands with strong robustness to uncertainties throughout the entire flight envelope.
