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

In this paper, sliding mode controller for discrete-time nonlinear systems with uncertainties and disturbances are proposed. The concept of time-delay control (TDC) which consists of estimating the uncertain dynamics of the system through past observations of the system response is used. The proposed controller guarantees that the closed-loop system states are globally uniformly ultimately bounded (GUUB). It is also shown that the closed-loop system states are globally uniformly asymptotically stable (GUAS) if uncertainties are constant.

• 제어로봇시스템학회:학술대회논문집
• /
• 1996.10b
• /
• pp.972-975
• /
• 1996

This paper presents a sufficient condition for robust stability of discrete-time systems with delayed nonlinear perturbations. Using state evolution method, the bound on the norms of nonlinear perturbation which guarantees the exponential stability of the systems, is found. The numerical example is given to illustrate the results.

• Journal of Institute of Control, Robotics and Systems
• /
• v.21 no.3
• /
• pp.233-236
• /
• 2015

In this paper, a nonlinear optimization problem is proposed to obtain a structured static output feedback controller for discrete time linear systems. The proposed optimization problem has LMI (Linear Matrix Inequality) constraints and a non-convex objective function. Using the conditional gradient method, we can obtain suboptimal solutions of the proposed optimization problem. Numerical examples show the effectives of the proposed approach.

• 제어로봇시스템학회:학술대회논문집
• /
• 2000.10a
• /
• pp.172-172
• /
• 2000

In this paper, we propose a new discrete-time sliding mode controller for reference tracking. Stability of tracking error is analyzed. Design method of sliding surface for tracking control is proposed. Simulation and experimental results are included to show the effectiveness of the proposed method.

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

This paper presents a discrete-time sliding mode control method for linear time-invariant systems with matched uncertainties. In this paper, we suggest a method of adding a command generator using input shaping filter to a discrete-time sliding mode controller. We design the number of steps required to reach the sliding layer and the magnitude of a control input, respectively using the shaping filter. Therefore we can minimize the excitation of the resonance mode and increase the tracking performance of a system. Simulation results are included to show its effectiveness.

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

• Journal of Institute of Control, Robotics and Systems
• /
• v.18 no.6
• /
• pp.509-512
• /
• 2012

This paper presents the state feedback control design for discrete time nonlinear systems where there exists a time delay in input. It is shown that under some boundedness condition, the time delay nonlinear systems can be transformed into the time delay linear systems with time varying parameters. Sufficient conditions for existence of stabilizing state feedback controller are characterized by linear matrix inequalities. Finally, an illustrative example is given in order to show the effectiveness of our design method.

• The Transactions of the Korean Institute of Electrical Engineers
• /
• v.37 no.7
• /
• pp.484-489
• /
• 1988

Sufficient conditions concerning the perturbation region of system parameters, which guarantee the asymptotic stability of linear time- varying systems, are presented. These conditions are obtained by Lyapunov function approach for continuous-time and discrete-time systems. Also, a computational algorithm using nonlinear programming is proposed for finding the maximum perturbation region which satisfies the sufficient condition for the continuous-time systems. The technique of finding the solution for the continuous-time systems can also be applied to the discrete-time systems. In the continuous-time case, it is shown by an example that the method proposed in this paper yields much larger perturbation region of parameters than other previously reported results. An example of the perturbation region of system paramters for the discrete-time system is also given.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.62 no.4
• /
• pp.529-535
• /
• 2013

This paper considers the problem of robust stability for uncertain discrete-time interval time-varying delayed descriptor systems using any combinations of quantization and overflow nonlinearities. First, delay-dependent linear matrix inequality (LMI) condition for discrete-time descriptor systems with time-varying delay and quantization/overflow nonlinearities is presented by proper Lyapunov function. Second, it is shown that the obtained condition can be extended into descriptor systems with uncertainties such as norm-bounded parameter uncertainties and polytopic uncertainties by some useful lemmas. The proposed results can be applied to both descriptor systems and non-descriptor systems. Finally, numerical examples are shown to illustrate the effectiveness and less conservativeness.

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