• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1996년도 한국자동제어학술회의논문집(국내학술편); 포항공과대학교, 포항; 24-26 Oct. 1996
• /
• pp.812-815
• /
• 1996

In this paper, we consider the optimal control problem based on Discrete Event Dynamic Systems(DEDS) in the Temporal Logic framework(TLF) which have studied for a convenient modeling technique. The TLF is enhanced with objective functions(event cost indices) and a measurement space is also defined. Our research goal is the design of the optimal controller for DEDSs. This procedure could be guided by the heuristic search methods. For the heuristic search, we suggested the Stochastic Ruler algorithm, instead of the A algorithm with difficulties as following; the uniqueness of solutions, the computational complexity and how to select a heuristic function. This SR algorithm is used for solving the optimal problem. An example is shown to illustrate our results.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1997년도 하계학술대회 논문집 B
• /
• pp.590-592
• /
• 1997

A Discrete Event Dynamic System is a system whose states change in response to the occurrence of events from a predefined event set. A major difficulty in developing analytical results for the systems is the lack of appropriate modeling techniques. This paper proposes the use of Real-time Temporal Logic as a modeling tool for the analysis and control of DEDS. The Real-time Temporal Logic Frameworks is extended with a suitable structure of modeling hard real-time constraints. Modeling rules are developed for several specific situations. It is shown how the graphical model can be translated to a system of linear equations and constraints.

• 제어로봇시스템학회논문지
• /
• 제16권11호
• /
• pp.1025-1028
• /
• 2010

This paper presents a new approach to analyze the stability of dynamic competitive markets within the framework of supervisory control of discrete event systems. A competitive market is representative of free market economy where it is well known that an invisible hand (also referred to as Walrasian auctioneer) always achieves an equilibrium of demand and supply. Upon the framework of supervisory control theory, this paper shows that Walrasian auctioneer is a stabilizing supervisor for a convergent competitive market, however a non-convergent competitive market (e.g. a free market under economic bubble and depression) controlled by Walrasian auctioneer may not be stable.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 1993년도 추계학술대회발표논문집; 서강대학교, 서울; 25 Sep. 1993
• /
• pp.118-118
• /
• 1993

We consider a discrete event dynamic system called periodic job shop, where an identical mixture of items called minimal part set(MPS) is repetitively produced in the same processing order and the primary performance measure is the cycle time. The precedence relationships among events(starts of operations) are represented by a directed graph with rocurront otructure. When each operation starts as soon as all its preceding operations complete(called earliest starting), the occurrences of events are modeled in a linear system using a special algebra called minimax algebra. By investigating the eigenvalues and the eigenvectors, we develop conditions on the directed graph for which a stable steady state or a finite eigenvector exists. We demonstrate that each finite eigenvector, characterized as a finite linear combination of a class of eigenvalue, is the minimum among all the feasible schedules and an identical schedule pattern repeats every MPS. We develop an efficient algorithm to find a schedule among such schedules that minimizes a secondary performance measure related to work-in-process inventory. As a by-product of the linear system approach, we also propose a way of characterizing stable steady states of a class of discrete event dynamic systems.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2001년도 합동 추계학술대회 논문집 정보 및 제어부문
• /
• pp.212-214
• /
• 2001

Siphons and traps are special structures of Petri nets with closely related to liveness for the deadlock analysis of Discrete Event Dynamic Systems. It can analysis the liveness of Petri nets using the siphon and trap without to check reachability.[1] Deadlock analysis approach we proposed is based on the notion of potential deadlock which are siphons that eventually become empty. And in this paper, we proposed a initial marking method by siphon to avoid and to prevent deadlock. It is shown that our approach is more efficient than classical state enumeration approach.

• 산업경영시스템학회지
• /
• 제36권4호
• /
• pp.116-122
• /
• 2013

This study develops a dynamic scheduling model for parallel machine scheduling problem based on genetic algorithm (GA). GA combined with discrete event simulation to minimize the makespan and verifies the effectiveness of the developed model. This research consists of two stages. In the first stage, work sequence will be generated using GA, and the second stage developed work schedule applied to a real work area to verify that it could be executed in real work environment and remove the overlapping work, which causes bottleneck and long lead time. If not, go back to the first stage and develop another schedule until satisfied. Small size problem was experimented and suggested a reasonable schedule within limited resources. As a result of this research, work efficiency is increased, cycle time is decreased, and due date is satisfied within existed resources.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1994년도 Proceedings of the Korea Automatic Control Conference, 9th (KACC) ; Taejeon, Korea; 17-20 Oct. 1994
• /
• pp.690-695
• /
• 1994

We propose a method to reduce the marking expression about the places when we model a discrete-event system using the Petri net. The net with reduced marking expression has the same dynamic behavior as the original model. The number of the places can be reduced by the number of the resource places of the Petri net, and consequently the net can be significantly simplified, still preserving the dynamic properties of the net.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1990년도 한국자동제어학술회의논문집(국내학술편); KOEX, Seoul; 26-27 Oct. 1990
• /
• pp.523-528
• /
• 1990

This paper discusses the problem of designing an observation function as coarsest as possible in supervisory control of discrete event dynamic systems. Some algebraic properties of two sets consisting of observation functions for which the given desirable behavior is realizable are investigated:these sets with a partial ordering turn out not to possess largest elements. Two natural methods of obtaining an observation function, which is frequently coarser than the identity mapping, are also presented. An example illustrates the use of these methods.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2000년도 춘계학술대회 학술발표 논문집
• /
• pp.264-267
• /
• 2000

The need for including time variables in various type of modeled Discrete Event Dynamic Systems(DEDSs) is apparent since the modeled systems are real time in nature. In the real world, almost all event is related to time. A Time Petri Net(TPN) is one of methods for model ins and analyzing of DEDSs with real time values. Two time values, ${\alpha}$$\sub$i/ and ${\beta}$$\sub$i/ are defined for each transition. In this paper, Ire present Fuzzy Transition Timed Petri Net(FTTPN) to determine the optimal transition firing time between ${\alpha}$$\sub$i/ and ${\beta}$$\sub$i/ using fuzzy theory. The traffic signal controller in an intersection is modeled and analyzed by FTTPN.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2000년도 제15차 학술회의논문집
• /
• pp.17-17
• /
• 2000

In this paper, we design a hybrid controller for a safe lane change maneuver in automated highway systems(AHS). The proposed hybrid controller consists of a supervisor which controls the behaviors of discrete-event dynamic systems, and a regulator which controls the operations of continuous-variable dynamic systems. The supervisor determines whether the system starts a maneuver or not, via a condition for a safety, and gives orders to the regulator for performing the maneuvers. And the regulator tracks the planned path generated in the supervisor. The conditions for a safe lane change maneuver are proposed using the velocity, the acceleration, and geometrical relationship of vehicles.