• Proceedings of the KIEE Conference
• /
• 1987.07b
• /
• pp.1556-1559
• /
• 1987

In this paper, a new state assignment method is proposed for the implementation of the area-effective control part. Introducing the, concept of adjacency matrix to control table generated by SDL(Symbolic Description Language) hardware compiler, a state assignment method is proposed with which minimal number of flip flops and effective number of product terms can be obtained to accomplish the area-effective implementation. Also, with substituting the assigned code to state transition table, boolean equations are obtained through 2-level logic minimization. Proposed algorithm is programmed in C-language on VAX-750/UNIX and b efficiency is shown by the practical example.

• Proceedings of the IEEK Conference
• /
• 1998.06a
• /
• pp.887-890
• /
• 1998

We present a method for initialization of asynchronous circuits using binary decision space representation. From state transition graph(STG) which is given as a specification a circuit, the BDD is generated to solve the state space explosion problem which is caused by concurrecy of STG. We first step, we construct the necessary informaton as a form of K-map from BDD, then find an initial state on the K-map by assignment of don't care assignment.

• Journal of the Korean Mathematical Society
• /
• v.33 no.3
• /
• pp.527-539
• /
• 1996

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.38 no.2
• /
• pp.137-144
• /
• 2001

In this paper, a state assignment algorithm was proposed to reduce power consumption in control-flow oriented finite state machines. The Markov chain model is used to reduce the switching activities, which closely relate with dynamic power dissipation in VLSI circuits. Based on the Markov probabilistic description model of finite state machines, the hamming distance between the codes of neighbor states was minimized. To express the switching activities, the cost function, which also accounts for the structure of a machine, is used. The proposed state assignment algorithm is tested with Logic Synthesis Benchmarks, and reduced the cost up to 57.42% compared to the Lakshmikant's algorithm.

• International Journal of Control, Automation, and Systems
• /
• v.6 no.6
• /
• pp.939-947
• /
• 2008

The paper proposes a new formulation of the output feedback pole assignment problem. In this formulation, a unified approach is presented for solving the pole assignment problem with various additional objectives. These objectives include optimizing a variety of performance indices, and imposing constraints on the output feedback matrix structure, e.g. decentralized structure. Conditions for the existence of the output feedback are discussed. However, the thrust of the paper is on the development of a convergent pole assignment algorithm. It is shown that when exact pole assignment is not possible, the method can be used to place the poles close to the desired locations. Examples are provided to illustrate the method.

• Journal of Korea Multimedia Society
• /
• v.12 no.6
• /
• pp.824-832
• /
• 2009

Multi-radio multi-channel Wireless Mesh Network requires an effective management policy to control the assignment of channels to each radio. We concentrated our investigation on modeling method and solution to find a dynamic channel assignment scheme that is adapted to change of network traffic. Multi-path routing scheme was chosen to overwhelm the unreliability of wireless link. For a particular traffic state, our optimization model found a specific traffic distribution over multi-path and a channel assignment scheme that maximizes the overall network throughput. We developed a simple heuristic method for channel assignment by gradually removing clique load to obtain higher throughput. We also presented numerical examples and discussion of our models in comparison with existing research.

• Journal of Institute of Control, Robotics and Systems
• /
• v.14 no.3
• /
• pp.226-231
• /
• 2008

In this paper, we propose novel eigenstructure assignment method in full-state feedback for linear time-invariant MIMO system such that directions of some left eigenvectors are exactly assigned to the desired directions. It is required to consider the direction of left eigenvector in designing eigenstructure of closed-loop system, because the direction of left eigenvector has influence over excitation by associated input variables in time-domain response. Exact direction of a left eigenvector can be achieved by assigning proper right eigenvector set satisfying the conditions of the presented theorem based on Moore's theorem and the orthogonality of left and right eigenvector. The right eigenvector should reside in the subspace given by the desired eigenvalue, which restrict a number of designable left eigenvector. For the two cases in which desired eigenvalues are all real and contain complex number, design freedom of designable left eigenvector are given.

• The Transactions of the Korean Institute of Electrical Engineers D
• /
• v.49 no.9
• /
• pp.520-525
• /
• 2000

This paper deals with the design of H$\infty$ control for uncertain linear systems with the regional eigenvalue assignment constraint. The considered region is a disk in the left half plane and the two types of time-varying uncertainties are considered. We presents a state feedback control that minimize the L2 gain from the disturbance to the measured output as well as it guarantees that all eigenvalues of closed loop are inside a disk. The state feedback control is obtained by checking the feasibility of linear matrix inequalities (LMI's) which are numerically tractable. Finally we give an example to show the applicability and usefulness of our results.

• Journal of Institute of Control, Robotics and Systems
• /
• v.5 no.7
• /
• pp.777-786
• /
• 1999

This work is concerned with the assignment of the desired eigenstructure for linear time-varying systems such as missiles, rockets, fighters, etc. Despite its well-known limitations, gain scheduling control appeared to be the focus of the research efforts. Scheduling of frozen-time, frozen-state controller for fast time-varying dynamics is known to be mathematically fallacious, and practically hazardous. Therefore, recent research efforts are being directed towards applying time-varying controllers. In this paper, ⅰ) we introduce a differential algebraic eigenvalue theory for linear time-varying systems, and ⅱ) we also propose an eigenstructure assignment scheme for linear time-varying systems via the differential Sylvester equation based upon the newly developed notions. The whole design procedure of the proposed eigenstructure assignment scheme is very systematic, and the scheme could be used to determine the stability of linear time-varying systems easily as well as provides a new horizon of designing controllers for the linear time-varying systems. The presented method is illustrated by a numerical example.

• Journal of Electrical Engineering and information Science
• /
• v.2 no.6
• /
• pp.43-47
• /
• 1997

A procedure presented in this paper generates test sequences to check the conformity of an implementation with a protocol specification, which is modeled as a deterministic finite state machine (FSM). Given a FSM, a common procedure of test sequence generation, first, constructs a directed graph which edges include the state check after each transition, and produces a symmetric graph G* from and, finally, finds a Euler tour of G*. We propose a technique to determine a minimum-cost tour of the transition graph of the FSM. The proposed technique using Multiple Unique State Signature (MUSS) solves an open issue that one MUIO sequence assignment may lead to two more edges of unit cost being replicated to from G* while an optimal assignment may lead to the replication of a single edge of high cost. In this paper, randomly generated FSMs have been studied as test cases. The result shows that the proposed technique saves the cost 4∼28% and 2∼21% over the previous approach using MUIO and MUSP, respectively.