Pub Date : 2011-10-13DOI: 10.1109/CASE.2011.6042410
Hao Wang, S. Duncan
Incremental Sheet Forming (ISF) is a novel sheet metal forming technology where the deformation of the metal sheet occurs locally and progressively. Compared to conventional stamping process, ISF does not require custom-made dies and punches which are costly and time-consuming to manufacture, thus ISF is more flexible and is suited to the growing demand for customised production. However, the geometrical accuracy of the shape made by ISF is lower than that made by a stamping process. We address this issue by adopting a linear forming process model and using a closed loop feedback control scheme to generate an optimised tool trajectory. Two types of shapes are produced, and the experimental results show that the by using closed loop control the final geometrical errors can be reduced to a much lower level.
{"title":"Optimization of tool trajectory for Incremental Sheet Forming using closed loop control","authors":"Hao Wang, S. Duncan","doi":"10.1109/CASE.2011.6042410","DOIUrl":"https://doi.org/10.1109/CASE.2011.6042410","url":null,"abstract":"Incremental Sheet Forming (ISF) is a novel sheet metal forming technology where the deformation of the metal sheet occurs locally and progressively. Compared to conventional stamping process, ISF does not require custom-made dies and punches which are costly and time-consuming to manufacture, thus ISF is more flexible and is suited to the growing demand for customised production. However, the geometrical accuracy of the shape made by ISF is lower than that made by a stamping process. We address this issue by adopting a linear forming process model and using a closed loop feedback control scheme to generate an optimised tool trajectory. Two types of shapes are produced, and the experimental results show that the by using closed loop control the final geometrical errors can be reduced to a much lower level.","PeriodicalId":236208,"journal":{"name":"2011 IEEE International Conference on Automation Science and Engineering","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128880078","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2011-10-13DOI: 10.1109/CASE.2011.6042504
F. Sapuppo, P. Anandan, M. Bucolo
The possibility of miniaturization of existing optical setups and technologies for the monitoring and control in microfluidics could represent a step toward the realization of a complete polymeric micro-optic-fluidic system. In this context the presented work involves the design and the optic simulation of PDMS micro-optic interfaces to reproduce the microfluidic feedback: a bubble flow to control a bubble flow.
{"title":"Micro-optic technology for the microfluidics feedback","authors":"F. Sapuppo, P. Anandan, M. Bucolo","doi":"10.1109/CASE.2011.6042504","DOIUrl":"https://doi.org/10.1109/CASE.2011.6042504","url":null,"abstract":"The possibility of miniaturization of existing optical setups and technologies for the monitoring and control in microfluidics could represent a step toward the realization of a complete polymeric micro-optic-fluidic system. In this context the presented work involves the design and the optic simulation of PDMS micro-optic interfaces to reproduce the microfluidic feedback: a bubble flow to control a bubble flow.","PeriodicalId":236208,"journal":{"name":"2011 IEEE International Conference on Automation Science and Engineering","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120936046","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2011-10-13DOI: 10.1109/CASE.2011.6042505
John A. Broderick, Lindsay V. Allen, D. Tilbury
Some faults in manufacturing systems that are evident in event-based data cannot be detected by existing solutions. This paper summarizes a method for identifying anomalies in event-based data using model generation. The method is based on knowledge of events and resources of the system and generates a set of Petri Net models to detect the anomalies. The method is applied to an industrial machining cell that has been experiencing a gantry waiting problem. The anomaly detection solution is able to accurately identify the gantry waiting anomaly and another anomaly that occurred right before the gantry waiting issue, indicating a possible cause.
{"title":"Anomaly detection without a pre-existing formal model: Application to an industrial manufacturing system","authors":"John A. Broderick, Lindsay V. Allen, D. Tilbury","doi":"10.1109/CASE.2011.6042505","DOIUrl":"https://doi.org/10.1109/CASE.2011.6042505","url":null,"abstract":"Some faults in manufacturing systems that are evident in event-based data cannot be detected by existing solutions. This paper summarizes a method for identifying anomalies in event-based data using model generation. The method is based on knowledge of events and resources of the system and generates a set of Petri Net models to detect the anomalies. The method is applied to an industrial machining cell that has been experiencing a gantry waiting problem. The anomaly detection solution is able to accurately identify the gantry waiting anomaly and another anomaly that occurred right before the gantry waiting issue, indicating a possible cause.","PeriodicalId":236208,"journal":{"name":"2011 IEEE International Conference on Automation Science and Engineering","volume":"140 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128474152","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2011-10-13DOI: 10.1109/CASE.2011.6042475
Marco Ghirardi, G. Perboli, Daniele Sasia
In this work a multimodal transport platform designed by Duferco near a steel factory in Belgium is considered. Aim of this paper is to present a simulation-optimization decision system for evaluating the maximum throughput of the platform in presence of uncertainties over the durations of the operations. A greedy algorithm and a local search phase has been implemented in order to create a feasible schedule of the planned operations over different time horizons (from a month to a year). Once a schedule has been computed using approximated input data, it is simulated, introducing stochasticity in the system parameters. From the simulation results it is possible to better evaluate some of the scheduling data, modify them accordingly, and re-schedule and simulate the system. This procedure is iteratively applied until an asymptotic state is reached. Extensive computational results show how the new solutions improve the company best practices.
{"title":"Maximizing the throughput of multimodal logistic platforms by simulation-optimization: The Duferco case study","authors":"Marco Ghirardi, G. Perboli, Daniele Sasia","doi":"10.1109/CASE.2011.6042475","DOIUrl":"https://doi.org/10.1109/CASE.2011.6042475","url":null,"abstract":"In this work a multimodal transport platform designed by Duferco near a steel factory in Belgium is considered. Aim of this paper is to present a simulation-optimization decision system for evaluating the maximum throughput of the platform in presence of uncertainties over the durations of the operations. A greedy algorithm and a local search phase has been implemented in order to create a feasible schedule of the planned operations over different time horizons (from a month to a year). Once a schedule has been computed using approximated input data, it is simulated, introducing stochasticity in the system parameters. From the simulation results it is possible to better evaluate some of the scheduling data, modify them accordingly, and re-schedule and simulate the system. This procedure is iteratively applied until an asymptotic state is reached. Extensive computational results show how the new solutions improve the company best practices.","PeriodicalId":236208,"journal":{"name":"2011 IEEE International Conference on Automation Science and Engineering","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130431397","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2011-10-13DOI: 10.1109/CASE.2011.6042465
Yu Teng, Lanshan Han, W. Tu, N. Kong
Chlamydia trachomatis infection, a major sexually transmitted disease, affects millions of people worldwide. A key public health challenge in managing such a transmitted disease is identifying infected but asymptomatic individuals so that they can be treated with antibiotics. Effectively resolving such a challenge will benefit both treated individuals (by improving quality of life) and the entire population (through reduced transmission). We adapt a well-established SEIRS (susceptible-exposed-infected-recovered-susceptible) model to evaluate the cost and effectiveness of different coverage levels of screening. To find the optimal screening rate, we formulate the question as a parameter optimization problem of ordinary differential equations and then apply a line search method which exhibits fast convergence. The numerical results as well as sensitivity analysis are presented in the paper.
{"title":"Optimizing coverage for a Chlamydia trachomatis screening program","authors":"Yu Teng, Lanshan Han, W. Tu, N. Kong","doi":"10.1109/CASE.2011.6042465","DOIUrl":"https://doi.org/10.1109/CASE.2011.6042465","url":null,"abstract":"Chlamydia trachomatis infection, a major sexually transmitted disease, affects millions of people worldwide. A key public health challenge in managing such a transmitted disease is identifying infected but asymptomatic individuals so that they can be treated with antibiotics. Effectively resolving such a challenge will benefit both treated individuals (by improving quality of life) and the entire population (through reduced transmission). We adapt a well-established SEIRS (susceptible-exposed-infected-recovered-susceptible) model to evaluate the cost and effectiveness of different coverage levels of screening. To find the optimal screening rate, we formulate the question as a parameter optimization problem of ordinary differential equations and then apply a line search method which exhibits fast convergence. The numerical results as well as sensitivity analysis are presented in the paper.","PeriodicalId":236208,"journal":{"name":"2011 IEEE International Conference on Automation Science and Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131203679","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2011-10-13DOI: 10.1109/CASE.2011.6042494
D. Gómez‐Gutiérrez, S. Čelikovský, A. Ramírez-Treviño, J. Ruiz-León, S. Gennaro
This work is concerned with the design of an observer for Switched Linear Systems (SLS) subject to an unknown switching signal. The convergence of the proposed SLS observer is proved, based on observability results for SLS, for the following two cases. First, it is shown that if the discrete state of the SLS is observable, then the observer estimates the switching signal, even though the individual Linear System (LS) may not be observable. And second, it is shown how the observer may provide an estimate of the continuous variables, even though the discrete state is unknown.
{"title":"Sliding mode observer for Switched Linear Systems","authors":"D. Gómez‐Gutiérrez, S. Čelikovský, A. Ramírez-Treviño, J. Ruiz-León, S. Gennaro","doi":"10.1109/CASE.2011.6042494","DOIUrl":"https://doi.org/10.1109/CASE.2011.6042494","url":null,"abstract":"This work is concerned with the design of an observer for Switched Linear Systems (SLS) subject to an unknown switching signal. The convergence of the proposed SLS observer is proved, based on observability results for SLS, for the following two cases. First, it is shown that if the discrete state of the SLS is observable, then the observer estimates the switching signal, even though the individual Linear System (LS) may not be observable. And second, it is shown how the observer may provide an estimate of the continuous variables, even though the discrete state is unknown.","PeriodicalId":236208,"journal":{"name":"2011 IEEE International Conference on Automation Science and Engineering","volume":"77 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134294969","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2011-10-13DOI: 10.1109/CASE.2011.6042426
H. Purwins, Ahmed Nagi, Bernd Barak, Uwe Hockele, A. Kyek, B. Lenz, Gunter Pfeifer, K. Weinzierl
Different approaches for the prediction of average Silicon Nitride cap layer thickness for the Plasma Enhanced Chemical Vapor Deposition (PECVD) dual-layer metal passivation stack process are compared, based on metrology and production equipment Fault Detection and Classification (FDC) data. Various sets of FDC parameters are processed by different prediction algorithms. In particular, the use of high-dimensional multivariate input data in comparison to small parameter sets is assessed. As prediction methods, Simple Linear Regression, Multiple Linear Regression, Partial Least Square Regression, and Ridge Linear Regression utilizing the Partial Least Square Estimate algorithm are compared. Regression parameter optimization and model selection is performed and evaluated via cross validation and grid search, using the Root Mean Squared Error. Process expert knowledge used for a priori selection of FDC parameters further enhances the performance. Our results indicate that Virtual Metrology can benefit from the usage of regression methods exploiting collinearity combined with comprehensive process expert knowledge.
{"title":"Regression methods for prediction of PECVD Silicon Nitride layer thickness","authors":"H. Purwins, Ahmed Nagi, Bernd Barak, Uwe Hockele, A. Kyek, B. Lenz, Gunter Pfeifer, K. Weinzierl","doi":"10.1109/CASE.2011.6042426","DOIUrl":"https://doi.org/10.1109/CASE.2011.6042426","url":null,"abstract":"Different approaches for the prediction of average Silicon Nitride cap layer thickness for the Plasma Enhanced Chemical Vapor Deposition (PECVD) dual-layer metal passivation stack process are compared, based on metrology and production equipment Fault Detection and Classification (FDC) data. Various sets of FDC parameters are processed by different prediction algorithms. In particular, the use of high-dimensional multivariate input data in comparison to small parameter sets is assessed. As prediction methods, Simple Linear Regression, Multiple Linear Regression, Partial Least Square Regression, and Ridge Linear Regression utilizing the Partial Least Square Estimate algorithm are compared. Regression parameter optimization and model selection is performed and evaluated via cross validation and grid search, using the Root Mean Squared Error. Process expert knowledge used for a priori selection of FDC parameters further enhances the performance. Our results indicate that Virtual Metrology can benefit from the usage of regression methods exploiting collinearity combined with comprehensive process expert knowledge.","PeriodicalId":236208,"journal":{"name":"2011 IEEE International Conference on Automation Science and Engineering","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131663606","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2011-10-13DOI: 10.1109/CASE.2011.6042419
Gabseong Lee, Geunho Lee, Y. Nishimura, N. Chong, Donghoon Choi
This paper proposes a design automation method to optimize one-time-use leaping mechanism for relocating energy-constrained sensor nodes. The leaping mechanism is expected to enhance coverage and connectivity of sensor networks initially randomly deployed with minimum energy consumed. Of particular interest is proper relocation of isolated nodes under uncertain environment conditions. Specifically, we consider how the aerodynamic disturbance can be minimized with an optimized launch angle of the leaping mechanism. To construct an automated simulation and design environment, the process integration and design optimization (PIDO) approach is employed. We not only obtain an optimum solution satisfying all imposed requirements, but also demonstrate an automated design process for controlled node mobility.
{"title":"Design optimization of one-time-use leaping mechanism for sensor node relocation","authors":"Gabseong Lee, Geunho Lee, Y. Nishimura, N. Chong, Donghoon Choi","doi":"10.1109/CASE.2011.6042419","DOIUrl":"https://doi.org/10.1109/CASE.2011.6042419","url":null,"abstract":"This paper proposes a design automation method to optimize one-time-use leaping mechanism for relocating energy-constrained sensor nodes. The leaping mechanism is expected to enhance coverage and connectivity of sensor networks initially randomly deployed with minimum energy consumed. Of particular interest is proper relocation of isolated nodes under uncertain environment conditions. Specifically, we consider how the aerodynamic disturbance can be minimized with an optimized launch angle of the leaping mechanism. To construct an automated simulation and design environment, the process integration and design optimization (PIDO) approach is employed. We not only obtain an optimum solution satisfying all imposed requirements, but also demonstrate an automated design process for controlled node mobility.","PeriodicalId":236208,"journal":{"name":"2011 IEEE International Conference on Automation Science and Engineering","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129498927","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2011-10-13DOI: 10.1109/CASE.2011.6042437
F. Basile, P. Chiacchio, J. Coppola
In the last twenty years, a big effort has been made to find optimal strategies for planning and control of automated warehouse systems. An automated warehouse system has two main components: an automated storage and retrieval subsystem consisting of a number of aisles, each one served by a crane, and a picking area which is formed by bays where stock units coming from the aisles are partially emptied by human operators. These two components are connected via an interface area consisting of carousels, conveyors and buffers. The role of this interface area is usually neglected, while the overall system performance depends on how this subsystem is controlled. A model focusing on the interface area is proposed in this paper to improve the control and the analysis of complex automated warehouse systems. A real case study is considered to show the effectiveness of the approach.
{"title":"A discrete event model for the control and analysis of complex automated warehouse systems","authors":"F. Basile, P. Chiacchio, J. Coppola","doi":"10.1109/CASE.2011.6042437","DOIUrl":"https://doi.org/10.1109/CASE.2011.6042437","url":null,"abstract":"In the last twenty years, a big effort has been made to find optimal strategies for planning and control of automated warehouse systems. An automated warehouse system has two main components: an automated storage and retrieval subsystem consisting of a number of aisles, each one served by a crane, and a picking area which is formed by bays where stock units coming from the aisles are partially emptied by human operators. These two components are connected via an interface area consisting of carousels, conveyors and buffers. The role of this interface area is usually neglected, while the overall system performance depends on how this subsystem is controlled. A model focusing on the interface area is proposed in this paper to improve the control and the analysis of complex automated warehouse systems. A real case study is considered to show the effectiveness of the approach.","PeriodicalId":236208,"journal":{"name":"2011 IEEE International Conference on Automation Science and Engineering","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133850816","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2011-10-13DOI: 10.1109/CASE.2011.6042528
M. Movafaghpour, E. Masehian
In practical robot motion planning, robots usually do not have full models of their surrounding, and hence no complete and correct plan exists for the robots to be executed fully. In most real-world problems a robot operates in just a partially-known environment, meaning that most of the environment is known to the robot at the time of planning, but there exists incomplete information about some ‘hidden’ variables which represent potential blockages (e.g. open/closed doors, or corridors congested with other robots or obstacles). For these hidden variables, the robot has a probability distribution estimation and a prioritized preference over their possible values. In this paper, to deal with the problem of choosing an optimal policy for planning in offline mode, a stochastic dynamic programming model is developed, which is converted to and solved by linear programming. Next, a heuristic method is proposed for conditional planning in the presence of numerous hidden variables which produces near-optimal plans.
{"title":"A linear programming approach for probabilistic robot path planning with missing information of outcomes","authors":"M. Movafaghpour, E. Masehian","doi":"10.1109/CASE.2011.6042528","DOIUrl":"https://doi.org/10.1109/CASE.2011.6042528","url":null,"abstract":"In practical robot motion planning, robots usually do not have full models of their surrounding, and hence no complete and correct plan exists for the robots to be executed fully. In most real-world problems a robot operates in just a partially-known environment, meaning that most of the environment is known to the robot at the time of planning, but there exists incomplete information about some ‘hidden’ variables which represent potential blockages (e.g. open/closed doors, or corridors congested with other robots or obstacles). For these hidden variables, the robot has a probability distribution estimation and a prioritized preference over their possible values. In this paper, to deal with the problem of choosing an optimal policy for planning in offline mode, a stochastic dynamic programming model is developed, which is converted to and solved by linear programming. Next, a heuristic method is proposed for conditional planning in the presence of numerous hidden variables which produces near-optimal plans.","PeriodicalId":236208,"journal":{"name":"2011 IEEE International Conference on Automation Science and Engineering","volume":"189 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115609897","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}