• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.23 no.1
• /
• pp.38-47
• /
• 2014

This paper describes the application of discrete event systems theory to the design of an automated laboratory system. Current automated laboratory systems typically consist of several interacting processes that must be carefully sequenced to avoid any possible process conflicts. Discrete Event Systems (DES) theory and Supervisory Control Theory (SCT) can be applied together as effective methods of modeling the system dynamics and designing supervisory controllers to precisely sequence the many processes that such systems might involve. Classical approaches to supervisory controller design tend to result in complex controller structures that are difficult to implement, maintain, and upgrade. In this paper, a new approach to designing supervisory controllers for automated laboratory systems is introduced. This new approach uses a modular controller structure that is easier to implement, maintain, and upgrade, and deals with "state explosion" issues in a novel and efficient way.

• Journal of Institute of Control, Robotics and Systems
• /
• v.14 no.11
• /
• pp.1155-1164
• /
• 2008

Supervisory control theory, which was first proposed by Ramadge and Wonahm, is a well-suited control theory for the control of complex systems such as semiconductor manufacturing systems, automobile manufacturing systems, and chemical processes because these are better modeled by discrete event models than by differential or difference equation models at higher levels of abstraction. Moreover, decentralized supervisory control is an efficient method for large complex systems according to the divide-and-conquer principle. Decentralized supervisors cannot observe the events those of which occur only within the other supervisors. Therefore decentralized supervisors can be designed according to supervisory control theory under partial observation. This paper presents a solution and a design procedure of supervisory control problem (SCP) for the case of decentralized control and SCP under partial observation (SCPPO). We apply the proposed design procedure to an experimental CIM Testbed. And we compare and analyze the designed decentralized supervisors and partially observed supervisors.

• Journal of the Korean Society of Systems Engineering
• /
• v.1 no.1
• /
• pp.20-25
• /
• 2005

This paper presents the general system theory and its applications to the safety analysis method that is a recent trend over the traditional event-driven model. This new model is known as STAMP(Systems Theory Accident Modeling and Process) proposed by Nancy G. Leveson in MIT. The new model has benefits o f systemic approaches concerning the system safety as a whole including the context it is in, its stimulants and outcomes, and its parts as well as the relationships among them in a holistic manner. The method consists of a hierarchical control structure, a process model, and the safety constraints governing the control. This paper demonstrates an example that contrasts the differences between the approaches of STAMP and the traditional safety models.

• Korean Journal of Mathematics
• /
• v.17 no.3
• /
• pp.331-340
• /
• 2009

We show the existence of nonconstant periodic solution for the nonlinear Hamiltonian systems with some nonlinearity. We approach the variational method. We use the critical point theory and the variational linking theory for strongly indefinite functional.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.1 no.2
• /
• pp.16-34
• /
• 1991

It has been widely accepted that expert systems must reason from multiple sources of information that is to some degree evidential - uncertain, imprecise, and occasionally inaccurate - called evidential information. Evidence theory (Dempster/Shafet theory) provides one of the most general framework for representing evidential information compared to its alternatives such as Bayesian theory or fuzzy set theory. Many expert system applications require evidence to be specified in the continuous domain - such as time, distance, or sensor measurements. However, the existing evidence theory does not provide an effective approach for dealing with evidence about continuous variables. As an extension to Strat's pioneeiring work, this paper provides a new combination rule, a new method for mass function transffrmation, and a new method for rendering joint mass fuctions which are of great utility in evidence theory in the continuous domain.

• International Journal of Control, Automation, and Systems
• /
• v.2 no.4
• /
• pp.530-535
• /
• 2004

This paper deals with the unknown input observer (UIO) design problem for a class of linear time-delay systems. A case in which the observer error can completely be decoupled from an unknown input is treated. Necessary and sufficient conditions for the existences of such observers are present. Based on Lyapunov stability theory, thedesign of the observer with internal delay is formulated in terms of linear matrix inequalities (LMI). The design of the observer without internal delay is turned into a stabilization problem in linear systems. Two design algorithms of UIO are proposed. The effect of the proposed approach is illustrated by two numerical examples.

• 제어로봇시스템학회:학술대회논문집
• /
• 1994.10a
• /
• pp.354-358
• /
• 1994

This study is concerned with H$_{\infty}$ control theory of nonlinear systems. Recently H$_{\infty}$ control theory has been developed to nonlinear systems, and especially nonlinear H$_{\infty}$ control theory based on the Hamilton-Jacobi inequality has been proposed. This corresponds to linear H$_{\infty}$ control theory based on the Riccati equation. In this paper, we apply it to a semi-active dynamic vibration absorber for multi-degree-of-freedom structure, and we design its state feedback controller via the Riccati equation. In the simulation, we show that it is effective for a vibration control.rol.

• Journal of applied mathematics & informatics
• /
• v.3 no.2
• /
• pp.117-128
• /
• 1996

Complementation theory in krein spaces can be extended for any self-adjoint transformation. There is a close relation between Julia operators and linear systems. The theory of Julia operators can be used to construct distinct Krein spaces which are the state spaces of extended canonical linear systems with given transfer function.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.5 no.2
• /
• pp.149-156
• /
• 2001

Sufficient conditions for boundary controllability of semilinear systems in Banach spaces are established. The results are obtained by using the analytic semigroup theory and the Banach contraction principle. An example is provided to illustrate the theory.

• 제어로봇시스템학회:학술대회논문집
• /
• 1990.10b
• /
• pp.878-883
• /
• 1990

There have been many approaches to solve the disturbance rejection problem in the control of LTI systems with state independent disturbances or possibly nonlinear state dependent disturbances. From the view point of each actuator, robot manipulators can be modeled as the second class of systems. With this model, M.Nakao et al. [1] introduced a decentralized control scheme based on interference estimation which is simple in its implementation and robust to the coupled dynamics and parameter variations. This paper systematically generalizes the control scheme to arbitrary finite dimensional LTI systems with disturbances. In doing so, we develop a disturbance observer theory for solving the disturbance rejection problem. We also present a discrete version of the theory with discussion of sampling and time-delay effects.