• Journal of the Korean Operations Research and Management Science Society
• /
• v.42 no.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
• /
• v.30 no.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.10a
• /
• 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.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2005.11a
• /
• 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.

• Proceedings of the KIEE Conference
• /
• 2006.10c
• /
• 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
• /
• v.6 no.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.08a
• /
• 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
• /
• v.21 no.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.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.15 no.3
• /
• pp.324-329
• /
• 2005

In this paper, a robust $H\infty$ stabilization problem to a uncertain discrete-time nonlinear systems with time-delay via fuzzy static output feedback is investigated. The Takagj-Sugeno (T-S) fuzzy model is employed to represent an uncertain nonlinear system with time-delayed state. Then, the parallel distributed compensation technique is used for designing of the robust fuzzy controller. Using a single Lyapunov function, the globally asymptotic stability and disturbance attenuation of the closed-loop fuzzy control system are discussed. Sufficient conditions for the existence of robust $H\infty$ controllers are given in terms of linear matrix inequalities via similarity transform and congruence transform technique. We have shown the effectiveness and feasibility of the proposed method through the simulation.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.23 no.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.