• International Journal of Control, Automation, and Systems
• /
• v.1 no.2
• /
• pp.184-193
• /
• 2003

Biaffine Matrix Inequality (BMI) is known to provide the most general framework in control synthesis, but problems involving BMI's are very difficult to solve because nonconvex optimization should be solved. In the previous paper, we proposed a new solver for problems involving BMI's using Evolutionary Algorithms (EA). In this paper, we solve several control synthesis examples such as Reduced-order control, Simultaneous stabilization, Multi-objective control, $H_{\infty}$ optimal control, Maxed $H_2$ / $H_{\infty}$control design, and Robust $H_{\infty}$ control. Each of these problems is formulated as the standard BMI form, and solved by the proposed algorithm. The performance in each case is compared with those of conventional methods.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2010.11a
• /
• pp.227-228
• /
• 2010

• 제어로봇시스템학회:학술대회논문집
• /
• 2002.10a
• /
• pp.59.1-59
• /
• 2002

. Contents 1 : Abstract and Introduction . Contents 2 : Choose the weighting function . Contents 3 : H-infini Optimization and Simulation . Contents 4 : Conclusion and Reference

• Proceedings of the IEEK Conference
• /
• 1998.10a
• /
• pp.1021-1024
• /
• 1998

Computer-aided design of VLSI circuits is usually carried out in three synthesis steps; high-level synthesis, logic synthesis and layout synthesis. Each synthesis step is further kroken into a few optimization problems. In this paper we study the area minimization problem in floorplanning(also known as the floorplan sizing problem). We propose the area minimization algorithms for general floorplans.

• Applied Chemistry for Engineering
• /
• v.32 no.6
• /
• pp.621-626
• /
• 2021

A sequential design of experiments was used to optimize MOF-801 synthesis process. For the initial screening, a general 2^k factorial design was selected followed by the central composition design, one of the response surface methods. A 2³ factorial design based on the molar ratio of fumaric acid, dimethylformamide (DMF), and formic acid was performed to select the more suitable response variable for the design of experimental method among the crystallinity and BET specific surface area of MOF-801. After performing 8 synthesis experiments designed by MINITAB 19 software, the characteristic analysis was performed using XRD analysis and nitrogen adsorption method. The crystallinity with R² = 0.999 was found to be more suitable for the experimental method than that of BET specific surface area. Based on analysis of variance (ANOVA), it was confirmed that the molar ratio of fumaric acid and formic acid was a major factor in determining the crystallinity of MOF-801. Through the response optimization and contour plot of two factors, the optimal molar ratio of ZrOCl₂·8H₂O : fumaric acid : DMF : formic acid was 1 : 1 : 39 : 35. In order to optimize the synthesis process, the central composition design on synthesis time and temperature was performed under the identical molar ratio of precursors. The results derived through the designed 9 synthesis experiments were calculated using the quadratic model equation. Thus, the maximum crystallinity of MOF-801 predicted under the synthesis time and temperature of 7.8 h and 123 ℃, respectively.

• Journal of the Korean Institute of Telematics and Electronics A
• /
• v.29A no.4
• /
• pp.64-73
• /
• 1992

This paper presents the design of multi-level logic optimization algorithm and the development of the SMILE system based on the algorithm. Considering the fanin constraints in algorithmic level, SMILE performs global and local optimization in a predefined sequence using heuristic information. Designed under the Sogang Silicon Compiler design environment, SMILE takes the SLIF netlist or Berkeley equation formats obtained from high-level synthesis process, and generates the optimized circuits in the same format. Experimental results show that SMILE produces the promising results for some circuits from MCNC benchmarks, comparable to the popularly used multi-level logic optimization system, MIS.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.16 no.3
• /
• pp.571-578
• /
• 2012

In this paper, we propose two main points. The first is the constraint for logic synthesis, and the second is an efficient logic synthesis method. Logic synthesis is a process to obtain the gate-level netlist from RTL (register transfer level) codes using logic mapping and optimization with the specified constraints. The result of logic synthesis is tightly dependent on constraint and logic synthesis method. Since the size and timing can be dramatically changed by these, we should precisely consider them. In this paper, we present the considering items in the process of logic synthesis by using our experience and experimental results. The proposed techniques was applied to a circuit with the hardware resource of about 650K gates. The synthesis time for the hybrid method was reduced by 47% comparing the bottom-up method and It has better timing property about slack than top-down method.

• Journal of the Korea Computer Graphics Society
• /
• v.25 no.3
• /
• pp.133-142
• /
• 2019

In physics-based character animation, trajectory optimization has been widely adopted for automatic motion synthesis, through the prediction of an optimal sequence of future states of the character based on its system dynamics model. In general, the system dynamics model is neither in a closed form nor differentiable when it handles the contact dynamics between a character and the environment with rigid body collisions. Employing smoothed contact dynamics, researchers have suggested efficient trajectory optimization techniques based on numerical differentiation of the resulting system dynamics. However, the numerical derivative of the system dynamics model could be inaccurate unlike its analytical counterpart, which may affect the stability of trajectory optimization. In this paper, we propose a novel method to derive the closed-form derivative for the system dynamics by properly approximating the contact model. Based on the resulting derivatives of the system dynamics model, we also present a model predictive control (MPC)-based motion synthesis framework to robustly control the motion of a biped character according to on-line user input without any example motion data.

• Journal of Institute of Control, Robotics and Systems
• /
• v.9 no.10
• /
• pp.832-835
• /
• 2003

The objective of this study is to investigate the possibility of chemical process synthesis purely based on mathematical programming when given an objective, feed conditions, product specifications, and model equations for available process units. A method based on a state space approach is proposed, and applied to an example problem with a reactor, a heat exchanger, and a separator. The results indicate that a computer can automatically synthesize an optimal process without any heuristics or expertise in process design provided that global optimization techniques are improved to be suitable for large problems.

• 제어로봇시스템학회:학술대회논문집
• /
• 2004.08a
• /
• pp.1870-1873
• /
• 2004

The objective of this study is to investigate the possibility of chemical process synthesis purely based on mathematical programming when given an objective, feed conditions, product specifications, and model equations for available process units. A method based on a state space approach is proposed, and applied to an example problem with a reactor, a heat exchanger, and a separator. The results indicate that a computer can automatically synthesize an optimal process without any heuristics or expertise in process design provided that global optimization techniques are improved to be suitable for large problems.