• Journal of the Korean Institute of Intelligent Systems
• /
• v.8 no.6
• /
• pp.91-98
• /
• 1998

A DEDS is a system whose stated change in response to the occurrence of events from a predefined event set. A major difficulty in developing analytical results for the system is the lack of appropriate modeling techniques. In this paper, we consider the modeling and control problem for Discrete Event Dynamic Systems(DEDS) in the Temporal Logic framework(TLF) which have been recently defined. The traditional TLF is enhanced with time functions for real time control of Discrete Event Dynamic Systems. A sequence of event which drive the system from a given initial state to a given final state is generated by pertinently operating the given plants. This paper proposes the use of Real-time Temporal Logic as a modeling tool for the analysis and control of DEDS. An given example of fixed-time traffic control problem is shown to illustrate our results with Real-time Temporal Logic Framework.

• Journal of the Society of Naval Architects of Korea
• /
• v.47 no.2
• /
• pp.248-257
• /
• 2010

In this study, a discrete event and dynamic-based discrete time combined simulation modeling architecture, which can be used to calculate equations of motions among discrete events, is developed. This is composed of a command model, which is in charge of discrete event simulation, a numerical integration model, which finds motions by numerically integrating equations of motions, and an external force and control force model, which calculates the force and transmits it to the equations. Using this architecture, we can develop dynamic-based simulation by simply connecting and combining models, and handle simultaneously discrete event and discrete time simulation. To verify the efficiency of the architecture, it is applied to the submarine diving and surfacing simulation.

• 제어로봇시스템학회:학술대회논문집
• /
• 1992.10a
• /
• pp.212-217
• /
• 1992

In this paper, a two ports machine(TPM) model for discrete event dynamic systems(DEDS) is proposed. The proposed model is a finite state machine which has two inputs and two outputs. Inputs and outputs have two components, events and informations. TPM is different from other state machine models, since TPM has symmetric input and output. This symmetry enables the block diagram representation of the DEDS with TPM blocks, summing points, multiplying points, branch points, and connections. The graphical representation of DEDS is analogous to that of control system theory. TPM has a matrix representation of its transition and information map. This matrix representation simplifies the analysis of the DEDS.

• Proceedings of the KIEE Conference
• /
• 1993.11a
• /
• pp.310-313
• /
• 1993

A design of stabilizing supervisory controller for discrete event dynamic systems(DEDS) is investigated in this paper. The notion of system stability is introduced for the supervisory control and the stable behavior is defined. A framework of stabilizing supervisory controller, which controls a given system to have stable behavior. is formulated and a design method is proposed for the stabilizing, supervisory controller.

• 제어로봇시스템학회:학술대회논문집
• /
• 1995.10a
• /
• pp.35-38
• /
• 1995

We proposed in this paper a systematic way for analyzing discrete event dynamic systems to classify faults and failures quantitatively and to find tolerable fault event sequences embedded in the system. An automated failure diagnosis scheme with respect to the nominal normal operating event sequences and the supervisory control problem for tolerable fault event sequences is presented. Moreover the supervisor failure diagnosis problem with respect to the tolerable fault event sequences is considered. Finally, a plasma etching system example is presented.

• Journal of Institute of Control, Robotics and Systems
• /
• v.17 no.4
• /
• pp.304-312
• /
• 2011

In an oligopolistic market, only a few firms account for most or all of total production, e.g., automobile, steel, and computer industries. For a dynamic oligopolistic market with two firms competing in quantities, we show that supervisory control theory of discrete event systems provides a novel approach to solve the dynamic oligopoly problem with the aim of maximizing the profits of both firms. Specifically, we show that the controllability, observability, and nonblocking property (which are the core concepts in supervisory control theory) are the necessary and sufficient conditions for two oligopolistic firms in disequilibrium to eventually reach equilibrium states of maximizing the profits of both firms.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.11 no.2
• /
• pp.119-126
• /
• 2001

시간 페트리 네트는 실시간 값을 갖는 이산사건 시스템을 모델링하고 해석하기 위한 방법중 하나이다. 시간 페트리 네트는 각 트랜지션에 대하여 두 개의 시간 값, 최초 발화 시간 $\alpha$$_{i}$와 최종 발화 시간 $\beta$$_{i}$를 갖는다. 본 논문에서는 최적 발화 시간을 결정하기 위하여 퍼지 이론을 적용한 퍼지 트랜지션 시간 페트리 네트를 제안하였다. 퍼지 트랜지션 시간 페트리 네트의 트랜지션 점화 시간 ${\gamma}$$_{i}$는 고정 최초 발화 시간 $\alpha$$_{i}$와 고정 최종 발화 시간 $\beta$$_{i}$ 사이에서 어떠한 복잡한 계산 절차나 임의의 조건 없이 입력정보를 이용한 퍼지 이론으로부터 결정된다. 교차로에서 교통 신호제어기는 퍼지 트랜지션 시간 페트리 네트에 의하여 모델링되고 해석되었다. 퍼지 트랜지션 시간 페트리 네트의 중요한 특성은 교통 신호기의 모델링과 시뮬레이션에 의해서 보여진다. 의해서 보여진다.

• 제어로봇시스템학회:학술대회논문집
• /
• 1996.10a
• /
• pp.358-361
• /
• 1996

In this paper, we discuss decentralized optimal fault tolerant supervisory control issues on the basis of failure analysis and diagnosis from the angle of discrete event dynamic system. We address the detectability and the observability problems, and develope fault tolerant supervisory control system upon the failure analysis and diagnosis schemes. A complete min-cut is introduced and the procedure for finding the achievable or nonachievable layered optimal legal sublanguages is suggested for a preferential option among the reachable states in the controlled plant. A layered optimal supervisory control framework is proposed upon these. We extend the concept of decentralized supervisory control by considering the problem of combination of decentralized with centralized control in case pure decentralized control happens to be inadequate. We introduce the concept of locally controllable pair and present a hybrid decentralized supervisory control framework. Finally, we propose the analytical framework for a decentralized optimal fault tolerant supervisory control systems.

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

Timed Petri Net(TPN) is one of methods to model and to analyze Discrete Event Dynamic Systems(DEDSs) with real time values. It has two time values, earliest firing time ($\alpha$$_{i}$) and latest firing time ($\beta$$_{I}$) for the each transition. A transition of TPN is fired at arbitrary time of time interval ($\alpha$$_{I}$, $\beta$$_{i}$). Uncertainty of firing time gives difficulty to analyze and estimate a modeled system. In this paper, we proposed the Fuzzy Transition Timed Petri Net(FTTPN) with fuzzy theory to determine the optimal transition time (${\gamma}$$_{i}$). The transition firing time (${\gamma}$$_{i}$) of FTTPN is determined from fuzzy controller which is modeled with information of state transition. Each of the traffic signal controllers are modeled using the proposed method and timed petri net. And its Performance is evaluated by simulation of traffic signal controller. controller.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2001.10a
• /
• pp.484-484
• /
• 2001

The sophistication of current software applications results in the increasing cost fur software development time. The component-based software development framework is proposed to overcome the difficulty and time-consuming requirements by modularity and reusability. As is the general software case, a component-based simulation framework encourages the reusability of the real system model based on the modularity of the applied simulation methodology. This paper presents a component-based simulation environment that is based on the DEVS/COM run-time infrastructure. The DEVS (Discrete Event System Specification) formalism provides a formal modeling and simulation framework for the generic dynamic systems [1] and Microsoft's COM (Component Object Model) is one of the strongest competitor fur the component standard. The reusability by the DEVS/COM simulation environment saves model development time remarkably and component technology make simulator itself to be a subparts of real application.