• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.19 no.11
• /
• pp.2255-2263
• /
• 1994

Protocol conformance testing consists of procedures to observe an output and to check a transition state of the Implementation Under Test considered as a black box by applying an input. There are several methods to check the transition state such as Unique Input/Output(UIO) sequence. Distinguishing Sequence(DS) and Characterization Set(CS). Particularly, as a test method for a state having no UIO sequence, Partial UIO sequence method can be considered. In this paper, three properties which can be found among Partial UIO sequence and a modified algorithm using these properties are suggested.

• 제어로봇시스템학회:학술대회논문집
• /
• 2000.10a
• /
• pp.193-193
• /
• 2000

This paper proposes a dynamic observer that is applicable to linear time-invariant systems subject to unknown input, The proposed method utilities Che output feedback control structure to design unknown input observer. We name it as the dynamic unknown input observer(UIO). The dynamic UIO can be designed easily over the usual static UIO, and the system response could be improved.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.22 no.10
• /
• pp.2357-2363
• /
• 1997

In this paepr, we show that the length of the test sequence can be reduced using non-minimal multiple UIO instead of minimal multiple UIO. Our test sequence generation method starts from the observation that Shen's approach cannot optimize the length of the test sequence whtn the difference between the number of incoming edge and that of outgoing edge is large. Usig the property, we propse a more efficient method to generate a UIO-based test sequence in terms of the length, and compares our method with other existing methods in terms of execution time for comformancetesting and time for generation of test sequence.

• Journal of Korea Multimedia Society
• /
• v.1 no.1
• /
• pp.109-119
• /
• 1998

This paper describes a research result on automatic generation of Abstract Test Suite from INAP protocol in formal specifications by applying many existing related algorithms such as Rural Chinese Postman Tour and UIO sequence concepts. We use the I/O FSM generated from SDL specifications and a characterizing sequence concepts. We use the I/O FSM generated from SDL specifications and a characterizing sequence, called UIO sequence, is defined for the I/O FSM. The UIO sequence is combined with the concept of Rural Chinese Postman tour to obtain an optimal test sequence. It also proposes an estimation methodology of the fault courage for the Test Suite obtained by our method and their translation into the standardized test notation TTCN.

• 제어로봇시스템학회:학술대회논문집
• /
• 2001.10a
• /
• pp.26.4-26
• /
• 2001

This paper proposes a dynamic observer that is applicable to linear time-invariant systems subject to unknown inputs. The proposed method utilizes the output feedback control structure to design an unknown input observer. We name it as the dynamic unknown input observer(UIO). The dynamic UIO can be designed easily compared to the usual static UIO, and the system response could be improved.

• Journal of Institute of Control, Robotics and Systems
• /
• v.17 no.11
• /
• pp.1138-1144
• /
• 2011

This article deals with the problem of fault detection of a spacecraft's actuators. The authors introduce an extended unknown input observer for nonlinear systems. This is an extended form of unknown input observers which are used for linear systems. Since faults are not available, those are considered as unknown inputs. Unknown input observers can estimate states without full information of inputs if some conditions are satisfied. The authors suggest a continuous-time extended UIO (eUIO) and prove the convergence of state estimation errors. Since the dynamic equation of a spacecraft is nonlinear, an extended UIO can be applied. Three eUIOs are designed to monitor three reaction wheels. The moving averages of each eUIO's residuals are selected for decision logic. The proposed method is verified by numerical simulations.

• Journal of Korea Multimedia Society
• /
• v.18 no.4
• /
• pp.506-523
• /
• 2015

The intent is to determine whether or not the custody transfer is helpful for data transmission in challenging underwater communications when running Bundle protocol or underwater protocols. From the point of view defending side, Underwater Acoustic Network (UAN) will be a serious threat for its strong functionality long rang and high precision of surveillance and detection. Therefore, countermeasures must be taken to weaken its effect. Our purpose is analyzed that how to benefit from the UIoT to learn from, exploit and preserve the natural underwater resources. Delay/Disruption Tolerant Network (DTN) is essential part of the network heterogeneity communication network. The vulnerability and potential security factors of UIoT are studied thereafter. Security mechanisms for an underwater environment are difficult to apply owing to the limited bandwidth. Therefore, for underwater security, appropriate security mechanisms and security requirements must be defined simultaneously. The paper consists of mathematical and security model. Most important point of view in the security challenges of effective Buffer and Storage management in DTN.

• Journal of the Korean Ceramic Society
• /
• v.53 no.2
• /
• pp.200-205
• /
• 2016

With high specific surface area and pore structural diversity, MOFs show important applications in gas storage, catalysis, sensing, separation, and biomedicine. However, the stability of the structure of MOFs has restricted their application and development. In this study, zirconium metal organic frameworks with 9,10-dicarboxylic acid anthracene as ligand, named UIO-66 ($H_2DCA$), were synthesized and their properties and structures were characterized by XRD, SEM, and $N_2$ adsorption. We focus on the stability of the structure of UIO-66 ($H_2DCA$) under different conditions (acid, alkali, and water). The structural changes or ruins of UIO-66 ($H_2DCA$) were traced by means of XRD, TG, and FT-IR under different conditions. The results show that the UIO-66 ($H_2DCA$) materials are stable at 583 K, and that this structural stability is greatly influenced by different types of acid and alkali compounds. Importantly, we found that the structures maintain their stability in environments of nitric acid, triethylamine, and boiling water.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.60 no.3
• /
• pp.625-631
• /
• 2011

This paper presents a discrete-time output feedback consensus algorithm for Multi-Agent Systems (MAS). Under the assumption that an agent is aware of the relative state information about its neighbors, a state feedback consensus algorithm is designed based on Linear Matrix Inequality (LMI) method. In general, however, it is possible to obtain its relative output information rather than the relative state information. To reconcile this problem, an Unknown Input Observer (UIO) is employed in this paper. To this end, first it is shown that the relative state information can be estimated using the UIO and the measured relative output information. Then a certainty-equivalence type output feedback consensus algorithm is proposed by combining the LMI-based state feedback consensus algorithm with the UIO. Finally, simulation results are given to illustrate that the proposed method successfully achieves the state consensus.

• Transactions on Control, Automation and Systems Engineering
• /
• v.4 no.3
• /
• pp.205-211
• /
• 2002

Unknown inputs observer(UIO) which is achieved by the coordinate transformation method has the differential of system outputs in the observer and the equation for unknown inputs estimation. Generally, the differential of system outputs in the observer can be eliminated by defining a new variable. But it brings about the partition of the observer into two subsystems and need of an additional differential of system outputs still remained to estimate the unknown inputs. Therefore, the block pulse function expansions and its differential operation which is a newly derived in this paper are presented to alleviate such problems from an algebraic form.