• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.42 no.5
• /
• pp.398-405
• /
• 2014

Recently the embedded software has been widely applied to the safety-critical systems in aviation and defense industries, therefore, the higher level of reliability, availability and fault tolerance has become a key factor for its implementation into the systems. The integrity of the software can be verified using the static analysis tools. And recent developed static analysis tool can evaluate code integrity through the mathematical analysis method. In this paper we detect the autocode error and violation of coding rules using the formal verification tool, Polyspace(R). And the fundamental errors on the flight control law model have been detected and corrected using the formal verification results. As a result of verification process, FBW helicopter control law autocode can ensure code integrity.

• 제어로봇시스템학회:학술대회논문집
• /
• 1991.10b
• /
• pp.1659-1663
• /
• 1991

A new control design methodology is presented here which is based on a nonlinear time-series reference model. It is indicated by highly nonlinear simulations that such designs successfully stabilize troublesome aircraft maneuvers undergoing large changes in angle of attack as well as large electric power transients due to line faults. In both applications, the nonlinear controller was significantly better than the corresponding linear adaptive controller. For the electric power network, a flexible a.c. transmission system (FACTS) with series capacitor power feedback control is studied. A bilinear auto-regressive moving average (BARMA) reference model is identified from system data and the feedback control manipulated according to a desired reference state. The control is optimized according to a predictive one-step quadratic performance index (J). A similar algorithm is derived for control of rapid changes in aircraft angle of attack over a normally unstable flight regime. In the latter case, however, a generalization of a bilinear time-series model reference includes quadratic and cubic terms in angle of attack. These applications are typical of the numerous plants for which nonlinear adaptive control has the potential to provide significant performance improvements. For aircraft control, significant maneuverability gains can provide safer transportation under large windshear disturbances as well as tactical advantages. For FACTS, there is the potential for significant increase in admissible electric power transmission over available transmission lines along with energy conservation. Electric power systems are inherently nonlinear for significant transient variations from synchronism such as may result for large fault disturbances. In such cases, traditional linear controllers may not stabilize the swing (in rotor angle) without inefficient energy wasting strategies to shed loads, etc. Fortunately, the advent of power electronics (e.g., high-speed thyristors) admits the possibility of adaptive control by means of FACTS. Line admittance manipulation seems to be an effective means to achieve stabilization and high efficiency for such FACTS. This results in parametric (or multiplicative) control of a highly nonlinear plant.

• Aerospace Engineering and Technology
• /
• v.11 no.1
• /
• pp.135-144
• /
• 2012

The NARO is South Korea's first carrier launch vehicle, which made its flights from NARO Space Center on 25 August 2009 and 10 June 2010. LV PACS(Preparation Automated Control System) is a electrical ground support system to monitor and control the integrated launch vehicle during the launch preparation and operation in Launch Complex. As a subsystem of LV PACS, LV PACS-II was developed for launch preparation and operation of the NARO upper stage, and all the functions and requirements were verified successfully through NARO flight tests. In this paper the core technology and characteristics applied to LV PACS-II are described.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.35 no.9C
• /
• pp.729-734
• /
• 2010

In the initial stage of the communications between a base station and a satellite transponder, the base station transmits the frequency-sweeping un-modulated up-link carrier within a certain frequency range to acquire the doppler frequency shift and signal power between the base station and the satellite in orbital flight. The satellite transponder acquires and tracks the carrier in order to initialize the communication. To control such initialization process, the satellite receiver should analyze the input carrier signal in various ways. This paper presents an SNR estimation algorithm to control the initialization process. The proposed algorithm converts the input signal into the baseband polar coordinate representation and estimates the SNR via the statistics of the angular signal components as well as the status parameters to control the receiver. The Monte-Carlo simulations shows the validity of the estimation proposed.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.40 no.2
• /
• pp.60-67
• /
• 2017

A baggage handling system (BHS) in airport is an unified system for moving the passengers' baggage in designated time. Input baggage from the check-in counter travels to the baggage claim area or cargo handling terminal through this system. In particular, entryway BHS consists of conveyors, X-ray and sorters such as tilt-tray to send the baggage to departing airplane and it could have various problems for handling certain amount of baggage in restricted time such as baggage jamming at certain merge point. This causes systemic error such as delay of the time, omissions of the baggage and even breakdown of the equipment and inefficiency. Also the increasing maximum time of the baggage passing through the BHS could delay the flight schedule and finally decrease the service level. Thus, the algorithm for controlling the flow of the merge is essential to the system. The window reservation algorithm is the one of the most frequently used methods to control the merge configuration. Above all, the reserve location, so called reserve ahead point, that allocates the window is important for the performance of the algorithm. We propose the modified window reservation algorithm and the best reserve locations by changing the reserve ahead point in the induction conveyors. The effect of various reserve ahead points such as the capacity and utility of the system were analyzed and the most effective reserve ahead point combination was found. The total baggage processing time and the utilization of the tilt-tray are properly considered when choosing the optimal Reserve ahead point combination. In the layout of this study, the configuration of four conveyors merged into one tilt-tray is studied and simulation analysis is done by AutoMod(R), 3D simulation software. Through the simulation, the window reservation algorithm is effectively operated with the best combination of reserve ahead point which reduces the maximum baggage travel time.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.26 no.6
• /
• pp.890-896
• /
• 2022

In this paper, gimbal camera control through smart gloves was implemented to increase convenience and accessibility to the control of drones used in various fields. Smart gloves identify human gestures and transmit signals through Bluetooth. The received signal is converted into a signal suitable for the drone through a GCS (Gound Control Station). Signals from smart gloves are expressed in a quaternion method to prevent gimbal locks, but for gimbal cameras, conversion is required to use Roll, Pitch, and Yaw methods. The data conversion mission is performed in the GCS. The GCS transmits an input signal to the control board of the drone through Wi-Fi. The control board generates and outputs the transmitted signal in a PWM manner. The output signal is input to the gimbal camera through the SBUS method and controlled. The input signal of the smart glove averaged 0.093 s and up to 0.099 s to output to the gimbal camera, showing that there was no problem in real-time use.