• Journal of applied mathematics & informatics
• /
• v.29 no.5_6
• /
• pp.1157-1165
• /
• 2011

The Karush-Kuhn-Tucker (KKT) necessary optimality conditions for nonlinear differentiable programming problems are also sufficient under suitable convexity assumptions. The KKT conditions in multiobjective programming problems with interval-valued objective and constraint functions are derived in this paper. The main contribution of this paper is to obtain the Pareto optimal solutions by resorting to the sufficient optimality condition.

• Journal of the Korean Mathematical Society
• /
• v.37 no.4
• /
• pp.625-643
• /
• 2000

In this paper we formulate an optimal control problem governed by time-delay Volterra integral equations; the problem includes control constraints as well as terminal equality and inequality constraints on the terminal state variables. First, using a special type of state and control variations, we represent a relatively simple and self-contained method for deriving new necessary conditions in the form of Pontryagin minimum principle. We show that these results immediately yield classical Pontryagin necessary conditions for control processes governed by ordinary differential equations (with or without delay). Next, imposing suitable convexity conditions on the functions involved, we derive Mangasarian-type and Arrow-type sufficient optimality conditions.

• Journal of applied mathematics & informatics
• /
• v.28 no.5_6
• /
• pp.1535-1544
• /
• 2010

Sufficient optimality conditions for a class of generalized non-differentiable fractional optimization programming problems are established. Moreover, we prove the weak and strong duality theorems under (V, $\rho$)-invexity assumption.

• Proceedings of the KIEE Conference
• /
• 1992.07a
• /
• pp.386-390
• /
• 1992

Algorithmic or kinematic singularities are inevitably a introduced if optimality criteria or augmented kinematic equations are used to resolve the redundancy of almost any manipulator with rotary joints. In this paper, a sufficient condition for a singularity-free optimal solution of the kinematic control of a redundant manipulator is derived and, specifically, algorithmic singularities are analyzed for optimality-based methods. A singularity-free space (SFS) to characterize the performance of a secondary task for a redundant manipulator using the sufficient condition for a redundant manipulator is defined. The SFS is a set of regions classified by the loci of configurations satisfying the inflection condition for manipulability measure in the Configuration space. Using SFS, the topological property of the Configuration space and the invertible workspace without singularities are analyzed.

• Journal of applied mathematics & informatics
• /
• v.27 no.1_2
• /
• pp.365-374
• /
• 2009

Under certain conditions, we use augmented Lagrangians to transform a class of generalized semi-infinite min-max problems into common semi-infinite min-max problems, with the same set of local and global solutions. We give two conditions for the transformation. One is a necessary and sufficient condition, the other is a sufficient condition which can be verified easily in practice. From the transformation, we obtain a new first-order optimality condition for this class of generalized semi-infinite min-max problems.

• Bulletin of the Korean Mathematical Society
• /
• v.23 no.2
• /
• pp.141-148
• /
• 1986

In [1], M. Guignard considered a constraint set in a Banach space, which is similar to that in [2] and gave a first order necessary optimality condition which generalized the Kuhn-Tucker conditions [3]. Sufficiency is proved for objective functions which is either pseudoconcave [5] or quasi-concave [6] where the constraint sets are taken pseudoconvex. In this note, we consider a psedoconvex programming problem in a Hilbert space. Constraint set in a Hillbert space being pseudoconvex and the objective function is restrained by an operator equation. Then we use the methods similar to that in [1] and [6] to obtain a necessary and sufficient optimality condition.

• Journal of the Korean Mathematical Society
• /
• v.44 no.4
• /
• pp.971-985
• /
• 2007

A sequential optimality condition characterizing the efficient solution without any constraint qualification for an abstract convex vector optimization problem is given in sequential forms using subdifferentials and ${\epsilon}$-subdifferentials. Another sequential condition involving only the subdifferentials, but at nearby points to the efficient solution for constraints, is also derived. Moreover, we present a proposition with a sufficient condition for an efficient solution to be properly efficient, which are a generalization of the well-known Isermann result for a linear vector optimization problem. An example is given to illustrate the significance of our main results. Also, we give an example showing that the proper efficiency may not imply certain closeness assumption.

• Journal of Institute of Control, Robotics and Systems
• /
• v.20 no.5
• /
• pp.526-532
• /
• 2014

In this paper, we present and analyze a LQ (Linear Quadratic) inverse optimal state-consensus protocol for continuous-time multi-agent systems with undirected graph topology. By Lyapunov analysis of the state-consensus error dynamics, we show the sufficient conditions on the algebraic connectivity of the graph to guarantee LQ inverse optimality and closed-loop stability. A more relaxed stability condition is also provided in terms of the algebraic connectivity. Finally, a formation control protocol for multiple mobile robots is proposed based on the target LQ inverse optimal consensus protocol, and the simulation results are provided to verify the performance of the proposed LQ inverse formation control method.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.11 no.1
• /
• pp.181-190
• /
• 2007

This paper presents a collision avoidance system for intelligent ship. Unlike collision avoidance system of other unmanned vehicles, the collision avoidance system for intelligent ship aims at not only deriving a reasonable and safe path to the goal but also keeping COLRECs(International Regulations for Preventing Collisions at Sea). The heuristic search based on the BK-products is adopted to achieve the general purpose of collision avoidance system; deriving a reasonable and safe path. The rule of action to avoid collision is adopted for the other necessary and sufficient condition; keeping the COLREGs. The verification of proposed collision avoidance system is performed with scenarios that represent encounter situations classified in the COLREGs, then it is compared with $A^{\ast}$ search method in view of optimality and safety. The analysis of simulation result revels that the proposed collision avoidance system is practical and effective candidate for real-time collision avoidance system of intelligent ship.