• Journal of Institute of Control, Robotics and Systems
• /
• v.10 no.2
• /
• pp.112-124
• /
• 2004

A neural network based adaptive reconfigurable flight controller is presented for a class of discrete-time nonlinear flight systems in the presence of variations of aerodynamic coefficients and control effectiveness decrease caused by control surface damage. The proposed adaptive nonlinear controller is developed making use of the backstepping technique for the angle of attack, sideslip angle, and bank angle command following without two time separation assumption. Feedforward multilayer neural networks are implemented to guarantee reconfigurability for control surface damage as well as robustness to the aerodynamic uncertainties. The main feature of the proposed controller is that the adaptive controller is developed under the assumption that all of the nonlinear functions of the discrete-time flight system are not known accurately, whereas most previous works on flight system applications even in continuous time assume that only the nonlinear functions of fast dynamics are unknown. Neural networks learn through the recursive weight update rules that are derived from the discrete-time version of Lyapunov control theory. The boundness of the error states and neural networks weight estimation errors is also investigated by the discrete-time Lyapunov derivatives analysis. To show the effectiveness of the proposed control law, the approach is i]lustrated by applying to the nonlinear dynamic model of the high performance aircraft.

• Journal of the Society of Naval Architects of Korea
• /
• v.46 no.3
• /
• pp.303-312
• /
• 2009

Recently, requests for the accurate process planning using modeling and simulation technique are increasing in many engineering fields including shipbuilding industry. In this study, Combined DEVS(Discrete EVent System specification) and DTSS(Discrete Time System Specification) simulation kernel is developed, and an integration strategy of dynamics simulation module and graphics module is also implemented. To evaluate the efficiency and applicability of the simulation kernel and integration strategy, these are applied to the block erection simulation of offshore structures.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.57 no.3
• /
• pp.363-368
• /
• 2008

In this paper, the Resistive Companion Form(RCF) analysis method is applied to analyze small signal stability of power systems including thyristor controlled FACTS equipments such as SVC. The eigenvalue sensitivity analysis algorithm in discrete systems based on the RCF analysis method is presented and applied to the power system including SVC. As a result of simulation, the RCF analysis method is proved very effective to precisely calculate the variations of eigenvalues or newly generated unstable oscillation modes after periodic switching operations of SVC. Also the eigenvalue sensitivity analysis method based on the RCF analysis method enabled to precisely calculate eigenvalue sensitivity coefficients of controller parameters about the dominant oscillation mode after periodic switching operations in discrete systems. These simulation results are different from those of the conventional continuous system analysis method such as the state space equation and proved that the RCF analysis method is very effective to analyze the discrete power systems including periodically operated switching equipments such as SVC.

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

A mobile agent is an autonomous software agent capable of moving from one computer to another while performing its tasks. We view the agent as a discrete event system in the view of its computation and communication. This paper presents a methodology far modeling and simulation of such a mobile agent system as a discrete event system. The methodology is based on the Mobile Discrete Event System Specification (MDEVS) formalism and the associated simulation environment AgentSim which are previously developed by the authors. Within the methodology an atomic model represents dynamics of a mobile agent; a coupled model is modeled as mobile agent servers for representation of structural changes between atomic agents. Being based on the object-oriented environment the modeling methodology exploits inheritance of basic classes AtomicModel and CoupledModel provided by AgentSim.

• 전기의세계
• /
• v.30 no.12
• /
• pp.822-831
• /
• 1981

Many different schemes of the adaptive observer and controller have been developed for both continuous and discrete systems. In this paper we have presented a new scheme of the reduced order adaptive observer for the single input discrete linear time invariant plant. The output equation of the plant, is transformed into the bilinear form in terms of system parameters and the states of the state variable filters. Using the plant output equation the discrete implicit adaptive observer based on the similar philosophy to Nuyan and Carroll is derived and the parameter adaptation algorithm is derived based on the exponentially weighted least square method. The adaptive model following control system is also constructed according to the proposed observer scheme. The proposed observer and controller are rather than simple structure and have a fast adaptive algorithm, so it may be expected that the scheme is suitable to the practical application of control system design. The effectiveness of the algorithm and structure is illustrated by the computer simulation of a third order system. The simulation results show that the convergence speed is proportinal to the increasing of weighting factor alpha, and that the full order and reduced order observer have similar convergence characteristics.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.31 no.2
• /
• pp.19-27
• /
• 2008

This paper addresses determining the location of the distribution centers in a discrete dynamic distribution system. In discrete and finite time horizon, the demands of retailers are dynamic for the periods. Some locations among the retailers can be chosen for the role of the distribution centers at the beginning of each period. The distribution centers have to be located at the location of minimizing logistics cost. Logistics cost factors are the operation cost and the fixed cost of distribution center, and the transportation cost. The distribution centers of minimizing sum of operation cost, fixed cost and transportation cost are determined among retailers in each period for the planning period. A mathematical model was formulated and a dynamic programming based algorithm was developed. A numerical example was shown to explain our problem.

• Journal of the Korea Society for Simulation
• /
• v.21 no.4
• /
• pp.35-46
• /
• 2012

As complexity of real-time systems is being increased ad hoc approaches to analysis of such systems would have limitations in completeness and coverability for states space search. Formal means using a model-based approach would solve such limitations. This paper proposes a model-based formal method for logical analysis, such as safety and liveness, of real-time systems at a discrete event system level. A discrete event model for real-time systems to be analyzed is specified by DEVS(Discrete Event Systems Specification) formalism, which specifies a discrete event system in hierarchical, modular manner. Analysis of such DEVS models is performed by Communicating DEVS (C-DEVS) formalism of a timed global state transition specification and an associated analysis algorithm. The C-DEVS formalism and an associated analysis algorithm guarantees that all possible states for a given system are visited in an analysis phase. A case study of a safety analysis for a rail road crossing system illustrates the effectiveness of the proposed method of the model-based approach.

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

A model following control system(MFCS) can give general output signals following desired ones. In previous studies, a method of nonlinear MFCS was proposed by S.Okubo[1]. In this paper, the method of nonlinear MFCS will be extended to discrete time nonlinear systems. It is easy to extend the method to discrete time systems. But in the case .gamma.=1 discrete time systems, the proof becomes difficult, because the transfer function from f(v(k)) to v(k) can't be a positive real function. In this case, to ensure that internal states are stable, a new criterion is proposed.

• Journal of Korean Society of Transportation
• /
• v.14 no.1
• /
• pp.101-116
• /
• 1996

Increased attention has been paid in recent years to the need of traffic management for alleviating urban traffic congestion. This paper presents a discrete event modeling and simulation framework for analyzing the traffic flow. Traffic simulation models can be classified as being either microscopic and macroscopic models. The discrete event modeling and simulation technique can be basically employed to describe the macroscopic traffic simulation model. To do this, we have employed the System Entity Structure/Model Base (SES/MB) framework which integrates the dynamic-based formalism of simulation with the symbolic formalism of AI. The SES/MB framework supports to hierarchical, modular discrete event modeling and simulation environment. We also adopt the Symbolic DEVS (Discrete Event System Specification) to developed the automated analysis methodology for generating optimal signal light policy. Several simulation tests will demonstrates the techniques.

• The Transactions of the Korean Institute of Electrical Engineers
• /
• v.40 no.8
• /
• pp.774-781
• /
• 1991

This paper proposes an auto-tuning method of a discrete -PIC controllers which is based on the Ziegler and Nichols's PID Tuning Rule. This tunign rule is derived using the Pade's first order approximation and it prevents the performance degradation caused by the time-delay effect of zero order holder when the Ziegler-Nichols tuning rule is applied to a discrete PID controller. A simple and practical auto-tuning method is proposed through combining this discrete tuning rule with the relay control. The auto-tuning scheme is implemented on a microprocessor based system and is applied to a position control system to show the effectiveness of the discrete tuning rule.