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

In this paper we present how the deviation bound, which is a synchronic variable, can be used for checking liveness in Petri nets. Also, the deviation bound will be applied to detect or avoid deadlock situations and to characterize concurrency against sequential behaviors in automated manufacturing systems. In the current stage, we restrict the applicable domain of these methods to the Petri net structure that can be synthesized by combining common transitions or common places or common paths of Live-and-Bounded circuits.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2005.11a
• /
• pp.125-128
• /
• 2005

This paper presents a simple methodolosy that makes a continuous-time nonlinear system chaotic using fuzzy control. The nonlinear system is represented by the T-S fuzzy model. Then, a fuzzy controller makes the T-S fuzzy model, which could be stable or unstable, bounded and chaotic. The verification of chaos in the closed-loop system is done by the following procedures. We establish an asymptotically approximate relationship between a continuous-time T-S fuzzy system with time-delay and a discrete-time T-S fuzzy system. Then, we verify the chaos in the closed-loop system by applying the Marotto theorem to its associated discrete-time T-S fuzzy system.

• Bulletin of the Korean Mathematical Society
• /
• v.22 no.2
• /
• pp.95-98
• /
• 1985

In [1], E.B. Lee and L. Markus described a sufficient condition for which the domain of null-controllability of a linear autonomous system is all of R$^{n}$ . The purpose of this note is to extend the result to a certain linear nonautonomous system. Thus we consider a linear control system dx/dt = A(t)x+B(t)u in the Eculidean n-space R$^{n}$ where A(t) and B(t) are n*n and n*m matrices, respectively, which are continuous on 0.leq.t<.inf. and A(t) is a periodic matrix of period .omega.. Admissible controls are bounded measurable functions defined on some finite subintervals of [0, .inf.) having values in a certain convex set .ohm. in R$^{m}$ with the origin in its interior. And we present a sufficient condition for which the domain of null-controllability is all of R$^{n}$ .

• Korean Journal of Organic Agriculture
• /
• v.28 no.3
• /
• pp.273-288
• /
• 2020

The purpose of this study is to estimate farmers' willingness to accept (WTA) of direct payment for increasing public benefit using the contingent valuation method. The double-bounded dichotomous choice and the open-ended question were used to measure WTAs for basic form and optional form, respectively. The results show that WTA for basic form was inversely proportional to the acreage. WTAs were KRW 1,694,001 with 2 ha or less, KRW 1,617,789 with over 2 ha~6 ha, and KRW 1,562,977 with over 6 ha. The results also indicate that WTAs for optional form are similar to payments of agricultural environmental conservation program except physical (chemical) control of pests and weed. The results of this study can provide useful information for the establishment of direct payment for increasing public benefit.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2005.06a
• /
• pp.1013-1017
• /
• 2005

This paper proposes an effective algorithm, P-DCF(Polling DCF) to satisfy real-time requirements in the industrial environments, based on 802.11 DCF protocols. Theoretical analysis and actual experiments are carried out, which shows that the proposed P-DCF brings several benefits: 1) it reduces the time delay for frame transmission 2)it guarantees bounded upper limit of maximum transmission delay 3) it maintains fairness

• Journal of the Korean Society for Precision Engineering
• /
• v.15 no.12
• /
• pp.162-168
• /
• 1998

The traditional robot manipulators are actuated by continuous range of motion actuators such as motors or hydraulic cylinders. However, there are many applications of mechanisms and robotic manipulators where only a finite number of locations need to be reached, and the robot's trajectory is not important as long as it is bounded. Binary manipulator uses actuators which have only two stable states. As a result, binary manipulators have a finite number of states. The number of states of a binary manipulator grows exponentially with the number of actuators. This kind of robot manipulator has some advantage compared to a traditional one. Feedback control is not required, task repeatability can be very high, and finite state actuators are generally inexpensive. And this kind of robot manipulator has a fault tolerant mechanism because of kinematic redundancy. This paper develops algorithms for kinematics and workspace analysis of a binary manipulator.

• Journal of Information Processing Systems
• /
• v.4 no.2
• /
• pp.41-52
• /
• 2008

In this paper, we discuss a novel reservation-based, asynchronous MAC protocol called 'Multi-rate Multi-hop MAC Protocol' (MMMP) for multi-hop ad hoc networks that provides QoS guarantees for multimedia traffic. MMMP achieves this by providing service differentiation for multirate real-time traffic (both constant and variable bit rate traffic) and guaranteeing a bounded end-to-end delay for the same while still catering to the throughput requirements of non real time traffic. In addition, it administers bandwidth preservation via a feature called 'Smart Drop' and implements efficient bandwidth usage through a mechanism called 'Release Bandwidth'. Simulation results on the QualNet simulator indicate that MMMP outperforms IEEE 802.11 on all performance metrics and can efficiently handle a large range of traffic intensity. It also outperforms other similar state-of-the-art MAC protocols.

• Proceedings of the KIEE Conference
• /
• 2003.11b
• /
• pp.187-190
• /
• 2003

In this paper, we address the robust adaptive backstepping controller using fuzzy neural network (FHIN) for a class of uncertain output feedback nonlinear systems with disturbance. A new algorithm is proposed for estimation of unknown bounds and adaptive control of the uncertain nonlinear systems. The state estimation is solved using K-fillers. All unknown nonlinear functions are approximated by FNN. The FNN weight adaptation rule is derived from Lyapunov stability analysis and guarantees that the adapted weight error and tracking error are bounded. The compensated controller is designed to compensate the FNN approximation error and external disturbance. Finally, simulation results show that the proposed controller can achieve favorable tracking performance and robustness with regard to unknown function and external disturbance.

• 한국전산유체공학회:학술대회논문집
• /
• 2000.05a
• /
• pp.127-139
• /
• 2000

Transient aerodynamic response of an airfoil to a rapidly deploying spoiler is numerically investigated using a two-dimensional turbulent compressible Navier-Stokes flow model. The spoiler moving relative to a stationary airfoil is treated by an overset grid bounded by a 'dynamic domain-dividing line' the concept of which is developed first..in this paper. The fluid-dynamic mechanism of the adverse lift due to the rapidly deploying spoiler is analyzed. Also the effect of spoiler deploying rate on the initial behavior of the aerodynamic response is expounded, which is of interest in view of active control technology and controller design for the spoiler. The results of present computation about the stationary as well as moving spoilers are relatively in good agreement with the existing experimental data.

• Journal of the Korea Society for Simulation
• /
• v.3 no.1
• /
• pp.17-28
• /
• 1994

A statistical procedure is developed to estimate the relative difference between two parameters each obtained from either true model or approximate model. Double sample procedure is applied to find the additional number of simulation runs satisfying the preassigned absolute precision of the confidence interval. Two types of parameters, mean and standard deviation, are considered as the performance measures and tried to show the validity of the model by examining both queues and inventory systems. In each system it is assumed that there are three distinct means and their own standard deviations and they form the simultaneous confidence intervals but with control in the sense that the absolute precision for each confidence interval is bounded on the limits with preassigned confidence level. The results of this study may contribute to some situations, for instance, first, we need a statistical method to compare the effectiveness between two alternatives, second, we find the adquate number of replications with any level of absolute precision to avoid the unrealistic cost of running simulation models, third, we are interested in analyzing the standard deviation of the output measure, ..., etc.