Source author record

Chol-Jun Hwang

Chol-Jun Hwang appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

5works
7topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

5 published item(s)

preprint2016arXiv

The continuity and uniqueness of the value function of the hybrid optimal control problem with reach time to a target set

The hybrid optimal control problem with reach time to a target set is addressed and the continuity and uniqueness of the associated value function is proved. Hybrid systems involves interaction of different types of dynamics: continuous and discrete dynamics. The state ofa continuous system is evolved by an ordinary differential equation until the trajectory hits the predefined jump sets: an autonomous jump set and a controlled jump set . At each jump the trajectory is moved discontinuously to another Euclidean space by a discrete system. We study the hybrid optimal control problem with reach time to a target set, prove the continuity of the associated value function with respect to the initial point under the assumption that is lower semicontinuous on the boundary of a target set, and also characterize it as an unique solution of a quasi-variational inequality in a viscosity sense using the dynamic programming principle.

preprint2015arXiv

A Method of Passage-Based Document Retrieval in Question Answering System

We propose a method for using the scoring values of passages to effectively retrieve documents in a Question Answering system. For this, we suggest evaluation function that considers proximity between each question terms in passage. And using this evaluation function , we extract a documents which involves scoring values in the highest collection, as a suitable document for question. The proposed method is very effective in document retrieval of Korean question answering system.

preprint2015arXiv

A Study of an Modeling Method of T-S fuzzy System Based on Moving Fuzzy Reasoning and Its Application

To improve the effectiveness of the fuzzy identification, a structure identification method based on moving rate is proposed for T-S fuzzy model. The proposed method is called "T-S modeling (or T-S fuzzy identification method) based on moving rate". First, to improve the shortcomings of existing fuzzy reasoning methods based on matching degree, the moving rates for s-type, z-type and trapezoidal membership functions of T-S fuzzy model were defined. Then, the differences between proposed moving rate and existing matching degree were explained. Next, the identification method based on moving rate is proposed for T-S model. Finally, the proposed identification method is applied to the fuzzy modeling for the precipitation forecast and security situation prediction. Test results show that the proposed method significantly improves the effectiveness of fuzzy identification.

preprint2015arXiv

Using Pi-calculus to Model Dynamic Web Services Composition Based on the Authority Model

There are lots of research works on web service, composition, modeling, verification and other problems. Theses research works are done on the basis of formal methods, such as petri-net, pi-calculus, automata theory, and so on. Pi-calculus is a natural vehicle to model mobility aspect in dynamic web services composition (DWSC). However, it has recently been shown that pi-calculus needs to be extended suitably to specify and verify DWSC. In this paper, we considers the authority model for DWSC, extends pi-calculus in order to model dynamic attributes of system, and proposes a automatic method for modeling DWSC based on extended pi-calculus.