# Proceedings of the Fourth International Conference on Computer Integrated Manufacturing and Automation Technology

## Filter Results

Displaying Results 1 - 25 of 69
• ### Proceedings of the Fourth International Conference on Computer Integrated Manufacturing and Automation Technology

Publication Year: 1994
| PDF (46 KB)
• ### A heuristic algorithm for the computation of cyclic schedules and the necessary WIP to obtain optimal cycle time

Publication Year: 1994, Page(s):339 - 344
Cited by:  Papers (6)
| | PDF (436 KB)

Presents a heuristic algorithm to determine a cyclic schedule with optimal cycle time while minimizing the work in process (WIP). The respect of the optimal cycle time is a hard constraint during the computation of the schedule, while the minimization of the WIP is considered as an objective. The algorithm builds the schedule progressively and its complexity allows the use under real-time constrai... View full abstract»

• ### Set-up scheduling by fuzzy logic

Publication Year: 1994, Page(s):345 - 350
Cited by:  Papers (2)
| | PDF (440 KB)

Production management systems support the short-time planning and control of orders on the shop floor level in the factory. In order to support the planning staff a scheduling system was implemented reflecting most of the staff's experience. Because of the complexity of the scheduling problem and the unprecise descriptions of the planning strategy of the experts a system based on fuzzy logic was d... View full abstract»

• ### Dynamic capacity allocation in manufacturing systems with significant setup times

Publication Year: 1994, Page(s):436 - 442
Cited by:  Papers (2)
| | PDF (500 KB)

Considers setup scheduling as one level of decision making in a hierarchical control approach for manufacturing systems. From a flow control model used in the hierarchy, production targets are determined which are to be tracked in the setup level using a “corridor policy”. The authors' results show that simple linear corridor policies can possibly lead to a chaotic behavior for product... View full abstract»

• ### Simulation-Scheduling system using hybrid software technology

Publication Year: 1994, Page(s):351 - 356
Cited by:  Patents (1)
| | PDF (508 KB)

In this paper two knowledge based simulation and scheduling systems are introduced. The first one is a hybrid system as a traditional' simulation/animation systems (SIMAN/Cinema) is used together with expert systems realized in G2, as advisors. In the other one SIMAN/Cinema is substituted by G2, so not only the advisory systems, but the simulation and animation are implemented in G2. The G2 real-... View full abstract»

• ### A receding horizon strategy for the hierarchical control of manufacturing systems

Publication Year: 1994, Page(s):443 - 450
Cited by:  Papers (4)
| | PDF (632 KB)

This paper concerns the development of a hierarchical framework for the planning and scheduling of a class of manufacturing systems. In this framework, dynamic optimization plays an important role in order to define control strategies that, by taking into account the dynamic nature of these systems, minimize customized cost functionals subject to state and control constraints. The proposed archite... View full abstract»

• ### R-TICS: a real-time infrastructure for control systems

Publication Year: 1994, Page(s):358 - 363
| | PDF (528 KB)

This paper describes the design and implementation of R-TICS (Real-Time Infrastructure for Control Systems). R-TICS enables the rapid development and modification of periodic and event-driven real-time control systems. Built on top of the RT Mach operating system, R-TICS takes care of the low-level details such as data acquisition, inter-task communication, memory management, and task scheduling. ... View full abstract»

• ### Product modelling for holonic manufacturing systems

Publication Year: 1994, Page(s):121 - 127
| | PDF (424 KB)

Holonic manufacturing is a new approach to the organization of decentralized autonomous and cooperative manufacturing systems. Such systems lead to new requirements for a product model, which can not be entirely fulfilled with today's product modelling techniques. This paper outlines the new requirements for product modelling and presents an approach to a solution based on the use of features tech... View full abstract»

• ### Computer aided performance analysis of Petri net synthesis methods for automated manufacturing systems

Publication Year: 1994, Page(s):81 - 86
| | PDF (444 KB)

An application of a computer aided tool, called the Petri Net Synthesis Tool (PNST), for performance analysis and comparison of Petri net synthesis methods for automated manufacturing systems is presented. Three synthesis theories for manufacturing are experimented. The performance data generated by the tool show that the structure-based method by Krogh and Beck (1986) and the behavior-based techn... View full abstract»

• ### Algebraic synthesis and verification of discrete supervisory controllers for forbidden path specifications

Publication Year: 1994, Page(s):157 - 162
Cited by:  Papers (2)
| | PDF (432 KB)

The method for formal synthesis of discrete supervisory controllers presented here is based on an automaton model of the plant which describes its uncontrolled behavior and a specification of states or state sequences (paths) of the plant which must be prevented by the controller. The model of the plant and the description of the specification are combined in one homogeneous Boolean equation, the ... View full abstract»

• ### The supervisory control of the automated manufacturing system of the AIP

Publication Year: 1994, Page(s):319 - 324
Cited by:  Papers (30)
| | PDF (476 KB)

A supervisory control system, based on controlled automata concepts, is developed for the automated manufacturing system of the Atelier Interetablissement de Productique (AIP, Dauphine-Savoie, France). The approach adopted offers important advantages over other existing approaches: mainly (i) the resulting controlled behaviours are guaranteed not to contradict the behavioural specifications and to... View full abstract»

• ### Product development on the information superhighway or staying out of the electronic breakdown lane

Publication Year: 1994, Page(s):455 - 458
| | PDF (380 KB)

Increasing maturity of the mathematical models used to develop part geometries, and emerging standardization of computing platforms and information exchange, have made extensive sharing of electronic data between design, development, and downstream tasks possible for the first time. For a broad range of engineering products, it is likely that this exchange will profoundly reduce development cycle ... View full abstract»

• ### Enterprise information management for global manufacturers

Publication Year: 1994, Page(s):364 - 371
Cited by:  Papers (1)
| | PDF (664 KB)

New information technologies such as distributed computing systems and the National Information Infrastructure have brought the integration for global enterprises closer to being a reality. These technologies and standards alone, however, are not sufficient to effect scalability, adaptability, and usability of integrated enterprise information systems, without which the integration can collapse of... View full abstract»

• ### Field learning and production planning for semiconductor manufacturing systems

Publication Year: 1994, Page(s):385 - 390
Cited by:  Papers (2)
| | PDF (436 KB)

This paper is motivated by the so-called “yield learning” problem encountered in semiconductor manufacturing processes. The problem involves controlling the production rate of a process so as to maximize cumulative rewards over some time interval. Because improving yield can only occur as a result of discrete events coinciding with finished lots, a basic tradeoff arises as high product... View full abstract»

• ### The use of batch sizing to improve flow and waiting times in FMS

Publication Year: 1994, Page(s):403 - 409
| | PDF (528 KB)

This paper examines the concept of splitting orders into batches to improve the performance of multi-product, multi-machine flexible manufacturing systems (FMS). Six different batch splitting policies are introduced to split batches based on the process plan of the various part. Scheduling is achieved through a new approach based on genetic algorithms. The results indicate that the proposed batch-... View full abstract»

• ### Continuous Petri net with maximal speeds depending on time

Publication Year: 1994, Page(s):32 - 39
Cited by:  Papers (7)
| | PDF (596 KB)

Continuous Petri nets are used to model discrete event systems in which the number of parts increases more and more. But these different continuous models don't take fluctuations of the systems incomings and of the demand into account. Therefore, this paper presents an extension of the first continuous Petri net model, the continuous Petri net with maximal speeds depending on time. The special cas... View full abstract»

• ### Results of the holonic control system benchmark at KU Leuven

Publication Year: 1994, Page(s):128 - 133
Cited by:  Papers (13)  |  Patents (1)
| | PDF (540 KB)

This paper surveys the results of a benchmark performed in the framework of IMS test case No. 5, entitled: Holonic Manufacturing Systems: System Components of Autonomous Modules and their Distributed Control.' This test case is a one-year project that puts forward a new paradigm for manufacturing-the holonic manufacturing system. The benchmark compares the performance of a prototype holonic contr... View full abstract»

• ### Fuzzy Petri nets to model and control output quality from a flexible manufacturing cell

Publication Year: 1994, Page(s):87 - 92
Cited by:  Papers (5)
| | PDF (428 KB)

The paper demonstrates how a Petri net based on a hierarchical structure block diagram can be used to model and control all the activities within an flexible manufacturing cell (FMC). Next by utilising fuzzy Petri nets, a technique based on 9 fuzzy rules is developed. The tool speed (s) and the feed rate (r) throughout the milling operation are used to determine surface finish (f'). It also illust... View full abstract»

• ### Developing a class of sequential function charts from Petri nets

Publication Year: 1994, Page(s):163 - 168
Cited by:  Papers (1)  |  Patents (2)
| | PDF (348 KB)

A fundamental problem in specifying control software is that the interaction of inputs and outputs becomes difficult to tract as the size of the control problem grows. This has led to a great deal of interest in graphical programming languages (GPL), such as the sequential function chart (SFC) or the GRAFCET approach to program documentation. These languages are based on Petri nets. In this paper ... View full abstract»

• ### Discrete-time Markov-reward models: random rewards

Publication Year: 1994, Page(s):325 - 330
Cited by:  Papers (2)
| | PDF (420 KB)

Considers the discrete-time version of performability modeling, when the Markov rewards are random. The discrete-time approach is well-suited for the performance studies of automated manufacturing systems (AMS) in the presence of failures, repairs and reconfigurations. AMS exist in various configuration states and this transitional behavior is modeled using discrete-time Markov chains. In addition... View full abstract»

• ### Operational safety measures using failure-tolerance techniques

Publication Year: 1994, Page(s):423 - 428
Cited by:  Papers (2)
| | PDF (492 KB)

The application of control procedure techniques is introduced as a contribution for failure-tolerance in terms of operational safety. After a brief presentation of the danger process in the domain of automated manufacturing systems (AMS), the article describes its translation into a marking graph of autonomous Petri nets. It presents the control procedure adapted to object Petri nets (OPN) and ill... View full abstract»

• ### Feature-based design approach in the sheet metal industries

Publication Year: 1994, Page(s):66 - 71
| | PDF (332 KB)

The present paper describes the use of design by features in building a system to automate the die layout for sheetmetal stamped parts. Starting from a CAD conventional drawing for stamped part, an algorithm is designed to extract the features of the part and to output a list of features. The list is interpreted by a graphics system as a sequence of calls to subroutines with arguments that define ... View full abstract»

• ### Tolerance analysis for assembly planning

Publication Year: 1994, Page(s):306 - 311
Cited by:  Patents (3)
| | PDF (524 KB)

The specification of tolerances is an integral part of product design since tolerance directly affects the functionality, manufacturability, and cost-effectiveness of the product. However, it is not clear whether the given tolerance specification will allow assembling the product successfully. Therefore, the tolerance analysis can play an importance role in assembly planning. Assembly planners in ... View full abstract»

• ### The integration of simulation and reality for education enhancement and training

Publication Year: 1994, Page(s):372 - 377
| | PDF (540 KB)

Quite often, when engineers are exposed to a manufacturing environment on the job for the first time, they undergo a baptism by fire. The environment forces them to deal with situations that integrate many different bodies of knowledge. Reliance on concepts acquired in the academic environment is crucial to their success. Unfortunately, lacking in most academic environments, is any experience thro... View full abstract»

• ### Push and pull systems in a dynamic environment

Publication Year: 1994, Page(s):391 - 396
| | PDF (296 KB)

We examine push and pull production control systems under a make-to-order policy with safety stock. We compute the distribution of the waiting time until a demand is satisfied, as well as how time distributions and service levels for both systems. Work-in-process levels are determined as well. The analysis is carried out under Markovian assumptions and the explicit results on flow times depend on ... View full abstract»