Scheduled System Maintenance:
On May 6th, single article purchases and IEEE account management will be unavailable from 8:00 AM - 5:00 PM ET (12:00 - 21:00 UTC). We apologize for the inconvenience.
By Topic

Industrial Electronics, IEEE Transactions on

Issue 6 • Date Dec 1994

Filter Results

Displaying Results 1 - 11 of 11
  • Systematic construction of functional abstractions of Petri net models of flexible manufacturing systems

    Publication Year: 1994 , Page(s): 584 - 592
    Cited by:  Papers (11)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (740 KB)  

    The use of generic models in the synthesis of FMS systems, which allows for rapid modelling and analysis, does not ease the verification task difficulty. Even though generic modules can be verified separately, the verification of the interconnections between modules requires the whole model to be considered. A potential solution is to replace the generic modules with their functional abstractions which realize the external functional behavior of these modules. The number of places and transitions involved in realizing the required functionality is, typically, a fraction of that used to represent complete components. This reduces the complexity of the components of the modelled system, and thus the complexity of the verification model. The verification task can then focus on the correctness of the interfaces, rather then on the internal nature of the components. In this paper, for a class of Petri net models, which can be used to represent the primary components of AGV based FMS systems, a method that allows one to systematically construct functional abstractions is presented View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Hardware implementation of an artificial neural network using field programmable gate arrays (FPGA's)

    Publication Year: 1994 , Page(s): 665 - 667
    Cited by:  Papers (22)  |  Patents (1)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (356 KB)  

    In this paper, the authors present a hardware implementation of a fully digital multilayer perceptron artificial neural network using Xilinx Field Programmable Gate Arrays (FPGAs). Each node is implemented with two XC3042 FPGAs and a 1 K×8 EPROM. Training is done offline on a PC. The authors have tested successfully the performance of the network View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Petri net based approach to modeling and scheduling for an FMS and a case study

    Publication Year: 1994 , Page(s): 593 - 601
    Cited by:  Papers (18)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (688 KB)  

    In this paper, a timed-place Petri net (TPPN) model for flexible manufacturing systems (FMSs) is constructed, which contains two major submodels: the stationary transportation model; and the variable process flow model. For multiple automated guided vehicle (AGV) systems, the authors embed a simple rule and introduce a push-AGV strategy in a TPPN model to solve the collision and traffic jam problems of such vehicles. Since a firing sequence of the TPPN from the initial marking to the final marking can be seen as a schedule of the modeled FMS, by using an A* based search algorithm, namely, the limited-expansion A algorithm, an effective schedule of the part processing can be obtained. To show the promising potential of the proposed work, a prototype FMS is used as a target system for implementation. The experiment results assert that the job-shop scheduling problem can always be satisfactorily solved View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Comparing ladder logic diagrams and Petri nets for sequence controller design through a discrete manufacturing system

    Publication Year: 1994 , Page(s): 611 - 619
    Cited by:  Papers (38)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (776 KB)  

    Design methods for sequence controllers play a very important role in advancing industrial automation. The increasing complexity and varying needs of modern discrete manufacturing systems have challenged the traditional design methods such as the use of ladder logic diagrams (LLDs) for programmable logic controllers. The methodologies based on research results in computer science have recently received growing attention by academic researchers and industrial engineers in order to design flexible, reusable, and maintainable control software. Particularly, Petri nets are emerging as a very important tool to provide an integrated solution for modeling, analysis, simulation, and control of industrial automated systems. This paper identifies certain criteria to compare LLDs and Petri nets in designing sequence controllers and responding to the changing control requirements. The comparison is performed through a practical system after introducing “real-time Petri nets” for discrete-event control purposes. The results reported in this paper will help: (a) further establish Petri net based techniques for discrete-event control of industrial automated systems; and (b) effectively convince industrial practitioners and researchers that it is worthy and timely to consider and promote the applications of Petri nets to their particular discrete-event control problems View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrated scheduling of flexible manufacturing systems employing automated guided vehicles

    Publication Year: 1994 , Page(s): 602 - 610
    Cited by:  Papers (15)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (740 KB)  

    Centralized and distributed automated guided vehicle system (AGVS) models for materials handling, and the model for part processing are integrated into a single coherent model. This formulation can be used to collectively schedule and control the entire flexible manufacturing system (FMS) as opposed to the traditional separate scheduling of part processing and material handling. The two AGVS models are based on Petri nets and can be directly used in the scheduling method that uses Petri nets for formulation and heuristic search for solution. This method employs a global search to seek the optimal operation of an entire FMS. Scheduling examples are presented and the method compares favorably with the results simulated using heuristic dispatch rules View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Task decomposition and analysis of robotic assembly task plans using Petri nets

    Publication Year: 1994 , Page(s): 620 - 630
    Cited by:  Papers (3)  |  Patents (2)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (960 KB)  

    This paper describes a framework for robotic task sequence planning which decomposes tasks into operations sequences for a generic robotic workcell. The approach provides robust execution of tasks through properties of: traceability-implicit mapping operations representation, and viability-retaining multiple execution. Given the descriptions of the objects in the system and all feasible geometric configurations and relationships among these objects, an AND/OR net which describes the relationships of all feasible geometric states and associated feasibility criteria for net transitions is generated. This AND/OR net is mapped into a Petri net which incorporates all feasible sequences of high level operations. The resulting Petri net is then decomposed in a stepwise manner into lower level Petri nets of which each transition can be directly implemented by control commands or command sequences based on devices and objects in the system, or, by lower level planning transitions corresponding to path planning, grasp planning, fine motion planning, etc. The property analysis for different levels of decomposition is also presented, and the inheritance of properties between levels is defined. All possible task sequences could be found using a search algorithm based on feasible system states. The shortest sequence may be chosen from the lowest level decomposition and is guaranteed to be the optimal output of the hierarchical planning system to efficiently implement the desired tasks View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Protocol design and performance analysis for manufacturing message specification: A Petri net approach

    Publication Year: 1994 , Page(s): 641 - 653
    Cited by:  Papers (7)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (1000 KB)  

    The manufacturing message specification (MMS) is the ISO standard communication protocol specific to manufacturing. To analyze MMS design and performance, service unit automats are introduced to represent individual MMS services, while service connection Petri Nets (PNs) are constructed from these automats to describe MMS service connections and processes. This approach makes MMS protocol specification and analysis possible in terms of well-developed concepts and methods in PN theory. It leads to a distributed and hierarchical model of MMS software system by integrating service connection PNs. A generalized stochastic PN for MMS performance evaluation is obtained by incorporating service parameters and time factors into the model. A technique based on T-invariants is used to simplify the performance analysis View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Petri nets and industrial applications: A tutorial

    Publication Year: 1994 , Page(s): 567 - 583
    Cited by:  Papers (154)  |  Patents (3)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (1548 KB)  

    Petri nets, as a graphical and mathematical tool, provide a uniform environment for modelling, formal analysis, and design of discrete event systems. The main objective of this paper is to introduce the fundamental concepts of Petri nets to researchers and practitioners, both from academia and industry, who are involved in the work in the areas of modelling and analysis of industrial types of systems, as well as those who may potentially be involved in these areas. The paper begins with an overview of applications of Petri nets, mostly industrial ones. Then, it proceeds with a description of Petri nets, properties, and analysis methods. The discussion of properties is put in the context of industrial applications. The analysis methods are illustrated using an example of a simple robotic assembly system. The performance analysis, using Petri nets, is discussed for deterministic and stochastic Petri nets. The presented techniques are illustrated by examples representing simple production systems. In addition, the paper introduces high-level Petri nets, fuzzy Petri nets, and temporal Petri nets. This is done in the context of application prospects. The paper also briefly discusses some of the reasons restricting the use of Petri nets, mostly, to academic institutions View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Petri net modelling for robotic assembly and trajectory planning

    Publication Year: 1994 , Page(s): 631 - 640
    Cited by:  Papers (14)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (852 KB)  

    A new approach to process modelling, task synthesis, motion control and trajectory planning for robotic assembly is presented. Assembly is modelled as a discrete event dynamic system using Petri nets, incorporating both discrete and continuous aspects of the process. A process monitor based on recognizing contact state transitions is presented. A discrete event controller is developed. The controller issues velocity commands that direct the system toward the next desired contact state, while maintaining currently desired contacts and avoiding unwanted transitions. A novel means of trajectory planning which incorporates the system's ability to both monitor and control the process is given. Experimental results are given for a dual peg-in-the-hole example. The experimental results not only demonstrate highly successful insertion along the desired trajectory, but also demonstrate the ability to detect, recognize, and recover from errors and unwanted situations View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Neural network implementation of a fuzzy logic controller

    Publication Year: 1994 , Page(s): 663 - 665
    Cited by:  Papers (13)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (252 KB)  

    Fuzzy logic is an attractive technique for plant control but suffers from a heavy computation burden. A solution to this problem is proposed here and consists of implementing a fuzzy logic controller in a neural network. The solution is applied to the speed control of a DC motor drive and is validated by experimental results View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Mobile robot position determination using visual landmarks

    Publication Year: 1994 , Page(s): 654 - 662
    Cited by:  Papers (3)  |  Patents (24)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (780 KB)  

    This paper is concerned with the problem of determining the position of a mobile vehicle during navigation. In order to achieve this objective a multisensor navigation system for self location of the robot has been developed. By tracking a few known landmarks with a vision module, the system is able to monitor continuously its position and to integrate these estimates with the measures provided by the vehicle odometers. This paper describes in detail the vision module used by the navigation system View full abstract»

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

Aims & Scope

IEEE Transactions on Industrial Electronics encompasses the applications of electronics, controls and communications, instrumentation and computational intelligence for the enhancement of industrial and manufacturing systems and processes.

Full Aims & Scope

Meet Our Editors

Editor-in-Chief
Carlo Cecati
DISIM - Univ. degli Studi dell'Aquila
67100 Aquila, Italy
c.cecati@ieee.org
Phone: +39 0862 434 450
Fax: +39 0862 1960 411