• 전력전자학회논문지
• /
• 제25권4호
• /
• pp.303-310
• /
• 2020

Estimating the accurate internal state of lithium ion batteries to increase their safety and efficiency is crucial. Various algorithms are used to estimate the internal state of a lithium ion battery, such as the extended Kalman filter and sliding mode observer. A state-space model is essential in using algorithms to estimate the internal state of a battery. Two principal methods are used to express the state-space model, namely, continuous time and discrete time. In this work, the extended Kalman filter is employed to estimate the internal state of a battery. Moreover, this work presents and analyzes the estimation performance of algorithms consisting of a continuous time state-space model and a discrete time state-space model through static and dynamic profiles.

• 제어로봇시스템학회논문지
• /
• 제13권4호
• /
• pp.352-357
• /
• 2007

This paper deals with modeling method and application of Fuzzy Discrete Event System(FDES). FDES have characteristics which Crisp Discrete Event System(CDES) can't deals with and is constituted with the events that is determined by vague and uncertain judgement like biomedical or traffic control. We proposed Real-time Fuzzy Temporal Logic Framework(RFTLF) to model Fuzzy Discrete Event System. It combines Temporal Logic Framework with Fuzzy Theory. We represented the model of traffic signal systems for intersection to have the property of Fuzzy Discrete Event System with Real-time Fuzzy Temporal Logic Framework and designed a traffic signal controller for smooth traffic flow. Moreover, we proposed the method to find the minimum-time route to reach the desired destination with information obtained in each intersection. In order to evaluate the performance of Real-time Fuzzy Temporal Logic Framework model proposed in this paper, we simulated unit-time extension traffic signal controller model of the latest signal control method on the same condition.

• 한국시뮬레이션학회논문지
• /
• 제17권4호
• /
• pp.219-227
• /
• 2008

DEVS 형식론은 이산 사건 시스템을 계층적이고 모듈러하게 표현할 수 있다. MATLAB/Simulink는 연속 시스템과 이산 시간 시스템을 모델링하고 시뮬레이션을 수행하는 데 널리 쓰인다. 본 논문은 MATLAB/Simulink 환경에서 DEVS 형식론을 구현하는 방법론을 제안한다. 본 논문에서 제안하는 방법론을 이용하여MATLAB/Simulink에서 제공하는 다양한 공학 방정식과 알고리즘을 사용할 수 있다. 또한 동일한 시뮬레이션 환경에서 연속 시스템과 이산 사건 시스템이 혼합된 하이브리드 시스템에 대한 시뮬레이션을 수행할 수 있다. 이를 위해 본 논문은 Simulink-DEVS 모델과 이 모델을 시뮬레이션을 수행하는 데 필요한 시간 진행 알고리즘을 제안한다. 특히 시간 진행 알고리즘은 시스템의 유형에 상관없이 적절한 시간 진행을 수행한다. 두 가지 실험 결과를 통해 본 논문에서 제안하는 방법론의 효용성을 입증한다.

• Advances in nano research
• /
• 제15권1호
• /
• pp.25-34
• /
• 2023

This paper investigates the dynamics and stability of steady states in a continuous and discrete-time single-mode laser system. By using an explicit criteria we explored the Neimark-Sacker bifurcation of the single mode continuous and discrete-time laser model at its positive equilibrium points. Moreover, we discussed the parametric conditions for the existence of period-doubling bifurcations at their positive steady states for the discrete time system. Both types of bifurcations are verified by the Lyapunov exponents, while the maximum Lyapunov ensures chaotic and complex behaviour. Furthermore, in a three-dimensional discrete-time laser model, we used a hybrid control method to control period-doubling and Neimark-Sacker bifurcation. To validate our theoretical discussion, we provide some numerical simulations.

• 한국정보통신학회논문지
• /
• 제27권1호
• /
• pp.135-138
• /
• 2023

In this paper, we study real-time error in the context of monitoring a binary information source through a delay system. To derive the average real-time error, we model the delay system as a discrete time Geo/D/1/1 queueing model. Using a discrete time three-dimensional Markov chain with finite state space, we analyze the queueing model. We also perform some numerical analysis on various system parameters: state transition probabilities of binary information source; transmission times; and transmission frequencies. When the state changes of the information source are positively correlated and negatively correlated, we investigate the relationship between transmission time and transmission frequency.

• 대한전자공학회논문지
• /
• 제25권12호
• /
• pp.1618-1624
• /
• 1988

In this paper, a robust discrete model reference adaptive controller is proposed using a generalized model reference adaptive algorithm for single-input single-output discrete systems. A signal dependent time-varying dead-zone is employed in a generalized adaptive control structure. This adaptive controller is shown to assure the boundedness of the signals of the system even in the presence of bounded external disturbance.

• 대한전기학회논문지:전력기술부문A
• /
• 제48권11호
• /
• pp.1441-1447
• /
• 1999

A discrete time domain modeling is presented for the pulse-width modulated series resonant converter (PWM-SRC) with a discontinuous current mode. This nonlinear system is linearized about its equilibrium state to obtain a linear discrete time model for the investigation of small signal performances such as the stability and transient response. The usefulness of this small signal model is verified through the dynamic simulation.

• 제어로봇시스템학회논문지
• /
• 제20권11호
• /
• pp.1142-1146
• /
• 2014

This paper addresses on a $H_{\infty}$ sampled-data stabilization of a Takagi-Sugeno (T-S) fuzzy system. The sampled-data stabilization problem is formulated as a discrete-time stabilization one via a direct discrete-time design approach. It is shown that the sampled-data fuzzy control system is asymptotically stable whenever its exactly discretized model is asymptotically stable. Based on an exact discrete-time model, sufficient design conditions are derived in the format of linear matrix inequalities (LMIs). An example is provided to illustrate the effectiveness of the proposed methodology.

• 한국지능시스템학회논문지
• /
• 제26권4호
• /
• pp.308-315
• /
• 2016

본 논문은 이산시간 장주기모델로 구성된 다개체시스템의 타카기-수게노(Takagi-Sugeno: T-S) 퍼지 군집제어 기법을 제안한다. 이산시간 모델은 오일러(Euler) 방법을 이용하여 유도한다. 이에 대한 T-S 퍼지 모델은 피드백 선형화 기법을 통해 구성하며, 이를 점근적으로 안정화하기 위한 퍼지제어기를 설계한다. 제어기 설계조건은 선형행렬부등식의 형태로 표현된다.

• 한국시뮬레이션학회논문지
• /
• 제21권4호
• /
• pp.35-46
• /
• 2012

실시간 시스템의 복잡도가 증가함에 따라 임시방편적 시스템 해석 방법은 시스템 동작 영역 전체를 완전하게 분석하는 데는 한계가 있다. 모델링을 기반으로 한 정형 기법은 그러한 한계점을 극복 할 수 있다. 본 논문은 모델 기반 정형 기법을 이용하여 실시간 시스템의 안전성 및 필연성 등과 같은 논리적 타당성을 이산 사건 모델 수준에서 분석하는 방법을 제안한다. 먼저, 분석 대상 실시간 시스템은 이산사건 수준에서 계층적으로 모듈화하여 모델을 명세하는 수학적 형식론인 DEVS (Discrete Event Systems Specification) 형식론으로 기술된다. 다음으로, 기술된 DEVS 모델은 시간 명세가 포함된 전역 상태 공간을 표현하는 C-DEVS (Communicating DEVS) 형식론으로 표현한 후 C-DEVS 형식론의 해석 알고리즘을 통해 시스템 동작을 분석된다. 제안된 C-DEVS 형식론 및 해석 알고리즘은 주어진 시스템의 동작 특성을 분석하는 과정에서 시스템의 상태 공간을 완전하게 빠짐없이 탐색하는 것을 보장한다. 간단한 건널목 제어 시스템의 안전성 분석 사례 연구를 통하여 제안된 모델 기반 해석 기법의 효율성을 예시 하였다.