• Journal of the Korea Society of Computer and Information
• /
• v.12 no.1 s.45
• /
• pp.17-24
• /
• 2007

Critical practicality problems are cause to search the presentation and contents according to user request and purpose in previous internet system. Recently, there are a lot of researches about dynamic adaptable ontology based system. We designed ontology based educational system which uses discrete probability and user profile. This system provided advanced usability of contents by ontology and dynamic adaptive model based on discrete probability distribution function and user profile in ontology educational systems. This models represents application domain to weighted direction graph of dynamic adaptive objects and modeling user actions using dynamically approach method structured on discrete probability function. Proposed probability analysis can use that presenting potential attribute to user actions that are tracing search actions of user in ontology structure. This approach methods can allocate dynamically appropriate profiles to user.

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

In this paper, we establish a new robust $H_{\infty}$ performance condition for uncertain discrete-time systems with convex polytopic uncertainties. We express the condition as a set of linear matrix inequalities (LMIs), which are used to check stability and $H_{\infty}$ disturbance attenuation level by a parameter-dependent Lyapunov matrix. We show that the new condition provides less conservative result than the existing ones which use single Lyapunov matrix. We also show that the robust $H_{\infty}$ state feedback design problem for such uncertain discrete-time systems can be easily dealt with using the approach. The key point in this paper is to propose a kind of decoupling between the Lyapunov matrix and the system matrices in the parameter-dependent matrix inequality by introducing one new matrix variable.

• Journal of Korean Institute of Industrial Engineers
• /
• v.27 no.4
• /
• pp.374-378
• /
• 2001

We present a discrete-time version of the distributional Little's law, of which the continuous-time version is well known. Then we extend it to the queue in which two or more customers may depart at the same time. As a demonstration, we apply this law to various discrete-time queues such as the standard Geom/G/1 queue, the Geom/G/1 queue with vacations, the multi-server Geom/D/c queue, and the bulk-service Geom/$G^b$/1 queue. As a result, we obtain the probability generating functions of the numbers in system/queue and the waiting times in system/queue for those queues.

• Proceedings of the KIEE Conference
• /
• 2005.10b
• /
• pp.267-269
• /
• 2005

This paper describes a consideration on the sampling in linearly time-varying (LTV) systems in view of the convenience in digital signal processing. The relation between a continuous-time and a discrete-time system models is investigated for a simple linear time-invariant system. Based on the results of the investigation, we first consider discrete-time models for LTV systems, Then the simplicity of the models in terms of microprocessor-based digital signal processing is compared.

• 제어로봇시스템학회:학술대회논문집
• /
• 1989.10a
• /
• pp.1069-1074
• /
• 1989

A discrete-time learning control for robotic manipulators is studied using its pulse transfer function. Firstly, discrete-time learning stability condition which is applicable to single-input two-outputs systems is derived. Secondly, stability of learning algorithm with position signal is studied. In this case, when sampling period is small, the algorithm is not stable because of an unstable zero of the system. Thirdly, stability of algorithm with position and velocity signals is studied. In this case, we can stabilize the learning control system which is unstable in learning with only position signal. Finally, simulation results on the trajectory control of robotic manipulators using the discrete-time learning control are shown. This simulation results agree well with the analytical ones.

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

In this paper a new approach to obtain the solution of the linear-quadratic Gaussian control problem for singularly perturbed discrete-time stochastic systems is proposed. The alogorithm proposed is based on exploring the previous results that the exact solution of the global discrete algebraic Riccati equations is found in terms of the reduced-order pure-slow and pure-fast nonsymmetric continuous-time algebraic Riccati equations and, in addition, the optimal global Kalman filter is decomposed into pure-slow and pure-fast local optimal filters both driven by the system measurements and the system optimal control input. It is shown that the optimal linear-quadratic Gaussian control problem for singularly perturbed linear discrete systems takes the complete decomposition and parallelism between pure-slow and pure-fast filters and controllers.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.17 no.3
• /
• pp.79-99
• /
• 1992

The DEVS (Discrete Event system Specification) formal model for discrete event simulation is a hierarchical, modular model. Because the DEVS formal model has a mathematical structure, it provides a theoretic background of discrete event simulation model. However, the DEVS formal model is difficult to understand because of its mathematical structure. Also, since the DEVS formal model is often constructed by heuristic, subjective method of model designer from the model, a systematic model built-in methodology does not exist. In this paper, we propose the model formalization methodology from an informal model to the DEVS formal model. For this formalization methodology, we introduce formal tools for model construction based on the DEVS ( from an informal model : Event Dependency Graph (EDG) for the event analysis and State Representation Graph(SRG) for the system state analysis.

• Proceedings of the KOSOMBE Conference
• /
• v.1995 no.05
• /
• pp.87-91
• /
• 1995

Combined models, specified by two or more modeling formalisms, can represent a wide variety of complex systems. This paper describes a methodology for the development of combined models in two model types of discrete events and continuous process. The methodology is based on transformation of continuous state space into discrete one to homomorphically represent dynamics of continuous processes in discrete events. As an example, a combined model of human heart is developed which Incorporates conventional differential equation formalism with Zeigler's DEVS(Discrete Event Specification System) [4]formalism.

• International Journal of Control, Automation, and Systems
• /
• v.2 no.4
• /
• pp.501-508
• /
• 2004

A new method to solve a Lyapunov equation for a discrete delay system is proposed. Using this method, a Lyapunov equation can be solved from a simple linear equation and N-th power of a constant matrix, where N is the state delay. Combining a Lyapunov equation and frequency domain stability, a new stability condition is proposed for a discrete state delay system whose state delay is not exactly known but only known to lie in a certain interval.

• Advances in nano research
• /
• v.15 no.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.