• 한국경영과학회지
• /
• 제42권3호
• /
• pp.1-12
• /
• 2017

In this paper, we generalize lifted inequalities to a 0-1 mixed-integer bilinear covering set with linear terms. This work is motivated by the observation that Generalized Bilinear Inequality (GBI) occurs in the Branch and Bound process. We find some conditions and prove the subadditivity of lifting functions for lifting to be sequence-independent. Using the theoretical results, we develop facet-defining inequalities for a GBI-defined set through three steps of lifting.

• Korean Journal of Mathematics
• /
• 제30권4호
• /
• pp.561-569
• /
• 2022

In this paper, we study the generalization of the Banach contraction principle in the vector space, involving four rational square terms in the inequality, by using the notation of bilinear functional. We also present an extension of Selberg's inequality to vector space.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2003년도 ICCAS
• /
• pp.898-902
• /
• 2003

For linear descriptor systems, we consider the $H_{INFTY}$ controller design problem via output feedback. Both static output feedback and dynamic one are discussed. First, in the case of static output feedback, we reduce our control problem to solving a bilinear matrix inequality (BMI) with respect to the controller coefficient matrix, a Lyapunov matrix and a matrix related to the descriptor matrix. Under a matching condition between the descriptor matrix and the measured output matrix (or the control input matrix), we propose setting the Lyapunov matrix in the BMI as being block diagonal appropriately so that the BMI is reduced to LMIs. For fixed-order dynamic $H_{INFTY}$ output feedback, we formulate the control problem equivalently as the one of static output feedback design, and thus the same approach can be applied.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2005년도 추계학술대회 학술발표 논문집 제15권 제2호
• /
• pp.91-94
• /
• 2005

This paper presents a new linear- matrix- inequality- basedintelligent digital redesign (LMI-based IDR) technique to match he states of the analog and the digital control systems at the intersampling instants as well as the sampling ones. The main features of the proposed technique are: 1) the multirate control is employed, and the control input is changed N times during one sampling period; 2) The proposed IDR technique is based on the compensated bilinear transformation.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2006년 학술대회 논문집 정보 및 제어부문
• /
• pp.220-222
• /
• 2006

This paper presents intelligent digital redesign method of global approach for hybrid state space fuzzy-model-based controllers. For effectiveness and stabilization of continuous-time uncertain nonlinear systems under discrete-time controller, Takagi-Sugeno(TS) fuzzy model is used to represent the complex system. And global approach design problems viewed as a convex optimization problem that we minimize the error of the norm bounds between nonlinearly interpolated lineal operators to be matched. Also, by using the bilinear and inverse bilinear approximation method, we analyzed nonlinear system's uncertain parts more precisely. When a sampling period is sufficiently small, the conversion of a continuous-time structured uncertain nonlinear system to an equivalent discrete-time system have proper reason. Sufficiently conditions for the global state-matching of the digitally controlled system are formulated in terms of linear matrix inequalities (LMIs). Finally, a T-S fuzzy model for the chaotic Lorentz system is used as an example to guarantee the stability and effectiveness of the proposed method.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제6권2호
• /
• pp.127-137
• /
• 2006

This paper presents an $H_{\infty}$ controller synthesis method for discrete time fuzzy dynamic systems based on a piecewise smooth Lyapunov function. The basic idea of the proposed approach is to construct controllers for the fuzzy dynamic systems in such a way that a Piecewise smooth Lyapunov function can be used to establish the global stability with $H_{\infty}$ performance of the resulting closed loop fuzzy control systems. It is shown that the control laws can be obtained by solving a set of Bilinear Matrix Inequalities (BMIs). An example is given to illustrate the application of the proposed method.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2004년도 ICCAS
• /
• pp.658-662
• /
• 2004

This paper develops a stability analysis and controller synthesis methodology for a continuous-time affine Takagi-Sugeno (T-S) fuzzy systems with parametric uncertainties. Affine T-S fuzzy system can be an advantage because it may be able to approximate nonlinear functions to high accuracy with fewer rules than the homogeneous T-S fuzzy systems with linear consequents only. The analysis is based on Lyapunov functions that are continuous and piecewise quadratic. The search for a piecewise quadratic Lyapunov function can be represented in terms of bilinear matrix inequalities (BMIs). A simulation example is given to illustrate the application of the proposed method.

• Communications for Statistical Applications and Methods
• /
• 제21권3호
• /
• pp.245-251
• /
• 2014

Two exponential inequalities are established for a wide class of general weakly dependent sequences of random variables, called ${\psi}$-weakly dependent process which unify weak dependence conditions such as mixing, association, Gaussian sequences and Bernoulli shifts. The ${\psi}$-weakly dependent process includes, for examples, stationary ARMA processes, bilinear processes, and threshold autoregressive processes, and includes essentially all classes of weakly dependent stationary processes of interest in statistics under natural conditions on the process parameters. The two exponential inequalities are established on more general conditions than some existing ones, and are proven in simpler ways.

• 한국지능시스템학회논문지
• /
• 제15권3호
• /
• pp.324-329
• /
• 2005

본 논문에서는 시간 지연을 갖는 이산 시간 비선형 시스템을 $H\infty$ 의미에서 안정하게 하는 정적 출력 제한 퍼지 제어기 설계를 제시한다. 먼저 대상이 되는 비선형 시스템은 Takagi-Sugeno 퍼지 모델로 표현 되어진다. 그리고 parallel distributed compensation technique을 이용하여 퍼지 제어기의 형태를 만든다. 하나의 Lyapunov 함수를 정하여서 폐루프 시스템의 전역 점근적 안정성과 외란에 대한 강인성을 bilinear matrix inequality 형태로 제시한다. 그리고 합동변환법과 동질성 변환법을 통해 이것을 선형 행렬 부등식 (linear matrix inequality) 으로 표현한다. 제안된 방법의 효율성과 가능성을 보여주기 위해 한 예제를 포함한다.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제23권2호
• /
• pp.65-92
• /
• 2019

We survey a recently developed immersed finite element method (IFEM) for the interface problems. The IFEM uses structured grids such as uniform grids, even if the interface is a smooth curve. Instead of fitting the curved interface, the bases are modified so that they satisfy the jump conditions along the interface. The early versions of IFEM [1, 2] were suboptimal in convergence order [3]. Later, the consistency terms were added to the bilinear forms [4, 5], thus the scheme became optimal and the error estimates were proven. For elasticity problems with interfaces, we modify the Crouzeix-Raviart based element to satisfy the traction conditions along the interface [6], but the consistency terms are not needed. To satisfy the Korn's inequality, we add the stabilizing terms to the bilinear form. The optimal error estimate was shown for a triangular grid. Lastly, we describe the multigrid algorithms for the discretized system arising from IFEM. The prolongation operators are designed so that the prolongated function satisfy the flux continuity condition along the interface. The W-cycle convergence was proved, and the number of V-cycle is independent of the mesh size.