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

This paper addresses a supervisory control problem to meet bounded time constraints in real-time nondeterministic discrete event systems (DESs) represented as timed transition models. For a timed language specification representing a bounded time constraint, this paper introduces the notions of trace-controllability and time-controllability. Based on the notions, this paper presents the necessary and sufficient conditions for the existence of a supervisor for a real-time nondeterministic DES to achieve the specification.

• Proceedings of the KIEE Conference
• /
• 2006.07a
• /
• pp.141-142
• /
• 2006

In this paper, DSPOCS(Digital Switchgear Panel Operation and Control Solution) is designed, which is the intelligent inference operation and control solution of substation based on IED. DSPOCS is designed as a scheduled monitoring and control task and a real-time alarm inference task, and is interlinked with BRES in the required case. The intelligent alarm inference task consists of the alarm knowledge generation part and the real-time pattern matching part The alarm knowledge generation part generates automatically alarm knowledge from DB and saves it in alarm KB. On the other hand, the pattern matching part inferences the real-time event by comparing the real-time event information furnished from IEDs of substation with the patterns of the saved alarm knowledge base.

• Industrial Engineering and Management Systems
• /
• v.8 no.3
• /
• pp.155-161
• /
• 2009

We focus on discrete event systems with a structure of parallel processing, synchronization, and no-concurrency. We use max-plus algebra, which is an effective approach for controller design for this type of system, for modeling and formulation. Since a typical feature of this type of system is that the initial schedule is frequently changed due to unpredictable disturbances, we use a simple model and numerical examples to examine the possibility of applying the concepts of the feeding buffer and the project buffer of critical chain project management (CCPM) on max-plus linear discrete event systems in order to control the occurrence of an undesirable state change. The application of a CCPM-based framework on a max-plus linear discrete event system was proven to be effective.

• 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.

• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.12
• /
• pp.1229-1233
• /
• 2010

In event-driven wireless sensor networks, network congestion occurs when event data, which have higher transmission rates than periodic sensing data, arc forwarded to bottleneck links. As the congestion continues, congestion collapse is triggered, so most of packets from source nodes are failed to transmit to a sink node. Rate control schemes can be a solution for preventing the congestion collapse problem. In this paper, a rate control scheme that each node controls child node's data rate based on congestion patterns is proposed. Experiments show that the proposed scheme effectively controls network congestion and successfully transmits more event data packets to a sink node than existing rate control schemes.

• Journal of Institute of Control, Robotics and Systems
• /
• v.2 no.3
• /
• pp.209-219
• /
• 1996

Fieldbus provides a real-time data communication among field devices in the process control and manufacturing automation systems. In this paper, a Petri Net model of the 1993 draft of IEC/ISA fieldbus which is proposed as an international standard of fieldbus network is developed. Based on the Petri Net model, discrete-event simulation model of IEC/ISA fieldbus network is developed. This paper evaluates the network induced delay in the data link layer of IEC/ISA fieldbus using the simulation model. In addition, an integrated discrete-event/continuous-time simulation model of fieldbus system and distributed control system is developed. This paper investigates the real-time data processing capability of IEC/ISA fieldbus and the effect of network-induced delay to the performance of control system.

• Journal of Korea Multimedia Society
• /
• v.9 no.10
• /
• pp.1322-1331
• /
• 2006

Concurrency control is one of the important factors to maintain consistent conditions of a game because most participants of the game should be shared information to play the game through a distributed network system. replay delay times should establish in every event and the received event should be saved and performed simultaneously for Concurrency Control. However, it is not easy to practice the event with same speed in environment having various moving speed. Therefore, expansion have to be provided. In other words, one of the most important factors of a game's efficiency is the process of bandwidth and delay. the process of concurrency control method based on scalable prediction for Multi-platform games would minimize the loss rate of a event and then would improve the interaction capacity of a game. It also might get reliability between clients. This paper analyzes some problems in terms of a layout of a game that integrates a cable and a wireless system. In addition, this paper provides methods to expand bandwidth and delay that might be an obstacle of a On-line game and to ensure reliability between a server and a client.

• Journal of Institute of Control, Robotics and Systems
• /
• v.7 no.11
• /
• pp.939-943
• /
• 2001

PLC(programmable Logic Controller)s essential components of modern automation systems encompassing almost every industry. Ladder Diagrams (LD) have been widely used in the design of such PLC since the LD is suitable for the modeling of the sequential control system. However, the synthesis of LD itself mainly depends on the experience of the industrial engineer, which may results in unstructured or inflexible design. Hence, in this paper, we propose a ladder diagram conversion algorithm which systematically produces LDs for PLCs based on discrete event models to enhance the structured and flexible design mechanism.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.10 no.1
• /
• pp.78-85
• /
• 2007

A gun is still one of the major weapons of a combat ship. To assess the ship's fire control capability which is influenced by tracking system, fire control algorithm, gun, the ship itself, target behavior, environment and engagement situation, simulation system for gun-oriented engagement for surface ship is needed. This paper proposes the process for designing and implementing a gun-oriented engagement simulation system using DEVS(Discrete Event Simulation Specification), which is a formalism based on the set theory. It consists of the following activities : 1) analyzing the characteristics of a gun-oriented engagement, 2) constructing the deterministic model of the combat ship of study with DEVS, 3) modeling properties of each entity showing as stochastic errors. With this process, the gun-oriented engagement simulation system is developed and applied for the combat system under development.

• Journal of Institute of Control, Robotics and Systems
• /
• v.16 no.10
• /
• pp.1013-1017
• /
• 2010

This paper proposes a systematic approach to the rate-based feedback control based on the supervisory control framework for discrete event systems. We design the supervisor to achieve the desired behavior for TCP wireless networks. From the analysis and simulation results, it is shown that the controlled networks guarantee the fair sharing of the available bandwidth and avoid the packet loss caused by the buffer overflow of TCP wireless networks.