By Topic

2009 IEEE International Conference on Automation Science and Engineering

Date 22-25 Aug. 2009

Filter Results

Displaying Results 1 - 25 of 125
  • Abstracts

    Publication Year: 2009
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (431 KB)

    Presents abstracts of presentations from the conference proceedings. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Table of contents

    Publication Year: 2009, Page(s):1 - 11
    Request permission for commercial reuse | PDF file iconPDF (220 KB)
    Freely Available from IEEE
  • IEEE CASE 2009 Award Paper Session

    Publication Year: 2009, Page(s):1 - 2
    Request permission for commercial reuse | PDF file iconPDF (121 KB)
    Freely Available from IEEE
  • Welcome message from the General Chairs

    Publication Year: 2009, Page(s):1 - 2
    Request permission for commercial reuse | PDF file iconPDF (239 KB) | HTML iconHTML
    Freely Available from IEEE
  • Welcome message from program chair and co-chairs

    Publication Year: 2009, Page(s):1 - 2
    Request permission for commercial reuse | PDF file iconPDF (289 KB) | HTML iconHTML
    Freely Available from IEEE
  • IEEE CASE 2009 Organizing Committee

    Publication Year: 2009, Page(s):1 - 2
    Request permission for commercial reuse | PDF file iconPDF (130 KB)
    Freely Available from IEEE
  • IEEE CASE 2009 Program Committee

    Publication Year: 2009, Page(s):1 - 4
    Request permission for commercial reuse | PDF file iconPDF (144 KB)
    Freely Available from IEEE
  • IEEE CASE 2009 Special Sessions

    Publication Year: 2009, Page(s):1 - 2
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (140 KB) | HTML iconHTML

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • IEEE CASE 2009 Sponsors

    Publication Year: 2009, Page(s): 1
    Request permission for commercial reuse | PDF file iconPDF (175 KB)
    Freely Available from IEEE
  • IEEE CASE 2009 Tutorials and Workshops

    Publication Year: 2009, Page(s):1 - 21
    Request permission for commercial reuse | PDF file iconPDF (376 KB)
    Freely Available from IEEE
  • Venue for IEEE CASE 2009

    Publication Year: 2009, Page(s): 1
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (156 KB) | HTML iconHTML

    The paper deals with the following topics: Petri nets theory; service engineering; health care automation; distributed environments automation; automated planning and reasoning system; manufacturing and production systems; image processing and machine vision applications; RFID applications; human behavior modelling; sensor networks; technologies for health care; embedded control systems; warehouse... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • IEEE CASE 2009 Plenary Speakers

    Publication Year: 2009, Page(s):1 - 3
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (198 KB)

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Delay-dependent stability analysis of linear system with additive time-varying delays

    Publication Year: 2009, Page(s):122 - 126
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (452 KB) | HTML iconHTML

    In this paper, a new delay-dependent stability criterion is presented for a class of linear system with additive time varying delay elements in the state vector. By using an appropriate Lyapunov-Krasovskii functional and integral inequality lemmas, a simple delay-dependent stability criterion is proposed in LMI framework that estimates the maximum allowable bound of the time delays within which th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Clump splitting based on detection of dominant points from contours

    Publication Year: 2009, Page(s):197 - 201
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (840 KB) | HTML iconHTML

    The presence of clumps in biological cell images may degrade the performance of automated disease detection methods using them. We present techniques to split the clumps based on dominant point detection from contours. The selection of optimal dominant points and split lines is achieved using some logical rules based on geometry of the clumps. The scheme first discards some of the dominant points ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • ACO-based scheduling of parallel batch processing machines to minimize the total weighted tardiness

    Publication Year: 2009, Page(s):280 - 285
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (374 KB) | HTML iconHTML

    This research was motivated by the scheduling problem of parallel batch processing machines located in the diffusion and oxidation areas in a semiconductor wafer fabrication facility (wafer fab). The objective was to minimize the total weighted tardiness (TWT) on parallel batch processing machines which have incompatible job families, dynamic job arrivals, and constraints on the sequence-dependent... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Improved wavelet-based microscope autofocusing for blood smears by using segmentation

    Publication Year: 2009, Page(s):208 - 211
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1204 KB) | HTML iconHTML

    Video-based autofocus has become a viable option for microscopes due to the availability of fast microcomputers and cameras that provide high frame rates. The methods proposed plot a measure of the focus vs. the frame number, commonly referred to as focus function which results in a peak when the in focus frame is reached. Recently, generic wavelet-based schemes have been proposed that offer varyi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Customized learning algorithms for episodic tasks with acyclic state spaces

    Publication Year: 2009, Page(s):627 - 634
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (815 KB) | HTML iconHTML

    The work presented in this paper provides a practical, customized learning algorithm for reinforcement learning tasks that evolve episodically over acyclic state spaces. The presented results are motivated by the optimal disassembly planning (ODP) problem described in, and they complement and enhance some earlier developments on this problem that were presented in. In particular, the proposed algo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Heuristic for lane reservation problem in time constrained transportation

    Publication Year: 2009, Page(s):543 - 548
    Cited by:  Papers (13)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (352 KB) | HTML iconHTML

    This paper addresses a new transportation problem called lane reservation problem in time constrained transportation. It originates from large sportive events in a city or region where the travel time between sportive villages and stadium should fall in a strict time window. To guarantee the timely transportation in an already traffic saturated city, the problem consists in temporarily creating sp... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Formal verification of PLC controlled systems using Sensor Graphs

    Publication Year: 2009, Page(s):164 - 170
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (345 KB) | HTML iconHTML

    This paper describes how a system, consisting of a discrete controller (e.g. a PLC) that controls a physical plant/process, can be formally verified. The physical process is assumed to be modeled using Sensor Graphs, a discrete event modeling language directed at physical systems with binary and identity sensors (e.g. RFID). The formal and graphical syntaxes of Sensor Graphs are pres... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Automatic decission support system for medical instrument suppliers using fuzzy multifactor based approach

    Publication Year: 2009, Page(s):158 - 163
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (622 KB) | HTML iconHTML

    Most products are inspected for flaws several times during the manufacturing process. For this purpose, object detection is a very fundamental task in most of the image analysis applications. Most of the existing methods for low-level object detection perform color similarity and histogram similarity based approach in the 2-D image space. In this paper, a multi-factorial based approach has been pr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • MRI reservation for neurovascular patients

    Publication Year: 2009, Page(s):391 - 396
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (354 KB) | HTML iconHTML

    Quick diagnosis is critical for neurovascular patients. Diagnosis of these patients needs the assistance of expensive and heavily used imaging equipment. This results in long waiting time which potentially threats patient's life. It is clearly very important for the neurovascular department to improve the service level by reducing the waiting time. To deal with this problem, this paper proposes a ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dynamic priority allocation for conflict free coordinated manipulation of multiple agents

    Publication Year: 2009, Page(s):549 - 554
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (574 KB) | HTML iconHTML

    This article presents a decoupled approach for conflict free coordinated manipulation of multiple industrial robot agents operating in a typical industrial environment. Decoupled method proposed in this work plans the path for the robots in two steps. In the first step, for each participating robot agent a path collision free with respect to stationary obstacle is obtained. The coordination among ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Performance control of Markovian Petri nets via fluid models: A stock-level control example

    Publication Year: 2009, Page(s):30 - 36
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1724 KB) | HTML iconHTML

    Petri nets is a well-know formalism for studying discrete event systems. Applications include performance evaluation in communication networks, production systems, supply chains, and the implementation of sequence controllers. Timed Continuous Petri Net (TCPN) systems are continuous-state models that can approximate the dynamical behavior of discrete Markovian Petri nets (MPN). Based on this, an e... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Closed-loop determinism for non-deterministic environments: Verification for IEC 61499 logic controllers

    Publication Year: 2009, Page(s):1 - 6
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (444 KB) | HTML iconHTML

    Verification of logic controllers can identify errors during the design stage so they can be remedied and prevent some faults from occurring once the system is running. Input order robustness is the property that multiple inputs arriving in a variety of orders, and regardless of the order, produce the same set of outputs and same final state. Verifying this property ensures determinism of the clos... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Field-tests of a redundantly actuated cable-driven robot for environmental sampling applications

    Publication Year: 2009, Page(s):615 - 620
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2012 KB) | HTML iconHTML

    In this paper, we present results from a field-test of NIMS-PL, a redundantly actuated cable-driven robot for aquatic applications. We describe installation procedures that enable rapid deployability and present results demonstrating precise calibration capabilities. Detection and correction of positional drift, which is critical for long-term autonomous deployments, is demonstrated, and the rate ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.