Authors: Dobrescu, Radu, Dobrescu, Matei

Abstract: The major contribution presented in this paper is an algorithm, which exploits the “flow concept” and selection policy to assure the delivery of strong operations with minimum delay for CSCW (Computer Supported Collaborative Work). The distributed algorithm guarantees the delivery of strong operation messages to the application in the same global order. Timestamps are used to enforce global ordering on the strong operations. The execution of any strong operation is postponed until the timestamp of that operation is smaller than all the estimated timestamp counters of the system. Then we define the flows concept that ensures a causal dependency relation among messages in order to preserve the context in which a message is sent. We prove that the flows concept and the global ordering algorithm together capture the requirements of the “flows consistency” model and we present execution examples that show how inconsistencies can appear if the system does not ensure causal synchronization. Finally, we demonstrate that the implementation of our message based distributed system assures causal consistency.

Keywords: Inter-Organizational Workflow Management; PLM Systems; Formalisms and Modeling Techniques

Identifier: 10.3182/20090603-3-RU-2001.00276

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Yang, Shih-Ting, Hou, Jiang-Liang

Abstract: Recently, enterprises have faced the pressure of industry transformation and high competency in the global market. In Taiwan, most small and medium sized enterprises (SMEs) cannot afford advanced R&D. In order to increase competency of SMEs, the technology and service providers (TSPs) play a critical role for innovative technology provision. Traditionally, the salesmen of TSPs have to evaluate the critical customers via trials and errors. In addition, although the personal digital assistant (PDA) has been widely used to promote business for its high mobility, the business information downloaded into PDA is actually rarely concerned. In order to increase efficiency and effectiveness of business promotion, this paper focuses on the development of a personal business information management (PBIM) model with four modules namely critical customer identification (CCI), potential customer identification (PCI), PDA user category determination (UCD) and PDA user busy level determination (UBD) for TSPs to identify potential customers and to provide personalized business information. A non-profit R&D institute in Taiwan is used to validate feasibility of the proposed modules via the developed PBIM platform. This paper presents a feasible PBIM approach for the TSPs to efficiently and systematically analyze the project history and PDA daily records for business outreach.

Keywords: Enterprise-wide Information System; Enterprise Interoperability

Identifier: 10.3182/20090603-3-RU-2001.00109

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Smale, Daniel, Ratchev, Svetan

Abstract: Reconfigurable Assembly Systems (RAS) offer the potential to enable rapid exchange of functional modules to facilitate a change in product. There has however been little investigation into the planning of multiple system reconfigurations. The work proposes a capability-based approach; consisting of a Capability Taxonomy and Capability Model which focuses on multiple system reconfigurations. The Capability Taxonomy is based upon operator-oriented definition, thereby utilising existing knowledge and expertise. It delivers a numerical output for comparison and so can be adapted to suit particular industries without affecting the methodology, giving the potential for the methodology to be integrated as a Design For Manufacture and Assembly (DFMA) tool. The Capability Model consists of Capability Identification and Comparison processes: by aggregating the results, capability and compatibility sets can be derived. The work proposed describes the overall approach and it’s key elements and goes on to detail the Capability Taxonomy and Model. An example application is presented and future work outlined.

Keywords: Manufacturing System Engineering; Reconfigurable Manufacturing Systems (RMS); Computational Science

Identifier: 10.3182/20090603-3-RU-2001.00323

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Farkhatdinov, Ildar, Balashov, Vadim, Ryu, Jee-Hwan, Poduraev, Jury

Abstract: This paper presents a comparative study of indirect and direct workspace representation in human-robot interaction. Most of previous researches were using indirect workspace representation or were restricted to mobile robot applications. We extended human-robot interface with direct workspace representation for control of manipulator. Touch screen with representation of manipulators' task space was used as an input/output device with direct workspace representation. Experimental study showed that usage of direct workspace representation significantly improves accuracy and productivity of control in human-robot interaction. Proposed human-robot interface was tested with manipulator. Possible application areas were described.

Keywords: Robotic Systems; Optimization and Control; Human-Automation Integration

Identifier: 10.3182/20090603-3-RU-2001.00289

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Jeong, Suho, Hur, Seung Min, Suh, Suk-Hwan

Abstract: Ubiquitous computing technology has been rapidly advanced and applied to diverse domains. This paper addresses the problem of how to implement ubiquitous manufacturing system by proposing a new approach, called CAUSE (Computer Aided Ubiquitous System Engineering). This method has great potential compared with the conventional ones relying on physical implementation based on human experience followed by trial-and-error correction. Specifically, this paper develops a framework for the software supporting the ubiquitous system engineering based on requirement analysis, functional details, and implementation issues including enabling technology. The usefulness of the proposed method is shown by developing a prototype system for a ubiquitous manufacturing system with RFID.

Keywords: Manufacturing System Engineering

Identifier: 10.3182/20090603-3-RU-2001.00311

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Hennet, Jean-Claude, Mahjoub, Sonia

Abstract: Supply chain design problems can be analyzed as cooperative linear production games. The maximal total payoff and the optimal coalition of a “market responsive” supply network can be obtained from the solution of the mixed-variables Linear Programming problem. Then, using duality theory, the “Owen set” can be constructed in order to allocate the payoff among the members of the optimal coalition. However, it is shown that for a classical aggregate planning model, such an allocation scheme may be unfair and its stability critical. The main reason for this defect is in the poor representation of capacitated resources through bounds on workloads. It is shown that a better payoff allocation mechanism can be computed by introducing some clearing functions in the model.

Keywords: Capacity and Performance Evaluation; Optimization and Control; Reconfigurable Manufacturing Systems (RMS)

Identifier: 10.3182/20090603-3-RU-2001.00259

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Baalbaki, Hassan, Xie, Xiaolan

Abstract: This paper describes the decision framework for managing a group of reconfigurable mobile service robots, built to help the health care personnel in their logistic activities that range from medicine delivery to virtual consultation to spillage cleaning to surveillance patrolling and environmental monitoring. A formal model describes the operation of the robotic system. A decision framework is proposed for operation management of the robotic system including configuration, location, power management of robots and mission allocation and real time control. Finally a linear programming approach is proposed for configuration, location and power management of robots. Numerical experimentation is conducted to show the limit of such an approach

Keywords: Robotic Systems; Optimization and Control; Integer Linear Programming

Identifier: 10.3182/20090603-3-RU-2001.00023

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Fantuzzi, Cesare, Bonfe, Marcello, Secchi, Cristian

Abstract: The paper presents the results of the application of object-oriented modeling techniques to the control software design of complex manufacturing systems, with particular focus on automatic machineries for production and packaging of food stuff, as milk, snacks, etc. In this application fields there are some peculiar problems to tackle in order to develop effective software control solutions, as for example the exception handling caused by product or packaging material jam, the Human Machine Interface, the recipe production management etc. The goal of this paper is to introduce design patterns developed in the framework of UML applied to the development of automatic machineries software, aiming to define a set of predefined modeling solutions to some class of recurrent design problems.

Keywords: Formalisms and Modeling Techniques; Holonic Manufacturing Systems; Discrete Event Controller

Identifier: 10.3182/20090603-3-RU-2001.00238

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Udrea, Andreea, Voinescu, Monica, Caramihai, Simona Iuliana, Lupu, Ciprian

Abstract: The paper presents the first results of a national budgeted “Intelligent Techniques for the Modeling, Analysis, and Optimization of Urban Traffic” research project concerning the modeling, evaluation and optimization of urban traffic. For the modeling phase a dual approach was used – using both Hybrid Petri Nets and Matlab/Simulink models. Models were realized starting from the same assumptions and ontology. The paper will present the modeling methodology, as well as a comparison between the two kinds of models, using the same set of input data. Also, for the considered example, a solution is given, that eliminates traffic blockage.

Keywords: Formalisms and Modeling Techniques

Identifier: 10.3182/20090603-3-RU-2001.00233

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Korytkowski, Przemyslaw, Zaikin, Oleg, Olejnik-Krugly, Agnieszka

Abstract: In this paper a framework for a quality assurance for an offset printing is developed. This problem comes directly from the printing industry where many companies are struggling with more and more demanding market. The customers’ expectations are threefold: good quality, short lead times and low prices. This cause that printers have to pay more attention to shortening of make-ready times, be in concordance with ISO 12647-2 and to shorten a small adjustment times on a printing machines. The developed framework presents an integrated approach to control a quality parameters of a printout on an offset printing machine and enables to: store data for testing quality of printout according to ISO norms, detect a quality flaws, aid an machine operators to solve majority of quality concerned problems on the machine and develop amendments for a typical setup parameters in order to shorten make-ready times.

Keywords: Diagnostic Systems; Bayesian Approach

Identifier: 10.3182/20090603-3-RU-2001.00314

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Popova, Viara, Sharpanskykh, Alexei

Abstract: Modern organisations are characterised by a great variety of forms and often involve many actors with diverse goals, performing a wide range of tasks in changing environmental conditions. Due to high complexity, mistakes and inconsistencies are not rare in organisations. To provide better insights into the organisational operation and to identify different types of organisational problems explicit specification of relations and rules, on which the structure and behaviour of an organisation are based, is required. Before it is used, the specification of an organisation should be checked for internal consistency and validity w.r.t. the domain. To this end, the paper introduces a framework for formal specification of constraints that ensure the consistency and validity of organisational specifications. To verify the satisfaction of constraints efficient algorithms have been developed and implemented. The application of the proposed approach is illustrated by a case study from the air traffic domain.

Keywords: Formalisms and Modeling Techniques; Formal Specification and Verification; Enterprise System Engineering

Identifier: 10.3182/20090603-3-RU-2001.00227

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Aubry, Alexis, Jacomino, Mireille, Rossi, André

Abstract: This paper addresses production systems optimisation in uncertain context. A standard framework for solving such type of problems is depicted in a 3-step approach. The two first steps are addressed in this paper. They consist of off-line characterisation of the problem and calculation of solutions with some desired performance. A generic approach to implement these off-line steps is introduced in this paper. This approach relies on calculation of robust off-line solutions. A generic framework of robustness is defined. Then five standard optimisation problems are derived and related to the so called stability and sensitivity analysis. This generic approach is then applied to a multi-purpose machines problem.

Keywords: Process Planning/Equipment Selection; Optimization and Control; Reconfigurable Manufacturing Systems (RMS)

Identifier: 10.3182/20090603-3-RU-2001.00244

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Javadian, Javadian, Seyyedi, Seyyedi, Rezaeian, Rezaeian

Abstract: Over the past three decades considerable amount of research work has been reported in the literature of Group Technology (GT). Cellular Manufacturing System- an important application of Group Technology (GT) – has been recognized as an effective way to enhance the productivity in a factory. Cellular manufacturing is one of the most powerful management innovations in actualizing mass customization. Most of the research work is concerned with formation of machine cells and part families. This is because cell formation is considered to be the most complex and the most important aspect of Cellular Manufacturing System (CMS). Due to NP completeness of cell formation problem (CFP), many heuristics have been developed. In this paper, an integer programming model is constructed to design a cellular manufacturing system with independent cells. A genetic algorithm is developed to solve the cell design problem. The results from the investigations show that the genetic algorithm often finds better solutions than the exact algorithms.

Keywords: Manufacturing Cells; Integer Linear Programming; Heuristic and Metaheuristics

Identifier: 10.3182/20090603-3-RU-2001.00174

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Kochetov, Yuri, Plyasunov, Alexandr, Mikhailova, Anastasiya

Abstract: A new genetic local search algorithm is designed for the graph partitioning problem with cardinality constraint for each subset of the vertices. The family of local optima under the polynomial neighborhoods is used as a population in order to systematically produce better local optima. It is shown that the corresponding local search problems are tightly PLS-complete. So, any local improvement algorithm takes, in the worst case, an exponential number of iterations regardless of the tie--breaking and pivoting rules used. Nevertheless, the local search problems are polynomially solvable if all weights of the edges are identical. For this case, computational experiments are produced for the real--world and random test instances. We observe that this algorithm is efficient and effective. It allows to find the high quality local optima.

Keywords: Heuristic and Metaheuristics; Integer Linear Programming; Discrete Applied Mathematics

Identifier: 10.3182/20090603-3-RU-2001.00335

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Essafi, Mohamed, Delorme, Xavier, Dolgui, Alexandre

Abstract: This paper deals with an industrial transfer line balancing problem (TLBP) involving specific constraints. The studied lines are paced and serial, i.e. a part to be machined passes through a sequence of stations. At least one CNC (Computer Numerical Controller) machine is installed at each station. As usual with transfer lines, this problem is subject to precedence constraints as well as exclusion and inclusion constraints. Moreover, the station workload depends on the sequence in which the operations are assigned to the station because of set-up times related to the change and displacement of tools, rotation of the part, etc. In addition, accessibility constraints have to be considered, and different types of CNC machines with different characteristics can be used depending on the operations to perform. The objective is to assign a given set of operations, required for part machining, as well as a set of machines to a sequence of stations while minimizing the total cost of the line.We propose here a heuristic based on the GRASP (Greedy Randomized Adaptive Search Procedures) metaheuristic to consider large size industrial cases.

Keywords: Line Design and Balancing; Machining and Assembly Systems; Heuristic and Metaheuristics

Identifier: 10.3182/20090603-3-RU-2001.00125

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Borangiu, Theodor, Dogar, Anamaria, Dumitrache, Alexandru

Abstract: This article presents a heuristic algorithm for motion planning of a short range 7-DOF Laser Scanning System consisting of a 6-DOF vertical robot arm and a rotary table holding the workpiece. The redundancy of the mechanism is exploited for specifying certain constraints such as imposing a smooth motion of the rotary table while respecting the acceleration and speed limits and avoiding undesirable configurations of the robot arm such as the kinematic singularities, out-of-range conditions and collisions between the mechanical elements of the system (robot, table, workpiece and laser probe). The paper also presents the control system of the rotary table, and a communication protocol which allows the integration of the above-mentioned planning algorithm into the 3D scanning system.

Keywords: Robotic Systems; Optimization and Control; Manufacturing System Engineering

Identifier: 10.3182/20090603-3-RU-2001.00202

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Wang, Lei, Sawaragi, Tetsuo, Tian, Yajie

Abstract: Cell production in which a few human workers operate robots to manufacture products is popular in Japan due to its flexibility. However, it is difficult for human workers to teach the robots to perform the assembly tasks. Therefore, this paper proposes a hierarchical knowledge based system to facilitate teaching robots the assembly tasks. The hierarchical knowledge based system divides the teaching task into 3 levels: 1. the task level – human workers breakdown the complex assembly task with HTA (hierarchical task analysis); 2. the plan level – human workers teach robots to assemble each workpiece with the plan knowledge base; 3. the command level – with the command knowledge base, the assembling plan of each workpiece is translated into robot commands and executed by robots. As the knowledge bases in this system updated and augmented during each teaching task, the human workers’ assembling and teaching skills will be accumulated in the system to ease future teaching tasks.

Keywords: Machining and Assembly Systems; Human-Automation Integration; Manufacturing Cells

Identifier: 10.3182/20090603-3-RU-2001.00019

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Kochetov, Yuri, Plyasunov, Alexandr, Kochetova, Nina, Alekseeva, Ekaterina

Abstract: In the competitive $p$-median problem, two decision makers, the leader and the follower, compete to attract clients from a given market. The leader opens his facilities, anticipating that the follower will react to the decision by opening own facilities. The leader and the follower try to maximize their own profits. This is the Stackelberg game. We present it as a linear bilevel 0-1 problem. It is known that the problem is NP-hard. We develop a hybrid memetic algorithm for it where the follower problem is solved by commercial software. To obtain an upper bound for this maximization problem, we reformulate the bilevel problem as a single level mixed integer programming problem with exponential number of constraints and variables. Removing some of them, we get the desired upper bound. For finding an appropriate family of constraints and variables, we use metaheuristics again. As a result, we get near optimal solutions for the bilevel problem with a posterior bound for deviation from the global optimum. Computational results for Euclidian test instances are discussed.

Keywords: Heuristic and Metaheuristics; Integer Linear Programming; Discrete Applied Mathematics

Identifier: 10.3182/20090603-3-RU-2001.00254

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Gerosa, Marco, Taisch, Marco

Abstract: The need to integrate service providers into an existing customer supply chain requires the collective know-how of the coordination mode, including the ability to synchronize interdependent processes, to integrate information systems and to cope with distributed learning. About this topic the EU-funded InCoCo-S project developed a new standard business reference model with key focus on operation & integration of business related services in supply chains. Based on the requirement analysis concrete business processes have been developed to integrate services in the existing customer supply chain both on a strategic and operational level. Here the reference model is presented with a particular focus on its logistic cluster.

Keywords: Business Process Modeling; Supply Chain Management (SCM)

Identifier: 10.3182/20090603-3-RU-2001.00223

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Boehle, Carsten, Dangelmaier, Wilhelm, Hellingrath, Bernd

Abstract: In spite of the importance of efficient supply chain cooperation, planning in production and transportation are still conducted separately today. This paper presents a model that simultaneously creates lot-based plans for both production and transportation. It is assumed that transports are organized as milk runs, i.e. one truck stops at several suppliers before heading to the buyer. The integration of production planning and inbound logistics tour planning into a dynamic model has not been studied before. After a brief review of literature on integrated planning models, requirements for a model that is able to solve the outlined problem are given. A mathematical model is formulated along with a heuristic which is necessary because the model combines production planning and vehicle routing which are both computationally intensive problems and thus not mathematically solvable in acceptable time. Results show that supply chain-wide costs can be reduced with the help of the presented algorithm. Some comments on the applicability in practice and the need for further research are given in an outlook.

Keywords: Supply Chain Management (SCM)

Identifier: 10.3182/20090603-3-RU-2001.00098

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Bourdeaud'huy, Thomas

Abstract: In this paper, we propose a mathematical programming model for the resolution of the reachability problem in Time Petri Nets. We are more particularly interested in unweighted Time Petri Nets with safe markings and weak time semantics

Keywords: Integer Linear Programming; Dynamic Systems

Identifier: 10.3182/20090603-3-RU-2001.00177

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Ferrarini, Luca, Dedè, Alessio

Abstract: The paper deals with the problem of building a test environment for MES (Manufacturing Execution System) control of manufacturing system. In the paper, the MES control layer has been developed according to agent-based technology inside the Pabadis’Promise Project. The test system is built as a user-defined combination of the real automation components and a 3D graphical simulator. For that reason, it has been named as mixed-reality simulation. The advantage is to allow the system integrator to test some control SW (SoftWare) parts in closed-loop as soon as they become available, and in parallel to proceed with the plant construction. At the beginning the test will be made in simulation, and then some virtual components will be removed and substituted by the real components as soon as they become available. The paper investigates the possibility to automatize this process, and will discuss an application of a real cell producing carter parts for motorbikes.

Keywords: Manufacturing Cells; Flexible Manufacturing Systems (FMS)

Identifier: 10.3182/20090603-3-RU-2001.00020

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Hou, Jiang-Liang

Abstract: The operation efficiency of a distribution center usually significantly affects business operation performance. Furthermore, since the storage area in a warehouse is critical to a distribution center, effective storage management will significantly enhance the operation performance of a distribution center. In order to assist the domain experts to more efficiently and accurately acquire suggestions for storage re-allocation, this research proposes a heuristic algorithm for storage re-allocation operation. First, data about storage locations and inventory are acquired from the warehouse management system (WMS). Based on the inventory and storage information, the items in all storage locations can be merged via a two-phase storage re-allocation method in order to increase the number of the empty storage locations. Based on the above procedure, suggestions for storage re-allocation operation could be generated. Moreover, a storage management system is also developed in this research to automatically generate visualized suggestions for storage re-allocation and management operations. As a whole, this research presents a systematic algorithm and technique for warehouse managers to efficiently and accurately acquire suggestions for storage management.

Keywords: Warehouse Management Systems; Manufacturing System Engineering

Identifier: 10.3182/20090603-3-RU-2001.00164

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Parsheva, Elizaveta

Abstract: The problem to be solved is the problem of construction of an adaptive dynamic regulator for management of multi-coherent object in the conditions of structural and parametrical uncertainty when derivatives of entrance and target variables are inaccessible to the measurements. Working capacity of the synthesized systems is proved at non measured limited indignations action on object of control. Thus, only measurable local subsystems variables are used for formation of operating actions, i.e. completely decentralized control is exercised.

Keywords: Dynamic Systems; Adaptive Methods; System Identification

Identifier: 10.3182/20090603-3-RU-2001.00052

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009

Authors: Duarte Filho, Nelson, Botelho, Silvia, Carvalho, Jonata, Marcos, Pedro, Maffei, Renan, Remor Oliveira, Rodrigo, Oliveira, Rodrigo, Hax, Vinicius

Abstract: Abstract: In this paper we propose a methodology for immersive multiprojection visualization of manufacturing processes. It admits sceneries with dynamic components and allows Virtual Reality collaborative visualization among geographically distributed users, through CAVE devices. We use a set of tools for modeling, converting, visualizing and interacting, besides an game engine as renderization core system. The method can be applied to CAD projects, models and simulations used in industry. The proposed ideas are then validated through the study of a real case related to the Shipbuilding and Offshore Industries. Digital Manufacturing Shipbuilding Virtual Reality

Keywords: Static and Dynamic Facility Layout; Computational Science; Machining and Assembly Systems

Identifier: 10.3182/20090603-3-RU-2001.00191

Conference: 13th IFAC Symposium on Information Control Problems in Manufacturing

Location: V.A. Trapeznikov Institute of Control Sciences, Russia

Start Date: Wed Jun 03 2009 - End Date: Fri Jun 05 2009