박종헌 교수

This paper presents a new distributed real-time control architecture for flexibly automated production systems. The modelling assumptions underlying the design are driven by, and abstract, the structure and operations of the emerging 300 mm semiconductor manufacturing fab, one of the most extensively automated environments in contemporary manufacturing. The key element of the controller design itself, which differentiates it from past efforts, is the distribution of the control function to the c

Sequential resource allocation among concurrently executing and competing processes is a valid and pertinent abstraction for the emerging technological applications, like flexibly automated production environments, driver-less transportation systems, and workflow management systems. In the resulting modeling framework, characterized as a sequential resource allocation system (RAS), the competition of the processes for the finite system resources gives rise to conflicting situations that need to

The emerging Web services provide an effective means to carry out automated transactions between multiple business parties. While there are several specific protocols currently being discussed to address the coordination of Web services-enabled business transactions, we consider the tentative hold protocol (THP) that allows the placement of tentative holds on business resources prior to actual transactions in order to provide increased flexibility in coordination. We present a framework for appl

The need for effective and efficient deadlock avoidance policies (DAPs) is ever increasing due to the higher demand for system automation. This paper considers the deadlock avoidance problem for the class of conjunctive/disjunctive (sequential) resource allocation systems (C/D-RAS), in which multiple resource acquisitions and flexible routings are allowed. A new siphon-based characterization of deadlocks arising in C/D-RAS is developed, and subsequently, this characterization facilitates the dev

FeedMil, a dedicated stream search engine, can help users retrieve dynamic real-time streams, focusing on quality and topic relevance rather than simple query matching.

Computing over the Internet is becoming increasingly popular. With the emerging infrastructures such as computational grids, it is possible to develop applications that support various Internet-wide collaborations through seamlessly harnessing appropriate Internet resources. Yet, as Internet computing is becoming pervasive, it also presents a number of new challenges in designing efficient resource allocation protocol that provides clear directives on the acquisition of shared resources. In part

The task of sentence completion, which aims to infer the missing text of a given sentence, was carried out to assess the reading comprehension level of machines as well as humans. In this work, we conducted a comprehensive study of various approaches for the sentence completion based on neural language models, which have been advanced in recent years. First, we revisited the recurrent neural network language model (RNN LM), achieving highly competitive results with an appropriate network structu

Liveness-enforcing supervisors (LESs) guarantee deadlock-free operations in resource allocation systems (RASs). Given the growing emphasis on higher resource utilization and operational flexibility, it is greatly desirable to obtain the optimal LES that can provide the maximum behavioral latitude. In general, however, computation of the maximally permissive LES is computationally intractable and, accordingly, the class of algebraic LESs has been proposed in the literature as a viable suboptimal