Modeling extended Petri nets compatible with GHENeSys IEC61131 for industrial automation

Petri net (PN) modeling is one of the most used formal methods in the automation applications field, together with programmable logic controllers (PLCs). Therefore, the creation of a modeling methodology for PNs compatible with the IEC61131 standard is a necessity of automation specialists. Different works dealing with this subject have been carried out; they are presented in the first part of this paper [Frey (2000a, 2000b); Peng and Zhou (IEEE Trans Syst Man Cybern, Part C Appl Rev 34(4):523-531, 2004); Uzam and Jones (Int J Adv Manuf Technol 14(10):716-728, 1998)], but they do not present a completely compatible methodology with this standard. At the same time, they do not maintain the simplicity required for such applications, nor the use of all-graphical and all-mathematical ordinary Petri net (OPN) tools to facilitate model verification and validation. The proposal presented here completes these requirements. Educational applications at the USP and UEA (Brazil) and the UO (Cuba), as well as industrial applications in Brazil and Cuba, have already been carried out with good results.

Development of Control Systems for Safety Instrumented Systems

Safety Instrumented Systems (SIS) are designed to prevent and / or mitigate accidents, avoiding undesirable high potential risk scenarios, assuring protection of people`s health, protecting the environment and saving costs of industrial equipment. The design of these systems require formal methods for ensuring the safety requirements, but according material published in this area, has not identified a consolidated procedure to match the task. This sense, this article introduces a formal method for diagnosis and treatment of critical faults based on Bayesian network (BN) and Petri net (PN). This approach considers diagnosis and treatment for each safety instrumented function (SIF) including hazard and operability (HAZOP) study in the equipment or system under control. It also uses BN and Behavioral Petri net (BPN) for diagnoses and decision-making and the PN for the synthesis, modeling and control to be implemented by Safety Programmable Logic Controller (PLC). An application example considering the diagnosis and treatment of critical faults is presented and illustrates the methodology proposed.

Influence of the technological innovation degree on knowledge creation: Evidence from a Brazilian firm

The aim of this paper is to analyze the process of knowledge creation when developing high technology products in projects having various innovation degrees. The main contribution to the literature is the systematization of an approach to analyze knowledge creation during the product innovation process. Three innovation projects developed by a company specialized in industrial automation systems were investigated using case studies. The knowledge creation processes, which took place in these three projects, were analyzed comparatively. As a distinctive result of this paper, the main features of the knowledge creation processes influenced by a degree of technological innovation are identified.

Embedded DSP-Based Compact Fuzzy System and Its Application for Induction-Motor V/f Speed Control

This paper presents a compact embedded fuzzy system for three-phase induction-motor scalar speed control. The control strategy consists in keeping constant the voltage-frequency ratio of the induction-motor supply source. A fuzzy-control system is built on a digital signal processor, which uses speed error and speed-error variation to change both the fundamental voltage amplitude and frequency of a sinusoidal pulsewidth modulation inverter. An alternative optimized method for embedded fuzzy-system design is also proposed. The controller performance, in relation to reference and load-torque variations, is evaluated by experimental results. A comparative analysis with conventional proportional-integral controller is also achieved.

Synthesis of PID controllers for a class of time delay systems

In this paper we use the Hermite-Biehler theorem to establish results on the design of proportional plus integral plus derivative (PID) controllers for a class of time delay systems. Using the property of interlacing at high frequencies of the class of systems considered and linear programming we obtain the set of all stabilizing PID controllers. As far as we know, previous results on the synthesis of PID controllers rely on the solution of transcendental equations. This paper also extends previous results on the synthesis of proportional controllers for a class of delay systems Of retarded type to a larger class of delay systems. (C) 2009 Elsevier Ltd. All rights reserved.

Optimizing model predictive control of an industrial distillation column

The main scope of this work is the implementation of an MPC that integrates the control and the economic optimization of the system. The two problems are solved simultaneously through the modification of the control cost function that includes an additional term related to the economic objective. The optimizing MPC is based on a quadratic program (QP) as the conventional MPC and can be solved with the available QP solvers. The method was implemented in an industrial distillation system, and the results show that the approach is efficient and can be used, in several practical cases. (C) 2011 Elsevier Ltd. All rights reserved.

Enlarging the domain of attraction of stable MPC controllers, maintaining the output performance

This work presents an alternative way to formulate the stable Model Predictive Control (MPC) optimization problem that allows the enlargement of the domain of attraction, while preserving the controller performance. Based on the dual MPC that uses the null local controller, it proposed the inclusion of an appropriate set of slacked terminal constraints into the control problem. As a result, the domain of attraction is unlimited for the stable modes of the system, and the largest possible for the non-stable modes. Although this controller does not achieve local optimality, simulations show that the input and output performances may be comparable to the ones obtained with the dual MPC that uses the LQR as a local controller. (C) 2009 Elsevier Ltd. All rights reserved.

A stable MPC with zone control

Several MPC applications implement a control strategy in which some of the system outputs are controlled within specified ranges or zones, rather than at fixed set points [J.M. Maciejowski, Predictive Control with Constraints, Prentice Hall, New Jersey, 2002]. This means that these outputs will be treated as controlled variables only when the predicted future values lie outside the boundary of their corresponding zones. The zone control is usually implemented by selecting an appropriate weighting matrix for the output error in the control cost function. When an output prediction is inside its zone, the corresponding weight is zeroed, so that the controller ignores this output. When the output prediction lies outside the zone, the error weight is made equal to a specified value and the distance between the output prediction and the boundary of the zone is minimized. The main problem of this approach, as long as stability of the closed loop is concerned, is that each time an output is switched from the status of non-controlled to the status of controlled, or vice versa, a different linear controller is activated. Thus, throughout the continuous operation of the process, the control system keeps switching from one controller to another. Even if a stabilizing control law is developed for each of the control configurations, switching among stable controllers not necessarily produces a stable closed loop system. Here, a stable M PC is developed for the zone control of open-loop stable systems. Focusing on the practical application of the proposed controller, it is assumed that in the control structure of the process system there is an upper optimization layer that defines optimal targets to the system inputs. The performance of the proposed strategy is illustrated by simulation of a subsystem of an industrial FCC system. (C) 2008 Elsevier Ltd. All rights reserved.

A logic-based agent that plans for extended reachability goals

Planning to reach a goal is an essential capability for rational agents. In general, a goal specifies a condition to be achieved at the end of the plan execution. In this article, we introduce nondeterministic planning for extended reachability goals (i.e., goals that also specify a condition to be preserved during the plan execution). We show that, when this kind of goal is considered, the temporal logic CTL turns out to be inadequate to formalize plan synthesis and plan validation algorithms. This is mainly due to the fact that the CTL`s semantics cannot discern among the various actions that produce state transitions. To overcome this limitation, we propose a new temporal logic called alpha-CTL. Then, based on this new logic, we implement a planner capable of synthesizing reliable plans for extended reachability goals, as a side effect of model checking.

Modelagem e gestão das perdas no suprimento de tomates para processamento industrial

O suprimento de tomates para processamento industrial é uma atividade relativamente complexa. Plantas industriais de larga escala necessitam de elevados volumes diários de matéria-prima. Por outro lado, há alta perecibilidade dos frutos e a colheita ainda é predominantemente manual. Um modelo matemático foi desenvolvido com o propósito de entender objetivamente o processo de suprimento de tomate e, também, vislumbrar possibilidades de sua otimização. A simulação a partir do modelo pode gerar cenários que, quando comparados com o desempenho efetivamente observado em campo, evidenciam a importância da gestão acurada, com a presença de potenciais ganhos financeiros expressivos na cadeia de suprimentos a partir da redução de tempos, perdas e custos. As perdas de produto poderiam ser reduzidas de mais de 2% para algo inferior a 1%. A menor capacidade ociosa traduzir-se-ia em um menor custo de oportunidade e aumento de receita. Para uma fábrica com um consumo de tomates de 336 mil toneladas por ano, a melhoria no suprimento de matéria-prima poderia resultar em ganhos estimados em R$ 6 milhões por ano.

Avaliação tecnológica de painéis MDF de madeira de Eucalyptus grandis confeccionados em laboratório e em linha de produção industrial

MDF panels of Eucalyptus grandis wood fibers were made in either experimentally in a laboratory or on an industrial production line. In order to analyze the influence of the production condition, the anatomical, physical and mechanical properties of the panels were determined. The wood refining induced the transversal rupture of the transversal fiber wall. The MDF panels obtained from the industrial production line presented less swelling in thickness and absorption values and improved mechanical properties in the requirements of bending strength, module of elasticity and surface resistance. For laboratory MDF panels, it was possible to verify a statistically significant correlation between bending strength and module of elasticity, medium density and internal bond and swelling in thickness and absorption. This tendency was also true for the MDF panels obtained in real conditions of production, however without statistical significance. By comparing the quality properties of MDF panels produced in the laboratory with those obtained in real conditions of production, it was sought to standardize the established variables for obtaining panels on a small scale, as well to make possible the safe transfer and divulgation of information obtained in the laboratory.

Aspectos estratégicos e econômicos da política de bonificação em quantidade de produto

ste trabalho objetiva identificar a percepção dos gestores de controladoria de indústrias sobre os aspectos estratégicos e econômicos da decisão de bonificação em quantidade de produto. A premissa é que os resultados econômicos gerados pela decisão de desconto no preço e de bonificação em quantidade de produto são iguais, considerando a mesma quantidade de produto entregue ao cliente. Com base no banco de dados da FIPECAFI- FEA-USP, analisaram-se 91 questionários encaminhados a controllers atuantes em diversos setores. Os resultados revelam: 1) um número muito significativo de empresas da amostra selecionada adota a bonificação em produtos; 2) a área comercial é a principal responsável por essa decisão; e 3) identificação da percepção dos controllers sobre aspectos decisórios de bonificação em quantidade de produtos.

Programmable diagnostic devices made from paper and tape

This paper describes three-dimensional microfluidic paper-based analytical devices (3-D mu PADs) that can be programmed (postfabrication) by the user to generate multiple patterns of flow through them. These devices are programmed by pressing single-use 'on' buttons, using a stylus or a ballpoint pen. Pressing a button closes a small space (gap) between two vertically aligned microfluidic channels, and allows fluids to wick from one channel to the other. These devices are simple to fabricate, and are made entirely out of paper and double-sided adhesive tape. Programmable devices expand the capabilities of mu PADs and provide a simple method for controlling the movement of fluids in paper-based channels. They are the conceptual equivalent of field-programmable gate arrays (FPGAs) widely used in electronics.

Status of chemical elements in Atlantic Forest tree species near an industrial complex

Environmental quality assessment studies have been conducted with tree species largely distributed in the Atlantic Forest. Leaf and soil samples were collected in the conservation unit Parque Estadual da Serra do Mar (PESM) nearby the industrial complex of Cubatao, Sao Paulo State, Brazil, and analyzed for chemical elements by instrumental neutron activation analysis. Results were compared to background values obtained in the Parque Estadual Carlos Botelho (PECB). The higher As, Fe, Hg and Zn mass fractions in the tree leaves of PESM indicated anthropogenic influence on this conservation unit.

Industrial apiculture in the Jordan valley during Biblical times with Anatolian honeybees

Although texts and wall paintings suggest that bees were kept in the Ancient Near East for the production of precious wax and honey, archaeological evidence for beekeeping has never been found. The Biblical term ""honey"" commonly was interpreted as the sweet product of fruits, such as dates and figs. The recent discovery of unfired clay cylinders similar to traditional hives still used in the Near East at the site of Tel Rehov in the Jordan valley in northern Israel suggests that a large-scale apiary was located inside the town, dating to the 10th-early 9th centuries B.C.E. This paper reports the discovery of remains of honeybee workers, drones, pupae, and larvae inside these hives. The exceptional preservation of these remains provides unequivocal identification of the clay cylinders as the most ancient beehives yet found. Morphometric analyses indicate that these bees differ from the local subspecies Apis mellifera syriaca and from all subspecies other than A. m. anatoliaca, which presently resides in parts of Turkey. This finding suggests either that the Western honeybee subspecies distribution has undergone rapid change during the last 3,000 years or that the ancient inhabitants of Tel Rehov imported bees superior to the local bees in terms of their milder temper and improved honey yield.