Scheduling and discrete event control of flexible manufacturing systems based on Petri nets

A flexible manufacturing system (FMS) is a computerized production system that can simultaneously manufacture multiple types of products using various resources such as robots and multi-purpose machines. The central problems associated with design of flexible manufacturing systems are related to process planning, scheduling, coordination control, and monitoring. Many methods exist for scheduling and control of flexible manufacturing systems, although very few methods have addressed the complexity of whole FMS operations. This thesis presents a Petri net based method for deadlock-free scheduling and discrete event control of flexible manufacturing systems. A significant advantage of Petri net based methods is their powerful modeling capability. Petri nets can explicitly and concisely model the concurrent and asynchronous activities, multi-layer resource sharing, routing flexibility, limited buffers and precedence constraints in FMSs. Petri nets can also provide an explicit way for considering deadlock situations in FMSs, and thus facilitate significantly the design of a deadlock-free scheduling and control system. The contributions of this work are multifold. First, it develops a methodology for discrete event controller synthesis for flexible manufacturing systems in a timed Petri net framework. The resulting Petri nets have the desired qualitative properties of liveness, boundedness (safeness), and reversibility, which imply freedom from deadlock, no capacity overflow, and cyclic behavior, respectively. This precludes the costly mathematical analysis for these properties and reduces on-line computation overhead to avoid deadlocks. The performance and sensitivity of resulting Petri nets, thus corresponding control systems, are evaluated. Second, it introduces a hybrid heuristic search algorithm based on Petri nets for deadlock-free scheduling of flexible manufacturing systems. The issues such as deadlock, routing flexibility, multiple lot size, limited buffer size and material handling (loading/unloading) are explored. Third, it proposes a way to employ fuzzy dispatching rules in a Petri net framework for multi-criterion scheduling. Finally, it shows the effectiveness of the developed methods through several manufacturing system examples compared with benchmark dispatching rules, integer programming and Lagrangian relaxation approaches

Functional monolithic platforms for antibody purification

Dissertação para obtenção do Grau de Doutor em Química SustentávelFundação para a Ciência e Tecnologia - contracts PEst-C/EQB/LA0006/2011, MIT-Pt/BS-CTRM/0051/2008, PTDC/EBB-BIO/102163/2008, PTDC/EBBBIO/ 098961/2008, PTDC/EBB-BIO/118317/2010 and doctoral grant SFRH/ BD/62475/2009, and Fundação Calouste Gulbenkia

Designing web-based adaptive learning environment : distils as an example

In this study, two components are developed for the Web-based adaptive learning: an online Intelligent Tutoring Tool (ITT) and an Adaptive Lecture Guidance (ALG). The ITT provides students timely problem-solving help in a dynamic Web environment. The ALG prevents students from being disoriented when a new domain is presented using Web technology. A prototype, Distributed Intelligent Learning System (DISTILS), has been implemented in a general chemistry laboratory domain. In DISTILS, students interact with the ITT through a Web browser. When a student selects a problem, the problem is formatted and displayed in the user interface for the student to solve. On the other side, the ITT begins to solve the problem simultaneously. The student can then request help from the ITT through the interface. The ITT interacts with the student, verifying those solution activities in an ascending order of the student knowledge status. In DISTILS, a Web page is associated with a HTML Learning Model (HLM) to describe its knowledge content. The ALG extracts the HLM, collects the status of students\u27 knowledge in HLM, and presents a knowledge map illustrating where the student is, how much proficiency he/she already has and where he/she is encouraged to explore. In this way, the ALG helps students to navigate the Web-based course material, protecting them from being disoriented and giving them guidance in need. Both the ITT and ALG components are developed under a generic Common Object Request Broker Architecture (CORBA)-driven framework. Under this framework, knowledge objects model domain expertise, a student modeler assesses student\u27s knowledge progress, an instruction engine includes two tutoring components, such as the ITT and the ALG, and the CORBA-compatible middleware serves as the communication infrastructure. The advantage of such a framework is that it promotes the development of modular and reusable intelligent educational objects. In DISTILS, a collection of knowledge objects were developed under CORBA to model general chemistry laboratory domain expertise. It was shown that these objects can be easily assembled in a plug-and-play manner to produce several exercises for different laboratory experiments. Given the platform independence of CORBA, tutoring objects developed under such a framework have the potential to be easily reused in different applications. Preliminary results showed that DISTILS effectively enhanced learning in Web environment. Three high school students and twenty-two NJIT students participated in the evaluation of DISTILS. In the final quiz of seven questions, the average correct answers of the students who studied in a Web environment with DISTILS (DISTILS Group) was 5.3, and the average correct answers of those who studied in the same Web environment without DISTILS (NoDISTILS Group) was 2.75. A t-test conducted on this small sample showed that the DISTILS group students significantly scored better than the NoDISTILS group students

A petri-net based methodology for modeling, simulation, and control of flexible manufacturing systems

Global competition has made it necessary for manufacturers to introduce such advanced technologies as flexible and agile manufacturing, intelligent automation, and computer-integrated manufacturing. However, the application extent of these technologies varies from industry to industry and has met various degrees of success. One critical barrier leading to successful implementation of advanced manufacturing systems is the ever-increasing complexity in their modeling, analysis, simulation, and control. The purpose of this work is to introduce a set of Petri net-based tools and methods to address a variety of problems associated with the design and implementation of flexible manufacturing systems (FMSs). More specifically, this work proposes Petri nets as an integrated tool for modeling, simulation, and control of flexible manufacturing systems (FMSs). The contributions of this work are multifold. First, it demonstrates a new application of PNs for simulation by evaluating the performance of pull and push diagrams in manufacturing systems. Second, it introduces a class of PNs, Augmented-timed Petri nets (ATPNs) in order to increase the power of PNs to simulate and control flexible systems with breakdowns. Third, it proposes a new class of PNs called Realtime Petri nets (RTPNs) for discrete event control of FMS s. The detailed comparison between RTPNs and traditional discrete event methods such as ladder logic diagrams is presented to answer the basic question \u27Why is a PN better tool than ladder logic diagram?\u27 and to justify the PN method. Also, a conversion procedure that automatically generates PN models from a given class of logic control specifications is presented. Finally, a methodology that uses PNs for the development of object-oriented control software is proposed. The present work extends the PN state-of-the-art in two ways. First, it offers a wide scope for engineers and managers who are responsible for the design and the implementation of modem manufacturing systems to evaluate Petri nets for applications in their work. Second, it further develops Petri net-based methods for discrete event control of manufacturing systems

Design of automatic control system based on unified timed hybrid Petri net

A practical problem in automation systems modeling is the choice between a fully hybrid approach and the fluidization of some parts conserving the general discrete event approach. This paper explores the approach based on specific hybrid parts into a discrete event system using a unified Petri nets environment called GHENeSys (General Hierarchical Enhanced Net System), which follows the ISO/IEC 15909 standard and includes extensions such as hierarchy and time concepts. Then, a design method based on GHENeSys Timed Hybrid Petri Net (GTHPN) technique is proposed to model these hybrid parts. GHENeSys subnets are associated with macro-places and help to control combinatorial explosion and has extended arcs to guarantee the GTHPN applicability to practical cases. All resulting models of the approach proposed could also benefit from an easier conversion to PLC programs in IEC 61131 representation. A case study is presented for producing constructive blocks showing the advantages of the current proposition.Un problema práctico en sistemas automatizados es la selección entre el enfoque totalmente híbrido o la fluidización de algunas partes conservando el enfoque general de eventos discretos. Este articulo trata el enfoque basado en partes hibridas en un modelo discreto usando el ambiente unificado de Redes de Petri llamado GHENeSys (Sistema de Red Extendida Jerárquica General), compatible con la norma ISO/IEC 15909 incluyendo los conceptos de jerarquía y tiempo. Por tanto, se propone un método de diseño y una técnica GTHPN (Redes de Petri Temporizadas Hibridas GHENeSys) para modelar estas partes híbridas. Las subredes en macro-lugares controlan la explosión de estados y controlar transiciones mediante arcos extendidos de GHENeSys garantiza la efectividad de GTHPN para casos prácticos. Además, todo modelo resultante permite una fácil conversión a programas de PLCs en lenguajes IEC61131. Se presenta un caso de estudio para producción de bloques de construcción demostrando estas ventajas mencionadas

Nested coloured timed Petri nets for production configuration of product families

International audienceProduction configuration is as an effective technique to deal with product variety while maintaining production stability and efficiency. It involves a diverse set of process elements (e.g., machines, operations), a high variety of component parts and assemblies and many constraints arising from product and process variety. Production configuration entails the selection and subsequent arrangement of process elements into complete production processes and the final evaluation of configured multiple alternatives. To better understand production configuration and its implementation, we study the underlying logic for configuring production processes using a dynamic modeling and visualization approach. This is accomplished through developing a new formalism of nested colored timed Petri nets (PNs). In view of the inherent modeling difficulties, in the formalism three types of nets - process nets, assembly nets and manufacturing nets - together with a nested net system are defined. Using an industrial example of vibration motors, we show how the proposed formalism can be applied to specify production processes at different levels of abstraction to achieve production configuration

From brownfield to greenfield : a social and environmental remediation project

Brownfields, prevalent in nearly all urban landscapes, are often defined as underutilized sites and/or sites with contaminated soil or water. This project explores how biological methods can be applied to remediate brownfields, and how the neighboring communities can take part in the process and develop a long-term sense of site ownership. Using GIS mapping and unique project design criteria, multiple registered brownfields in Muncie were assessed for their suitability. The Peloquin property emerged as the best fit with the criteria, and was selected as the project site. The site is contaminated with heavy metals, aromatic hydrocarbons, and VOCs as a result of automobile servicing on-site and the nearby steel foundry using it as a dumping ground. Qualitative research conducted on the subject of brownfield remediation found that, depending on the types of contaminants, biological remediation techniques are successful, often less costly, and less invasive ways of removing contaminants. A site inventory & analysis was completed using a combination of the Phase 1 Environmental Assessment created for the brownfield site in 2008, site visits, and quantitative research. Case studies of brownfield remediation and sustainable urban renewal projects were researched for process and design inspiration. A phased remediation plan over a period of ten years was created, addressing the individual conditions and types of contaminants found on site. Using bioremediation, mycoremediation, and phytoremediation processes, the project addressed the heavy metal and aromatic hydrocarbon contaminants in the soil and groundwater. Soil vapor extraction was used to remove the VOC found in a limited area on the site. Materials harvested from the site in the preparation and remediation process were kept on-site and reused to reduce potential spread of contaminants, or sent to local industries for metal extraction and reuse. The design layout and phasing was based on the location of contaminants, an organizational grid layout, and projected safe public access to the site. The final design outcome of the project is a remediation demonstration park that highlights urban agriculture and a native successional forest and prairie, provides a better sense of connection to nearby parks, and offers amenities not provided by neighboring parks. By engaging the community in the remediation process, the completed/remediated park will foster a stronger sense of pride and ownership while improving their overall quality of life.Department of Landscape ArchitectureThesis (M.L.A.

OPTIMAL CONTROL OF ION EXCHANGE PROCESS FOR CHROMATE REMOVAL AND PROTEIN A CHROMATOGRAPHY FOR ANTIBODY EXTRACTION

Ion exchange resins are widely used in the extraction of hazardous chemicals as well as the recovery of precious molecules. Therefore, an early breakthrough from the resin system can lead to toxic compounds affecting the drinking water quality or inefficient use of costly resins. Hence, accurate modeling of the ion exchange process and control strategy can enable decisions that assist in avoiding leakage when facing fluctuations in the inlet contaminant concentrations. In this work, the ion exchange process is modeled via the method of moments where the system uncertainties are captured via stochastic modeling using Ito processes. The flow rate is controlled to optimize the resin performance by maximizing its dynamic removal efficiency. The process runs more efficiently with a well-controlled varying flow rate rather than a constant flow, a standard industrial practice. The optimal control reveals that introducing the feed at a high flow rate followed by a decreasing flow can achieve significant removal of the target molecules and increase the efficiency of the purification process. This work has wide applicability ranging from chromate removal from water to extracting antibodies with a costly affinity chromatography resin