Design of passive fault-tolerant flight controller against actuator failures

The problem of designing passive fault-tolerant flight controller is addressed when the normal and faulty cases are prescribed. First of all, the considered fault and fault-free cases are formed by polytopes. As considering that the safety of a post-fault system is directly related to the maximum values of physical variables in the system, peak-to-peak gain is selected to represent the relationships among the amplitudes of actuator outputs, system outputs, and reference commands. Based on the parameter dependent Lyapunov and slack methods, the passive fault-tolerant flight controllers in the absence/presence of system uncertainty for actuator failure cases are designed, respectively. Case studies of an airplane under actuator failures are carried out to validate the effectiveness of the proposed approach

Design and verification of a transfer path optimization method

This paper studies the transfer path planning problem for safe transfer of an aircraft on the aircraft carrier flight deck under a poor visibility condition or at night.First,we analyze the transfer path planning problem for carrier-based aircraft on the flight deck,and define the objective to be optimized and the constraints to be met.Second,to solve this problem,the mathematical support models for the flight deck,carrier aircraft entity,entity extension,entity posture,entity conflict detection,and path smoothing are established,as they provide the necessary basis for transfer path planning of the aircraft on the aircraft carrier.Third,to enable automatic transfer path planning,we design a multi-habitat parallel chaos algorithm(called KCMPSO),and use it as the optimization method for transfer path planning.Finally,we take the Kuznetsov aircraft carrier as a verification example,and conduct simulations.The simulation results show that compared with particle swarm optimization,this method can solve the transfer path planning problem for an aircraft on the aircraft carrier flight deck better.

Design and validation on a multiple sound source fast-measurement system of near-field head-related transfer functions

Near-field head-related transfer functions （HRTFs） are essential to scientific re- searches of binaural hearing and practical applications of virtual auditory display. High ef- ficiency, accuracy and repeatability are required in a near-field HRTF measurement. Hence, there is no reference which intents on solving the measuring difficulties of near-field HRTF for human subjects. In present work, an efficient near-field HRTF measurement system based on computer control is designed and implemented, and a fast calibration method for the system is proposed to first solve the measurement of near-field HRTF for human subjects. The efficiency of measurement is enhanced by a comprehensive design on the acoustic, electronic and mechanical parts of the system. And the accuracy and repeatability of the measurement are greatly im- proved by carefully calibrating the positions of sound source, subject and binaural microphones. This system is suitable for near-field HRTF measurement at various source distances within 1.0 m, for both human subject and artificial head. The time costs of HRTF measurement at a single sound source distance and full directions has been reduced to less than 20 minutes. The measurement results indicate that the accuracy of the system satisfies the actual requirements. The system is applicable to scientific research and can be used to establish an individualized near-field HRTF database for human subjects.

Progressive events in supervisory control and compositional verification

This paper investigates some limitations of the nonblocking property when used for supervisor synthesis in discrete event systems. It is shown that there are cases where synthesis with the nonblocking property gives undesired results. To address such cases, the paper introduces progressive events as a means to specify more precisely how a synthesised supervisor should complete its tasks. The nonblocking property is modified to take progressive events into account, and appropriate methods for verification and synthesis are proposed. Experiments show that progressive events can be used in the analysis of industrial-scale systems, and can expose issues that remain undetected by standard nonblocking verification.