• 한국컴퓨터정보학회논문지
• /
• 제26권12호
• /
• pp.29-43
• /
• 2021

본 연구에서 제약식프로그래밍을 이용하여 제약식 있는 동적계획법 모형을 푸는 한 방법을 제시한다. 현재 제약식 있는 동적계획법을 다루는 방법은 각 단계별 제약식들의 상태를 일반적인 동적계획법의 상태공간에 추가하여 마치 제약식이 없는 동적계획법 방식을 적용하는데 반해, 이 연구에서 제시하는 방식은 제약식의 상태가 제약식프로그래밍의 변수 도메인으로 표현되고 저장된다. 계산에 있어서도 일반적인 동적계획법의 벨만방정식의 해법과 함께 제약식을 다루기 위한 제약식프로그래밍의 확산-추론 방법을 사용하는 하이브리드 방식을 따른다. 이 두가지 방식의 비교를 위해 특별히 장기 자동차 렌탈 문제를 제시하고 이 문제의 단순화된 모형을 중심으로 다른 방식으로 해결하는 과정을 보고 그 장단점을 논한다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2005년도 ICCAS
• /
• pp.2548-2551
• /
• 2005

In this paper, a robust receding horizon finite impulse response(FIR) filter is proposed for a class of linear discrete time systems with uncertainty satisfying an integral quadratic constraint. The robust state estimation problem involves constructing the set of all possible states at the current time consistent with given system input, output measurements and the integral quadratic constraint.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2001년도 춘계학술대회 논문집
• /
• pp.267-270
• /
• 2001

A lot of efforts have been made to analyze the performance of the vehicle equipped with automatic transmission through simulation. It might be necessary to understand the different types of transmissions, i.e., different power flows, for different models. If there is a module that can be applied to different types of automatic transmission, it could be helpful to transmission-related engineers. This study has started up from this idea. The common bond graph has been obtained from several types of the automatic transmission. The overall generalized equations and kinematic constraint equations have been derived using virtual power sources on common bond graph. They are used to derive state equations and constraints. These equations have been applied as an application to the vehicle equipped with two simple planetary gear set type of Ravigneaux gear type automatic transmission. The state equation, kinematic constraints, and dynamic constraints have been derived in every gear and shift operation using overall generalized equations and kinematic constraint equations. Simulations for constraint speed running, standing-start running, rolling-start running, and LA-4 mode have been conducted to analyze the performance of the vehicle powertrain using GVPS(Generalized Vehicle Powertrain Simulation) program wit pull down menus.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2000년도 제15차 학술회의논문집
• /
• pp.492-492
• /
• 2000

This paper proposes LQ optimal controller design method based on the modal decomposition. Here, the design problem of linear time-invariant systems is considered by using pencil model. The mathematical model based on matrix pencil is one of the most general representation of the system. By adding some conditions the model can be reduced to traditional system models. In pencil model, the state feedback is considered as an algebraic constraint between the state variable and the control input variable. The algebraic constraint on pencil model is called purely static mode, and is included in infinite mode. Therefore, the information of the constant gain controller is included in the purely static mode of the augmented system which consists of the plant and the control conditions. We pay attention to the coordinate transformation matrix, and LQ optimal controller is derived from the algebraic constraint of the internal variable. The proposed method is applied to the numerical examples, and the results are verified.

• Journal of Mechanical Science and Technology
• /
• 제16권10호
• /
• pp.1239-1245
• /
• 2002

A formulation which seeks steady-state equilibrium positions of constrained multibody systems driven by constant generalized speeds is presented in this paper. Since the relative coordinates are employed, constraint equations at cut joints are incorporated into the formulation. To obtain the steady-state equilibrium position of a multibody system, nonlinear equations are derived and solved iteratively. The nonlinear equations consist of the force equilibrium equations and the kinematic constraint equations. To verify the effectiveness of the proposed formulation, two numerical examples are solved and the results are compared with those of a commercial program.

• ETRI Journal
• /
• 제28권6호
• /
• pp.815-818
• /
• 2006

In the global Internet, a constraint-based routing algorithm performs the function of selecting a routing path while satisfying some given constraints rather than selecting the shortest path based on physical topology. It is necessary for constraint-based routing to disseminate and update link state information. The triggering policy of link state updates significantly affects the volume of update traffic and the quality of services (QoS). In this letter, we propose an adaptive triggering policy based on link-usage statistics in order to reduce the volume of link state update traffic without deterioration of QoS. Also, we evaluate the performance of the proposed policy via simulations.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1988년도 전기.전자공학 학술대회 논문집
• /
• pp.521-524
• /
• 1988

This paper describes BSDL(Behavioral/Structural Description Language), CDTF(Control Data Text File) and state synthesizer built for use in ICSC(InCheon Silicon Compiler). BSDL describes structral and behaviral specifications of an ASIC(Application Specific IC) for digital system design. ICSC's paser generates CDTF consists of if-then-else, arithmetic and data transfer statement according to each BSDL statement. State synthesizer generates CCG(Control Constraint Graph) in consideration of execution of statement and generates VCG (Variable Constraint Graph) in consideration use of variable generation and use of variable. Also, it involves allocating algorithm operation nodes in the data path and the control path to machine states with minimum state number and as small area as possible.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제16권6호
• /
• pp.2044-2059
• /
• 2022

Recent works have shown that the geometric constraint can be harnessed to boost the performance of CNN-based camera localization. However, the existing strategies are limited to imposing image-level constraint between pose pairs, which is weak and coarse-gained. In this paper, we introduce a pixel-level epipolar geometry constraint to vanilla localization framework without the ground-truth 3D information. Dubbed EpiLoc, our method establishes the geometric relationship between pixels in different images by utilizing the epipolar geometry thus forcing the network to regress more accurate poses. We also propose a variant called EpiSingle to cope with non-sequential training images, which can construct the epipolar geometry constraint based on a single image in a self-supervised manner. Extensive experiments on the public indoor 7Scenes and outdoor RobotCar datasets show that the proposed pixel-level constraint is valuable, and helps our EpiLoc achieve state-of-the-art results in the end-to-end camera localization task.

• 한국정밀공학회지
• /
• 제22권4호
• /
• pp.128-135
• /
• 2005

Overhead crane systems consist of trolley, girder, rope, objects, trolley motor, girder motor, and hoist motor. The dynamic system of these systems becomes a nonlinear state equations. These equations are obtained by the nonlinear equations of motion which are derived from transfer functions of driving motors and equations of motion for objects. From these state equations, Lyapunov functions of overhead crane systems are derived from integral method. These functions secure stability of autonomous overhead crane systems. Also constraint equations of driving motors of trolley, girder, and hoist are derived from these functions. From the results of computer simulation, it is founded that overhead crane systems is secure.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2000년도 제15차 학술회의논문집
• /
• pp.192-192
• /
• 2000

In this paper, a platoon merging is considered as a remote-controlled system with the state represented by a stochastic process. In this system, it becomes to encounter situations where a single decision maker controls a large number of subsystems, and observation and control signals are sent over a communication channel with finite capacity and significant transmission delays. Unlike classical estimation problem in which the observation is a continuous process corrupted by additive noise, there is a constraint that the observation must be coded and transmitted over a digital communication channel with finite capaci쇼. A recursive coder-estimator sequence is a state estimation scheme based on observations transmitted with finite communication capacity constraint. Using the coder-estimator sequence, the remote control station designs a feedback controller. In this paper, we introduce a stochastic model for the lead vehicle in a platoon of vehicles considering the angle between a road surface and a horizontal plane as a stochastic process. The simulation results show that the inter-vehicle distance and the deviation from the desired inter-vehicle distance are well regulated.