• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권4호
• /
• pp.342-356
• /
• 2000

주어진 프로그램에서 예외상황(exception)을 발생시키는 테스트 데이타를 자동으로 생성해주는 분석 방법을 제안한다. 분석 결과로 얻은 테스트 데이타를 사용하여, 프로그램 내에서 발생한 예외상황들이 프로그래머의 의도대로 처리되는지를 검사할 수 있다. 본 논문에서 제안하는 분석 방법은 입력으로 받은 프로그램에서 특정 예외상황이 발생한다는 조건을 시작으로 하여, 프로그램의 입력 값에 대한 제약식(constraints)을 만들어간다. 이 분석 방법이 옳다는 증명에 의해서, 분석 결과로 얻은 테스트 데이타를 입력으로 하여 프로그램을 수행시키면 지정한 예외상황이 항상 발생한다는 것을 보장할 수 있다.함수를 인수나 결과값으로 전달하지 않고(first-order) ML 스타일의 예외상황 관리 방법을 제공하는 언어를 대상으로 하여 테스트 데이타 생성 방법을 제안하고, 이 분석 방법이 옳다는 것을 증명한 후 몇 가지 예를 사용하여 분석 과정을 설명한다.

• Transactions on Control, Automation and Systems Engineering
• /
• 제3권3호
• /
• pp.159-163
• /
• 2001

An input constrained receding horizon predictive control algorithm for uncertain systems with nonzero set points is proposed. for constant nonzero set points, models with uncertainty can be converted into an augmented incremental system through the use of integrators and the problem is transformed into a zero-state regulation problem for the incremental system. But the original constraints on inputs are converted into constraints on the sum of control inputs at each time instants, which have not been dealt in earlier constrained robust receding horizon control problems. Recursive state bounding technique and worst case minimizing strategy developed in earlier works are applied to the augmented incremental system to yield an offset error free controller. The resulting algorithm is formulated so that it can be solved using LP.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1991년도 한국자동제어학술회의논문집(국내학술편); KOEX, Seoul; 22-24 Oct. 1991
• /
• pp.376-382
• /
• 1991

In the analysis of constrained holonomic systems, the Lagange multiplier method yields a system of second-order ordinary differential equations of motion and algebraic constraint equations. Conventional holonomic or nonholonomic constraints are defined as geometric constraints in this paper. Previous works concentrate on the geometric constraints. However, if the total energy of a dynamic system can be computed from the initial energy plus the time integral of the energy input rate due to external or internal forces, then the total energy can be artificially treated as a constraint. The violation of the total energy constraint due to numerical errors can be used as information to control these errors. It is a necessary condition for accurate simulation that both geometric and energy constraints be satisfied. When geometric constraint control is combined with energy constraint control, numerical simulation of a constrained dynamic system becomes more accurate. A new convenient and effective method to implement energy constraint control in numerical simulation is developed based on the geometric interpretation of the relation between constraints in the phase space. Several combinations of energy constraint control with either Baumgarte's Constraint Violation Stabilization Method (CVSM) are also addressed.

• 대한산업공학회지
• /
• 제31권4호
• /
• pp.334-340
• /
• 2005

A mouse is an important input device that is used in most of all computer works. A mouse control time prediction model was proposed in this study. Especially, the model described the time of mouse control that made a cursor to move within path constraints. The model was developed by a laboratory experiment. Cursor movement times were measured in 36 task conditions; 3 levels of path length, 3 levels of path width and 4 levels of target's width. 12 subjects participated in all conditions. The time of cursor movement with path constraints could be better explained by the combination of Fitts' law with steering law($r^2=0.947$) than by the other models; Fitts' law($r^2=0.740$), Steering law($r^2=0.633$) and Crossman's model($r^2=0.897$). The proposed model is expected to be used in menu design or computer game design.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1996년도 한국자동제어학술회의논문집(국내학술편); 포항공과대학교, 포항; 24-26 Oct. 1996
• /
• pp.747-750
• /
• 1996

This paper considers the problem of robust H$_{\infty}$ control with regional stability constraints via output feedback to assure robust performance for uncertain linear systems. A robust H$_{\infty}$ control problem and the generalized Lyapunov theory are introduced for dealing with the problem, The output feedback H$_{\infty}$ controller makes the controlled outputs settle within a given bound and the control input not to be saturated. The regional stability constraints problem for uncertain systems can be reduced to the problem for the nominal systems by finding sufficient bounds of variations of the closed-loop poles due to modeling uncertainties. A controller design procedure is established using the Lagrange multiplier method. The controller design technique was illustrated on the track-following system of a optical disk drive.ve.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1987년도 한국자동제어학술회의논문집; 한국과학기술대학, 충남; 16-17 Oct. 1987
• /
• pp.168-173
• /
• 1987

The optimal Input design problem for linear system Which have the common parameters in the system and noise transfer functions. Exploiting the assumed Model structure and deriving the information matrix structure in detail, D-optimal open-loop stochastic input can be realized as an ARMA process under the Input or output variance constraints. In spite of the reduced order, It Is necessary to develop an efficient algorithms for the optimation with respect to the .rho..

• Journal of Electrical Engineering and Technology
• /
• 제13권1호
• /
• pp.460-467
• /
• 2018

Metaheuristic optimization approach has become the new framework for control synthesis. The main purposes of the control design are command (input) tracking and load (disturbance) regulating. This article proposes an optimal proportional-integral-derivative (PID) controller design for the DC motor speed control system with tracking and regulating constrained optimization by using the cuckoo search (CS), one of the most efficient population-based metaheuristic optimization techniques. The sum-squared error between the referent input and the controlled output is set as the objective function to be minimized. The rise time, the maximum overshoot, settling time and steady-state error are set as inequality constraints for tracking purpose, while the regulating time and the maximum overshoot of load regulation are set as inequality constraints for regulating purpose. Results obtained by the CS will be compared with those obtained by the conventional design method named Ziegler-Nichols (Z-N) tuning rules. From simulation results, it was found that the Z-N provides an impractical PID controller with very high gains, whereas the CS gives an optimal PID controller for DC motor speed control system satisfying the preset tracking and regulating constraints. In addition, the simulation results are confirmed by the experimental ones from the DC motor speed control system developed by analog technology.

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

In this paper, a new type of output feedback control, called a receding horizon finite memory control (RHFMC), is proposed for stochastic discrete-time state space systems. Constraints such as linearity and finite memory structure with respect to an input and an output, and unbiasedness from the optimal state feedback control are required in advance. The proposed RHFMC is chosen to minimize an optimal criterion with these constraints. The RHFMC is obtained in an explicit closed form using the output and input information on the recent time interval. It is shown that the RHFMC consists of a receding horizon control and an FIR filter. The stability of the RHFMC is investigated for stochastic systems.

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

It is well known that parameter uncertainties and time-delays cannot be avoided in practice and result in poor performance and even instability. Nevertheless, to the authors' best knowledge, there exist few results on model predictive control (MPC) handling explicitly uncertain time-delayed systems. In this paper, we present an MPC algorithm for uncertain time-varying systems with input constraints and state-delay. An optimization problem is suggested to find a memoryless state-feedback MPC law and the closed-loop stability is established under feasibility and certain conditions.

• Steel and Composite Structures
• /
• 제29권1호
• /
• pp.67-75
• /
• 2018

High performance concrete (HPC) depends on various parameters such as the type of cement, aggregate and water reducer amount. Generally, the ready concrete company in various regions according to the requirements and costs, mix design of concrete as well as type of cement, aggregates, and, amount of other components will vary as a result of moment decisions or dynamic optimization, though the ideal conditions will be more applicable for the design of mix proportion of concrete. This study aimed to apply dynamic optimization for mix design of HPC; consequently, the objective function, decision variables, input and output variables and constraints are defined and also the proposed dynamic optimization model is validated by experimental results. Results indicate that dynamic optimization objective function can be defined in such a way that the compressive strength or performance of all constraints is simultaneously examined, so changing any of the variables at each step of the process input and output data changes the dynamic of the process which makes concrete mix design formidable.