• Industrial Engineering and Management Systems
• /
• v.1 no.1
• /
• pp.1-9
• /
• 2002

Among the state-space description of discrete vent systems, the max-plus algebra is known as one of the effective approach. This paper proposes a model predictive control (MPC) design method based on the max-plus algebra. Several studies related to these topics have been done so far under the constraints that system parameters are constant. However, in practical systems such as production systems, it is common and sometimes inevitable that system parameters vary by each event. Therefore, it is of worth to design a new MPC controller taking account of adjustable system parameters. In this paper, we formulate system parameters as adjustable ones, and they are solved by a linear programing method. Since MPC determines optimal control input considering future reference signals, the controller can be more robust and the operation cost can be reduced. Finally, the proposed method is applied to a production system with three machines, and the effectiveness of the proposed method is verified through a numerical simulation.

• Smart Structures and Systems
• /
• v.6 no.7
• /
• pp.811-833
• /
• 2010

Vibration control and health monitoring of building structures have been actively investigated in recent years but treated separately according to the primary objective pursued. This paper presents a general approach in the time domain for integrating vibration control and health monitoring of a building structure to accommodate various types of control devices and on-line damage detection. The concept of the time-domain approach for integrated vibration control and health monitoring is first introduced. A parameter identification scheme is then developed to identify structural stiffness parameters and update the structural analytical model. Based on the updated analytical model, vibration control of the building using semi-active friction dampers against earthquake excitation is carried out. By assuming that the building suffers certain damage after extreme event or long service and by using the previously identified original structural parameters, a damage detection scheme is finally proposed and used for damage detection. The feasibility of the proposed approach is demonstrated through detailed numerical examples and extensive parameter studies.

• 제어로봇시스템학회:학술대회논문집
• /
• 1993.10a
• /
• pp.330-335
• /
• 1993

This paper presents an efficient solution for a class of forbidden state problems by introducing a cyclic timed controlled marked graphs (TCMG's), a special class of timed controlled Petri nets (TCPN's) as a model of a class of discrete event systems (DES's). The state feedback control is synthesized, which is maximally permissive while guaranteeing the forbidden states will be avoided. The practical applications or tire theoretical results for an automated guided vehicle (ACV) coordination problem in a flexible manufacturing facility is illustrated.

• 제어로봇시스템학회:학술대회논문집
• /
• 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.

• Journal of Semiconductor Engineering
• /
• v.1 no.3
• /
• pp.81-87
• /
• 2020

An instrumentation amplifier (IA) and an analog-to-digital converter (ADC) are essential circuit blocks for accurate and robust sensor readout systems. This paper introduces recent advances in radiation-hardening by design (RHBD) techniques applied for the sensor readout integrated circuits (IC), e.g., the three-op-amp IA and the successive-approximation register (SAR) ADC, operating against total ionizing dose (TID) and singe event effect (SEE) in harsh radiation environments. The radiation-hardened IA utilized TID monitoring and adaptive reference control to compensate for transistor parameter variations due to radiation effects. The radiation-hardened SAR ADC adopts delay-based double-feedback flip-flops to prevent soft errors which flips the data bits. Radiation-hardened IA and ADC were verified through compact model simulation, and fabricated CMOS chips were measured in radiation facilities to confirm their radiation tolerance.

• Proceedings of the Korea Contents Association Conference
• /
• 2005.05a
• /
• pp.422-428
• /
• 2005

In this paper, for maintaining the presentation quality of multimedia contents, we define the several events that can happen in showing when handle the multimedia contents. Also we classified these events in 4 types based on each characteristic. Furthermore we design the event model which can manage synchronization of presentation by control and managing the events. Also we propose an idea that maintain the quality of presentation service by interaction between each module and threads related in progress of show. Especially, in this research, we focus the active process for the user's participant and the unpredictable state variation of IMPSs(Interacitve Multimedia Presentation Systems).

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.11 no.5
• /
• pp.101-106
• /
• 2011

In this paper, our goal is to design the controller which operates a manufacturing system, discrete event system, guaranteeing user specification. In specially, based on supervisory control theory W. M. Wonham, our work consists in performing the controller using Petri nets possible parallelism. In addition, we consider the problem of allocation for resources sharing of the issues to consider when designing using Petri net. The controller can be generated by synthesis of user specification model and plant model after giving the management for the resource sharing. This created controller can control the deadlock and starvation which can occur in the case with resource sharing. Previous studies proposed the Constrained Synchronous Reachability graph to synthesis of the two Petri nets models. Therefore, we provide the controlled system which forbids a deadlock and starvation using the result of previous studies.

• Journal of the Korea Society for Simulation
• /
• v.21 no.3
• /
• pp.1-9
• /
• 2012

This paper proposes automatic precision approach radar (PAR) control system using digital signal to increase the safety of aircraft, and discrete event systems specification (DEVS) methodology is utilized to verify the proposed system. Traditionally, a landing aircraft is controlled by the human voice of a final approach controller. However, the voice information can be missed during transmission, and pilots may also act improperly because of incorrectness of auditory signals. The proposed system enables the stable operation of the aircraft, regardless of the pilot's capability. Communicating DEVS (C-DEVS) is used to analyze and verify the behavior of the proposed system. A composed C-DEVS atomic model has overall composed discrete state sets of models, and the state sequence acquired through full state search is utilized to verify the safeness and the liveness of a system behavior. The C-DEVS model of the proposed system shows the same behavior with the traditional PAR control system.

• 제어로봇시스템학회:학술대회논문집
• /
• 2003.10a
• /
• pp.1480-1484
• /
• 2003

This paper presents the design and development of network for housing estate security system. The system can cover up to 961 houses which can be up to 1,200 meters long transfer rate of 9,600 bps. This system uses checking and warning the abnormal situation. More over this system has ability to control switch on/off the electrical equipment in the house via AC line control system. The system consists of 4 parts. The first part is a security system of each house using MCS-51 microcontroller as a central processing unit scan 32 sensors and control 8 appliances and send alarm. The MCS-51 microcontroller received control signal via telephone used DTMF circuit. The second part is distributed two levels master/slave network implementing after RS-485 serial communication standard. The protocol its base on the OSI (Open Systems Interconnection) 7 layers protocol model design focus on speed, reliability and security of data that is transferred. The network security using encrypt by DES algorithm, message sequence, time stamp checking and authentication system when user to access and when connect new device to this system. Flow control in system is Poll/Select and Stop-and-Wait method. The third part is central server that using microcomputer which its main function are storing event data into database and can check history event. The final part is internet system which users can access their own homes via the Internet. This web service is based on a combination of SOAP, HTTP and TCP/IP protocols. Messages are exchanged using XML format [6]. In order to save the number of IP address, the system uses 1 IP address for the whole village in which all homes and appliance in this village are addressed using internal identification numbers. This proposed system gives the data transfer accuracy over 99.8% and maximum polling time is 1,120 ms.

• Earthquakes and Structures
• /
• v.6 no.3
• /
• pp.281-300
• /
• 2014

This study proposes a scheme to design control parameters for a data center facility with a vibration controller on its top floor and a secondary isolation device with its own vibration controller designed to protect vibration-sensitive computer equipment. The aim is to reduce the effects of acceleration and drift from an earthquake on computer servers placed on the isolation device that must operate during a seismic event. A linear elastic model is constructed and the evaluation function of the linear quadratic Gaussian (LQG) control is formulated. The relationship between the control parameters and the responses is examined, and based on the observations, a control parameter design scheme is constructed to reduce the responses of both the building and the computer server effectively.