Sheng-Luen Chung

National Taiwan University of Science and Technology, T’ai-pei, Taipei, Taiwan

Are you Sheng-Luen Chung?

Claim your profile

Publications (28)12.08 Total impact

  • Tien-Ruey Hsiang, Yu Fu, Ching-Wei Chen, Sheng-Luen Chung
    [Show abstract] [Hide abstract]
    ABSTRACT: This paper proposes a vision-based indoor localization service system that adopts affine scale invariant features (ASIFT) in MapReduce framework. Compared to prior vision-based localization methods that use scale invariant features or bag-of-words to match database images, the proposed system with ASIFT achieves better localization hit rate, especially when the query image has a large viewing angle difference to the most similar database image. The heavy computation imposed by ASIFT feature detection and image registration is handled by processes designed in MapReduce framework to speed up the localization service. Experiments using a Hadoop computation cluster provide results that show the performance of the localization system. The better localization hit rate is demonstrated by comparing the proposed approach to previous work based on scale invariant feature matching and visual vocabulary.
    Computers & Electrical Engineering 10/2013; 39(7):2369-2378. · 0.99 Impact Factor
  • Yu Fu, Tien-Ruey Hsiang, Sheng-Luen Chung
    [Show abstract] [Hide abstract]
    ABSTRACT: This paper proposes an image sequence-based navigation method under the teaching-replay framework for robots in piecewise linear routes. Waypoints used by the robot contain either the positions with large heading changes or selected midway positions between junctions. The robot applies local visual homing to move between consecutive waypoints. The arrival at a waypoint is determined by minimizing the average vertical displacements of feature correspondences. The performance of the proposed approach is supported by extensive experiments in hallway and office environments. While the homing speed of robots using other approaches is constrained by the speed in the teaching phase, our robot is not bounded by such limit and can travel much faster without compromising the homing accuracy.
    Robotica 05/2013; 31(03). · 0.88 Impact Factor
  • [Show abstract] [Hide abstract]
    ABSTRACT: Deadlock prevention policies are used to solve the deadlock problems of FMSs. The theory of regions is recognized as the unique method for obtaining maximally permissive (i.e., optimal) controllers in the existing literature. In this paper, the selective siphons and critical markings method [17] is merged in the new deadlock prevention policy. First of all, reachability graph is still needed. Second, CMTSIs are identified. Further, selective siphons and critical markings method is used to check if all dead/quasi-dead markings of CMTSIs are covered by these selective siphons. Furthermore, choose anyone CMTSI that belongs to a same selective siphon to be processed. Finally, controllers are therefore obtained. Experimental results indicate that the computational cost can be reduced again. Besides, it is the most efficient policy to obtain maximal permissive behavior of Petri net models.
    Systems, Man, and Cybernetics (SMC), 2012 IEEE International Conference on; 01/2012
  • Yu Fu, Tien-Ruey Hsiang, Sheng-Luen Chung
    [Show abstract] [Hide abstract]
    ABSTRACT: A sequence-based visual navigation system for autonomous robots is proposed. A sequence of reference images representing a transportation route is taken as the navigation clues. When a robot navigates in a route, two navigation modes, with better reduction in total transportation time required, are switched according to the difference of scales between the robot's current view and the targeted reference image. When the scale is large, log-polar transform is applied to match regions in two images. A less accurate moving direction is inferred from the matching result. After the difference of scale is reduced when the robot approaches the targeted waypoint, SIFT features are matched between two images. An accurate moving direction is decided from the epipolar geometry which is computed from matched SIFT features. The robot's moving velocity is adjusted accordingly, thus reducing the overall transportation time. While other sequence-based navigation methods moves the robot at a maximal velocity of 10 cm/sec, the proposed method moves the robot in an average velocity of 26.5 cm/sec during a 117.3 m long route with 11 reference images. Comparing to a similar sequence-based navigation research, the proposed method does not only reduce transportation time by at least half, but also requires less number of reference images in route transportation applications.
    Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Istanbul, Turkey, 10-13 October 2010; 01/2010
  • Li-Che Chen, Yu Fu, Tien-Ruey Hsiang, Sheng-Luen Chung
    [Show abstract] [Hide abstract]
    ABSTRACT: We develop a task allocation approach using k-means algorithm and Steiner tree properties to dispatch a platoon of mobile robots in a constrained environment. Our approach increases task-execution efficiency of multiple robots by reducing the response time to each task. It clusters the request points based on the k-means algorithm, then pre-positions the robots at standby locations obtained by considering Steiner trees in their designated clusters. Robots travel along shortest paths to serve requests and have collision avoidance ability. A switching strategy for robots is also presented. By switching designated clusters, robots further shorten the total response time and balance their workloads implicitly. Thus, the total task execution time is reduced. The performance of our approach is evaluated through simulations.
    Control and Decision Conference, 2009. CCDC '09. Chinese; 07/2009
  • Source
    Wei-Chung Teng, Hsuan-Yu Huang, Sheng-Luen Chung
    [Show abstract] [Hide abstract]
    ABSTRACT: Abstract—This paper introduces MyHome, a framework of smart home by which household information is all at a finger tip. Through adopting Message Oriented Middleware (MOM) and Open Service Gateway Initiative (OSGi) technologies, MyHome offers reliable automatic operations, fault tolerant and configurable home automation, high extensibility and large scalability. In its design, MyHome system is composed of a residential gateway MyServer and Internet accessible GUI MyIcon and MyMobile. MyServer is used to provide services regarding home security, inventory tracking, facility management, GPS location recording and family care. Inherently aninteractive and multitasking system driven by peripherals connected through wireless sensor networks, the overall MyServer architecture is designed with six core service modules operating on a MOM. Each of these modules is designed as an OSGi bundles and is implemented by a programming template utilizing event publish/subscribe messaging mechanism. To facilitate program demonstration, simulator and scenario editor are also developed. A successful implementation of the proposed MyServer is also demonstrated in an emulated home environ- ment where peripherals are connected through ZigBee wireless sensor network with data integrated into a database. With these clearly defined service modules and pertinent infrastructure to integrate household peripherals, this paper presents a practical approach to the implementation of a smart home. Keywords—MyHome, smart home, MOM, OSGi
    Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, San Antonio, TX, USA, 11-14 October 2009; 01/2009
  • Yu Fu, Tien-Ruey Hsiang, Sheng-Luen Chung
    [Show abstract] [Hide abstract]
    ABSTRACT: We introduce an improved approach, called FCVC, that finds accurate matches from two related images of indoor environments by matching corresponding vertical cylinders of features, then retrieves more matches by epipolar geometry. Feature matching is a critical technique for many vision-based applications. However, since the preliminary matching results obtained by SIFT sometimes are not accurate enough, and therefore, post processing methods, like RANSAC, have been proposed to increase the correctness of feature mappings. As RANSAC iteratively selects partial matches from preliminary matches and recovers the epipolar geometry to find correct matches, our method first finds accurate matches in vertical cylinders, based on three consistency properties which are common while two images are taken on a flat floor: (1) altitudinal order, (2) composition of features for each vertical cylinder, and (3) horizontal order of all vertical cylinders. Once some accurate matches are acquired, the epipolar geometry is recovered to retrieve matches that are not grouped into any vertical cylinder previously. Experiments in different indoor environments reveal that the proposed FCVC in general spends at most 6% of the time required by RANSAC, has at least 71% of the number of matches obtained by RANSAC, and yet with accuracy rate similar to that of RANSAC.
    4th International Conference on Autonomous Robots and Agents, ICARA 2009, Wellington, New Zealand, February 10-12, 2009; 01/2009
  • Source
    Wei-Chung Teng, Yu-Chun Pao, Sheng-Luen Chung
    [Show abstract] [Hide abstract]
    ABSTRACT: This paper addresses the design and implement- tation of a residential gateway: MyServer, which is to provide services regarding home security, inventory tracking, facility management, and family care in a smart home system. Inherently an interactive and multitasking system driven by peripherals connected through wireless sensor networks, the overall MyServer architecture is designed with six clearly defined core service modules operating on a message oriented middleware (MOM) framework. Each of these modules is implemented with a programming template utilizing event publish/subscribe messaging mechanism. This paper also demonstrates a successful implementation of the proposed MyServer system in an emulated home environment, where peripherals are connected through ZigBee wireless sensor network.
    Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, APSCC 2008, Yilan, Taiwan, 9-12 December 2008; 01/2008
  • Li-Che Chen, Tien-Ruey Hsiang, Yu Fu, Sheng-Luen Chung
    [Show abstract] [Hide abstract]
    ABSTRACT: The purpose of this paper is to design an image-based platform for real-time dispatching of multi-robots, in the context of, for example, supporting a courier transportation system. With this integration platform, we are able to compare efficiencies of different dispatching policies. With the global information regarding the robots and pick-up points available from the image process, this real-time dispatching platform is capable of detecting current positions of robots and their relative positions to the destination, of planning online motion trajectories for each robot to reach its destination smoothly, and of maintaining collision avoidance while robots are moving. Different dispatching strategies, as a combination of pre-positioning of robots and swapping strategies of responsible zones for individual robots in transportation operation, are conducted on a miniature implementation platform to simulate corresponding performance of response time.
    Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part II; 01/2008
  • YuanLin Wen, Sheng-Luen Chung, LiDer Jeng, MuDer Jeng
    [Show abstract] [Hide abstract]
    ABSTRACT: This paper presents an intelligent approach using Petri nets for designing diagnosable discrete event systems such as complex semiconductor manufacturing machines. The concept is based on diagnosability analysis and enhancement. We use a real-world Metal-Organic Vapor Phase Epitaxy (MOVPE) system to illustrate that our proposed approach is practically useful.
    12/2007: pages 877-884;
  • YuanLin Wen, Sheng-Luen Chung, Li-Der Jeng, MuDer Jeng
    Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part II; 01/2007
  • Sheng-Luen Chung, Wen-Yuan Chen
    [Show abstract] [Hide abstract]
    ABSTRACT: To take advantage of the recent advances in computer science, control, biomedical, and communication, an experimental project of MyHome is conducted. The objective is to explore innovation technology for future design and implementation of smart homes. This paper reports on current status of the MyHome project, which comprises of a local residential server, MyServer, and remote access interface, MyIcon. By clicking the icon, a user has information about his or her home as a whole at the finger tip. Information related to: alarm security, inventory tracking, facility management, and family members are all to be available through internet access. Design philosophy and proposed architecture are presented. Current technology related to the proposed architecture is surveyed before the ongoing status is reported. Scenarios of full function are also sketched1.
    Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part II; 01/2007
  • Sheng-Luen Chung, Yu Fu
    [Show abstract] [Hide abstract]
    ABSTRACT: In contrast to conventional standalone fan coil unit (FCU) that serves a designated conditioning zone, the networking fan coil controller (NFCC), investigated in this paper, is designed for air conditioning installed in spaces of medium to large size. With an architecture that separates user interface panel from the embedded control core, the proposed NFCC is able to control up to 255 ceiling mounted fan coil unit modules through Modbus network by just one wall mounted user interface module. In this regard, this paper addresses the following three issues: (1) the design of the underlined communication protocol employed between ceiling modules and the wall module; (2) the implementation issues relating to storage and packaging of setting parameters; broadcast and unicast communication modes; and (3) the communication enabling technique for master/slave architecture design. Operational scenarios that detail phases of initialization, normal control setting in groups, and selected ceiling module, are included to demonstrate the feasibility of the proposed networking fan coil unit
    01/2006;
  • Sheng-Luen Chung, Wen-Yuan Chen
    [Show abstract] [Hide abstract]
    ABSTRACT: To ensure the quality of a liquid crystal display (LCD) panel, extensive quality check in terms of different display patterns is performed after LCD production. Geared to LCD manufacturing facilities with several production lines, this paper presents an LCD testing solution of a server-based test pattern databank (TPD) and units of pattern generation system (PGS). TPD provides a GUI-based tool to facilitate editing and maintenance of test patterns, which are then downloaded to independent PGSs, each connected to LCD panels in a production line, for the pattern testing. Three issues related to the design of the proposed TPD are addressed. First, the definition of file formats used to characterize display patterns and timing parameters utilized for a complete test; second, the underlying graphical user interface (GUI) design of the TPD. Comparison to some existing solutions are also discussed to highlight the benefit of test pattern file consistency as well as cost effectiveness in the proposed TPD
    01/2006;
  • [Show abstract] [Hide abstract]
    ABSTRACT: In this paper, we introduce a discrete event control for Cat and Mouse example based on a paraconsistent logic program EVALPSN stable model computation. Predicting and avoiding control deadlock states are crucial problems in discrete event control systems. We show that the EVALPSN control can deal with prediction and avoidance of control dadlock states in the Cat and Mouse by defining general rules to represent the deadlock states in EVALPSN, and is much more flexible than the previous version of EVALPSN Cat and Mouse control. We also show how to translate the control properties of the Cat and Mouse into EVALPSN.
    Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part I; 01/2005
  • Sheng-Luen Chung, Chung-Lun Li
    [Show abstract] [Hide abstract]
    ABSTRACT: Machine identification of discrete event dynamic systems is to reconstruct machine models by a finite length sample path from an unknown machine target. Previous study of online modeling refinement shows that, with increased sample path in length, the reconstructed machines approach the unknown machine in the sense of language equivalence. However, it is not guaranteed that continuingly increased sample path always results in the exact machine reconstruction. In this study, we show that when the unknown target is persistently identifiable, there always exists an information rich enough sample path that uniquely defines the identification target. With the previously reported minimal valid automata algorithm that derives the minimal realization of unknown target, the information rich enough sample path serves as an equivalent representation of the given machine.
    Systems, Man and Cybernetics, 2004 IEEE International Conference on; 11/2004
  • Source
    Sheng-Luen Chung, Chung-Lun Li
    [Show abstract] [Hide abstract]
    ABSTRACT: Minimal valid automata (MVA) refer to valid automata models that fit a given input-output sequence sample from a Mealy machine model. They are minimal in the sense that the number of states in these automata is minimal. Critical to system identification problems of discrete event systems, MVA can be considered as a special case of the minimization problem for incompletely specified sequential machine (ISSM). While the minimization of ISSM in general is an NP-complete problem, various approaches have been proposed to alleviate computational requirement by taking special structural properties of the ISSM at hand. In essence, MVA is to find the minimal realization of an ISSM where each state only has one subsequent state transition defined. This paper presents an algorithm that divides the minimization process into two phases: first to give a reduced machine for the equivalent sequential machine, and then to minimize the reduced machine into minimal realization solutions. An example with comprehensive coverage on how the associated minimal valid automata are derived is also included.
    Asian Journal of Control 05/2004; 6(2):281 - 292. · 1.41 Impact Factor
  • Source
    Yi-Sheng Huang, Sheng-Luen Chung, Mu-Der Jeng
    [Show abstract] [Hide abstract]
    ABSTRACT: Statechart has been utilized as a visual formalism for the modeling of complex and interactive systems for its illuminating features on describing properties of causality, concurrency, and synchronization. This paper presents the application of satechart to the modeling, design and implementation of an elevator system, whose system behavior involves aggregating complexity of state descriptions, and imposition of underlying control policy. Based on the operational flow of an elevator, we derive the associated statechart model by looking into the inherent hierarchical structure of the elevator. The advantage of the proposed approach is the clear presentation of system behavior in terms of conditions and events that cause the transitions in system dynamics. Implementation of the controlled elevator based on the modeled statechart is also presented.
    Asian Journal of Control 05/2004; 6(2):242 - 252. · 1.41 Impact Factor
  • Sheng-Luen Chung, Muder Jeng
    [Show abstract] [Hide abstract]
    ABSTRACT: This article presents an overview of the automation systems for a semiconductor fab. In particular, two key systems are presented: 1) a manufacturing execution systems (MES) that formulates manufacturing methods and procedures and 2) a cell controller (C/C) that serves as the automation link between the upper MES and the lower equipment within a production tunnel. At the end of the article, lot operation of one manufacturing step is detailed to highlight the interaction between MES and C/C in a fully automated semiconductor fab. The C/C, in contrast, are to respond to equipment requests for processing, to coordinate intrabay or interbay lot transportation, and to keep the MES the most updated WIP information within a production channel. This overview presents the most essential automation functions needed in general semiconductor fabs. Yet, in terms of future technology trends, reported work on specification, design methods, and implementation platforms has taken advantage of the latest development of computer technology in general, and object-oriented technology in particular.
    IEEE Robotics &amp amp amp Automation Magazine 04/2004; · 2.48 Impact Factor
  • Source
    MuDer Jeng, Xiaolan Xie, Sheng-Luen Chung
    [Show abstract] [Hide abstract]
    ABSTRACT: This paper presents a new class of "well-behaved" Petri nets called extended resource control net (ERCN*) merged nets that generalize the class of ERCN merged nets proposed in a previous paper by Xie and Jeng. ERCN merged nets can model parallel and synchronized processes in semiconductor manufacturing such as lot split and lot merging, which occurs frequently in a research and development (R&D) semiconductor fab (semiconductor plant) for engineering purposes. However, processing cycles for each resource type must include the initial state of the resource type. In other words, no local processing cycles are allowed. This makes the modeling of degraded behavior in semiconductor manufacturing such as rework, failure, and maintenance difficult. In the current work, this constraint is relaxed under the "extended free-choice (EFC)" or "asymmetric choice (AC)" condition. Specifically, for each operation place with degrading outgoing arcs, the FC or AC condition is satisfied. In addition, degraded behavior is modeled as blocks within ERCNs. We show that conditions for liveness and reversibility of an ERCN* merged net correspond to the absence of unmarked siphons. The "well-behaved" conditions can be transformed into inequalities of the initial marking. Examples are shown to illustrate the proposed methodology.
    IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans 02/2004; · 2.18 Impact Factor

Publication Stats

96 Citations
12.08 Total Impact Points

Institutions

  • 2001–2013
    • National Taiwan University of Science and Technology
      • • Department of Electrical Engineering
      • • Department of Computer Science and Information Engineering
      T’ai-pei, Taipei, Taiwan
  • 2004
    • National Taiwan Ocean University
      • Department of Electrical Engineering
      Keelung, Taiwan, Taiwan