Design and operational control of an AGV system

In this paper we first deal with the design and operational control of Automated Guided Vehicle (AGV) systems, starting from the literature on these topics. Three main issues emerge: track layout, the number of AGVs required and operational transportation control. An hierarchical queueing network approach to determine the number of AGVs is decribed. Also basic concepts are presented for the transportation control of both a job-shop and a flow-shop. Next we report on the results of a case study, in which track layout and transportation control are the main issues. Finally we suggest some topics for further research

Sound and Precise Malware Analysis for Android via Pushdown Reachability and Entry-Point Saturation

We present Anadroid, a static malware analysis framework for Android apps. Anadroid exploits two techniques to soundly raise precision: (1) it uses a pushdown system to precisely model dynamically dispatched interprocedural and exception-driven control-flow; (2) it uses Entry-Point Saturation (EPS) to soundly approximate all possible interleavings of asynchronous entry points in Android applications. (It also integrates static taint-flow analysis and least permissions analysis to expand the class of malicious behaviors which it can catch.) Anadroid provides rich user interface support for human analysts which must ultimately rule on the "maliciousness" of a behavior. To demonstrate the effectiveness of Anadroid's malware analysis, we had teams of analysts analyze a challenge suite of 52 Android applications released as part of the Auto- mated Program Analysis for Cybersecurity (APAC) DARPA program. The first team analyzed the apps using a ver- sion of Anadroid that uses traditional (finite-state-machine-based) control-flow-analysis found in existing malware analysis tools; the second team analyzed the apps using a version of Anadroid that uses our enhanced pushdown-based control-flow-analysis. We measured machine analysis time, human analyst time, and their accuracy in flagging malicious applications. With pushdown analysis, we found statistically significant (p < 0.05) decreases in time: from 85 minutes per app to 35 minutes per app in human plus machine analysis time; and statistically significant (p < 0.05) increases in accuracy with the pushdown-driven analyzer: from 71% correct identification to 95% correct identification.Comment: Appears in 3rd Annual ACM CCS workshop on Security and Privacy in SmartPhones and Mobile Devices (SPSM'13), Berlin, Germany, 201

Convertibility Evaluation of Automated Assembly System Designs for High Variety Production

© 2017 The Authors. The recent advancements in technology and the high volatility in automotive market compel industries to design their production systems to offer the required product variety. Although, paradigms such as reconfigurable modular designs, changeable manufacturing, holonic and agent based systems are widely discussed to satisfy the need for product variety management, it is essential to practically assess the initial design at a finer level of granularity, so that those designs deemed to lack necessary features can be flagged and optimised. In this research, convertibility expresses the ability of a system to change to accommodate product variety. The objective of this research is to evaluate the system design and quantify its responsiveness to change for product variety. To achieve this, automated assembly systems are decomposed into their constituent components followed by an evaluation of their contribution to the system's ability to change. In a similar manner, the system layout is analysed and the measures are expressed as a function of the layout and equipment convertibility. The results emphasize the issues with the considered layout configuration and system equipment. The proposed approach is demonstrated through the conceptual design of battery module assembly system, and the benefits of the model are elucidated

Convertibility Evaluation of Automated Assembly System Designs for High Variety Production

The recent advancements in technology and the high volatility in automotive market compel industries to design their production systems to offer the required product variety. Although, paradigms such as reconfigurable modular designs, changeable manufacturing, holonic and agent based systems are widely discussed to satisfy the need for product variety management, it is essential to practically assess the initial design at a finer level of granularity, so that those designs deemed to lack necessary features can be flagged and optimised. In this research, convertibility expresses the ability of a system to change to accommodate product variety. The objective of this research is to evaluate the system design and quantify its responsiveness to change for product variety. To achieve this, automated assembly systems are decomposed into their constituent components followed by an evaluation of their contribution to the system's ability to change. In a similar manner, the system layout is analysed and the measures are expressed as a function of the layout and equipment convertibility. The results emphasize the issues with the considered layout configuration and system equipment. The proposed approach is demonstrated through the conceptual design of battery module assembly system, and the benefits of the model are elucidated

Basic zone control performance determination in FTS design

U radu je izložena procedura za procenu vremena blokiranja vozila u kontrolnim zonama, koja predstavlja mali deo postupka za određivanje vrednosti promenljivih performansi sistema i elementarnih podsistema u projektovanju fleksibilnih transportnih sistema (FTS). Procedura je završni korak Integralnog analitičkog modela (IAM) za projektovanje i određivanje performansi FTS-a, čiji je generalni algoritam, takođe, predstavljen. Predložena strategija analitičkog modeliranja znatno poboljšava nivo tačnosti predviđanja performansi sistema i elementarnih podsistema FTS-a.This paper presents procedure for estimation of vehicle control zone blocking times as an only a small part of system and elementary subsystems performance variables calculation in a flexible transport system (FTS) design. Procedure is a final step of an Integral analytical model (IAM) for FTS design and performances determination, whose general algorithm is shown. Some results of sensitively analyses performed by IAM are also presented. Proposed analytical modeling strategy substantially increases the level of accuracy of system and elementary subsystem performance predicting

A Review Of Design And Control Of Automated Guided Vehicle Systems

This paper presents a review on design and control of automated guided vehicle systems. We address most key related issues including guide-path design, estimating the number of vehicles, vehicle scheduling, idle-vehicle positioning, battery management, vehicle routing, and conflict resolution. We discuss and classify important models and results from key publications in literature on automated guided vehicle systems, including often-neglected areas, such as idle-vehicle positioning and battery management. In addition, we propose a decision framework for design and implementation of automated guided vehicle systems, and suggest some fruitful research directions

Facility layout problem: Bibliometric and benchmarking analysis

Facility layout problem is related to the location of departments in a facility area, with the aim of determining the most effective configuration. Researches based on different approaches have been published in the last six decades and, to prove the effectiveness of the results obtained, several instances have been developed. This paper presents a general overview on the extant literature on facility layout problems in order to identify the main research trends and propose future research questions. Firstly, in order to give the reader an overview of the literature, a bibliometric analysis is presented. Then, a clusterization of the papers referred to the main instances reported in literature was carried out in order to create a database that can be a useful tool in the benchmarking procedure for researchers that would approach this kind of problems

Simulation in Automated Guided Vehicle System Design

The intense global competition that manufacturing companies face today results in an increase of product variety and shorter product life cycles. One response to this threat is agile manufacturing concepts. This requires materials handling systems that are agile and capable of reconfiguration. As competition in the world marketplace becomes increasingly customer-driven, manufacturing environments must be highly reconfigurable and responsive to accommodate product and process changes, with rigid, static automation systems giving way to more flexible types. Automated Guided Vehicle Systems (AGVS) have such capabilities and AGV functionality has been developed to improve flexibility and diminish the traditional disadvantages of AGV-systems. The AGV-system design is however a multi-faceted problem with a large number of design factors of which many are correlating and interdependent. Available methods and techniques exhibit problems in supporting the whole design process. A research review of the work reported on AGVS development in combination with simulation revealed that of 39 papers only four were industrially related. Most work was on the conceptual design phase, but little has been reported on the detailed simulation of AGVS. Semi-autonomous vehicles (SA V) are an innovative concept to overcome the problems of inflexible -systems and to improve materials handling functionality. The SA V concept introduces a higher degree of autonomy in industrial AGV -systems with the man-in-the-Ioop. The introduction of autonomy in industrial applications is approached by explicitly controlling the level of autonomy at different occasions. The SA V s are easy to program and easily reconfigurable regarding navigation systems and material handling equipment. Novel approaches to materials handling like the SA V -concept place new requirements on the AGVS development and the use of simulation as a part of the process. Traditional AGV -system simulation approaches do not fully meet these requirements and the improved functionality of AGVs is not used to its full power. There is a considerflble potential in shortening the AGV -system design-cycle, and thus the manufacturing system design-cycle, and still achieve more accurate solutions well suited for MRS tasks. Recent developments in simulation tools for manufacturing have improved production engineering development and the tools are being adopted more widely in industry. For the development of AGV -systems this has not fully been exploited. Previous research has focused on the conceptual part of the design process and many simulation approaches to AGV -system design lack in validity. In this thesis a methodology is proposed for the structured development of AGV -systems using simulation. Elements of this methodology address the development of novel functionality. The objective of the first research case of this research study was to identify factors for industrial AGV -system simulation. The second research case focuses on simulation in the design of Semi-autonomous vehicles, and the third case evaluates a simulation based design framework. This research study has advanced development by offering a framework for developing testing and evaluating AGV -systems, based on concurrent development using a virtual environment. The ability to exploit unique or novel features of AGVs based on a virtual environment improves the potential of AGV-systems considerably.University of Skovde. European Commission for funding the INCO/COPERNICUS Projec