首页 > 最新文献

2011 IEEE International Conference on Automation Science and Engineering最新文献

英文 中文
Appointment scheduling of oncology outpatients 肿瘤科门诊预约安排
Pub Date : 2011-10-13 DOI: 10.1109/CASE.2011.6042417
Abdellah Sadki, Xiaolan Xie, F. Chauvin
This paper addresses the problem of appointment scheduling of patients of an oncology outpatient unit. Each patient is first seen by his oncologist, and then the drug is prepared and injected to the patient. Two major resources including oncologists for consultation and beds for injection are considered. Idle times of oncologists are not allowed. The problem consists in scheduling the appointment time of each patient and the starting time of the injection in order to minimize the total weighted cost incurred by patient waiting times and the makespan. A Lagrangian relaxation-based heuristic and a local optimization heuristic are proposed. Numerical results show that the Lagrangian relaxation-based heuristic always outperforms the local optimization heuristic.
本文讨论了肿瘤门诊病人的预约调度问题。每个病人首先由他的肿瘤科医生看病,然后药物被准备好并注射到病人体内。两种主要资源包括会诊肿瘤科医生和注射床位。肿瘤医生不允许有空闲时间。该问题包括如何安排每位患者的预约时间和注射开始时间,以使患者等待时间和完工时间所产生的总加权成本最小。提出了一种基于拉格朗日松弛的启发式算法和一种局部优化启发式算法。数值结果表明,基于拉格朗日松弛的启发式算法总是优于局部优化启发式算法。
{"title":"Appointment scheduling of oncology outpatients","authors":"Abdellah Sadki, Xiaolan Xie, F. Chauvin","doi":"10.1109/CASE.2011.6042417","DOIUrl":"https://doi.org/10.1109/CASE.2011.6042417","url":null,"abstract":"This paper addresses the problem of appointment scheduling of patients of an oncology outpatient unit. Each patient is first seen by his oncologist, and then the drug is prepared and injected to the patient. Two major resources including oncologists for consultation and beds for injection are considered. Idle times of oncologists are not allowed. The problem consists in scheduling the appointment time of each patient and the starting time of the injection in order to minimize the total weighted cost incurred by patient waiting times and the makespan. A Lagrangian relaxation-based heuristic and a local optimization heuristic are proposed. Numerical results show that the Lagrangian relaxation-based heuristic always outperforms the local optimization heuristic.","PeriodicalId":236208,"journal":{"name":"2011 IEEE International Conference on Automation Science and Engineering","volume":"261 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":"122288595","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}
引用次数: 32
Feedback control of machine startup for energy-efficient manufacturing in Bernoulli serial lines 伯努利系列生产线节能制造中机器启动的反馈控制
Pub Date : 2011-10-13 DOI: 10.1109/CASE.2011.6042495
Guorong Chen, L. Zhang, J. Arinez, S. Biller
Effective control of production operations is considered as one of the most economical methods to improve energy efficiency in manufacturing systems. This paper investigates energy consumption reduction in Bernoulli serial lines with buffer stripping, i.e., with the buffers that must be depleted at the end of each shift. This buffer depletion activity is widely used in automotive paint shops and other production systems with perishable products to avoid quality deterioration. Clearly, to reduce energy consumption in such systems, the startup schedule of the machines downstream of the depleted buffers should be controlled properly at the beginning of each shift. In this paper, using transient analysis of the systems at hand, performance evaluation formulas are derived and system-theoretic properties are analyzed. In addition, effective controllers for machine startup schedule are proposed. The efficacy and practical implications of these controllers are demonstrated using numerical investigation. Finally, insights for obtaining the optimal controllers are provided.
生产操作的有效控制被认为是提高制造系统能源效率的最经济的方法之一。本文研究了伯努利串行线中缓冲剥离的能耗降低,即在每个班次结束时必须耗尽的缓冲区。这种缓冲消耗活动广泛应用于汽车油漆车间和其他易腐烂产品的生产系统,以避免质量恶化。显然,为了减少这种系统的能耗,在每班开始时,应该适当地控制耗尽缓冲区下游机器的启动时间表。本文通过对现有系统的暂态分析,推导了性能评价公式,分析了系统的理论特性。此外,还提出了有效的机器启动调度控制器。通过数值研究证明了这些控制器的有效性和实际意义。最后,给出了获取最优控制器的一些见解。
{"title":"Feedback control of machine startup for energy-efficient manufacturing in Bernoulli serial lines","authors":"Guorong Chen, L. Zhang, J. Arinez, S. Biller","doi":"10.1109/CASE.2011.6042495","DOIUrl":"https://doi.org/10.1109/CASE.2011.6042495","url":null,"abstract":"Effective control of production operations is considered as one of the most economical methods to improve energy efficiency in manufacturing systems. This paper investigates energy consumption reduction in Bernoulli serial lines with buffer stripping, i.e., with the buffers that must be depleted at the end of each shift. This buffer depletion activity is widely used in automotive paint shops and other production systems with perishable products to avoid quality deterioration. Clearly, to reduce energy consumption in such systems, the startup schedule of the machines downstream of the depleted buffers should be controlled properly at the beginning of each shift. In this paper, using transient analysis of the systems at hand, performance evaluation formulas are derived and system-theoretic properties are analyzed. In addition, effective controllers for machine startup schedule are proposed. The efficacy and practical implications of these controllers are demonstrated using numerical investigation. Finally, insights for obtaining the optimal controllers are provided.","PeriodicalId":236208,"journal":{"name":"2011 IEEE International Conference on Automation Science and Engineering","volume":"76 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":"114220854","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}
引用次数: 21
Modeling and analysis of dual-arm cluster tools for wafer fabrication with revisiting 基于重访的双臂集束工具建模与分析
Pub Date : 2011-10-13 DOI: 10.1109/CASE.2011.6042403
Yan Qiao, N. Wu, Mengchu Zhou
Some wafer fabrication processes are repeated processes, e.g. atomic layer deposition (ALD) process. For such processes, the wafers need to visit some processing modules for a number of times, which complicates the cycle time analysis. This paper studies the cycle time analysis problem for such processes. With a Petri net model, it is found that such processes contain local cycles involving only the revisiting PMs and global cycles involving both revisiting and non-revisiting PMs. The process switches between these two types of cycles such that the process never reaches a steady state. Based on this finding, the mechanism underlying such processes is revealed and analytical expressions are given for the calculation of their cycle time. Illustrative examples are presented to show the application of the proposed approach.
一些晶圆制造工艺是重复工艺,如原子层沉积(ALD)工艺。对于这种工艺,晶圆需要多次访问某些加工模块,这使得周期时间分析变得复杂。本文研究了这类过程的周期时间分析问题。利用Petri网模型,发现该过程包含只涉及重访pm的局部周期和涉及重访pm和非重访pm的全局周期。过程在这两种类型的循环之间切换,因此过程永远不会达到稳定状态。基于这一发现,揭示了这一过程的机制,并给出了计算其循环时间的解析表达式。举例说明了该方法的应用。
{"title":"Modeling and analysis of dual-arm cluster tools for wafer fabrication with revisiting","authors":"Yan Qiao, N. Wu, Mengchu Zhou","doi":"10.1109/CASE.2011.6042403","DOIUrl":"https://doi.org/10.1109/CASE.2011.6042403","url":null,"abstract":"Some wafer fabrication processes are repeated processes, e.g. atomic layer deposition (ALD) process. For such processes, the wafers need to visit some processing modules for a number of times, which complicates the cycle time analysis. This paper studies the cycle time analysis problem for such processes. With a Petri net model, it is found that such processes contain local cycles involving only the revisiting PMs and global cycles involving both revisiting and non-revisiting PMs. The process switches between these two types of cycles such that the process never reaches a steady state. Based on this finding, the mechanism underlying such processes is revealed and analytical expressions are given for the calculation of their cycle time. Illustrative examples are presented to show the application of the proposed approach.","PeriodicalId":236208,"journal":{"name":"2011 IEEE International Conference on Automation Science and Engineering","volume":"37 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":"121199675","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}
引用次数: 6
A GERT-based analytical method for remanufacturing process routing 基于gert的再制造工艺路径分析方法
Pub Date : 2011-10-13 DOI: 10.1109/CASE.2011.6042398
C. Li, Ying Tang, Chengchuan Li
This paper presents a GERT (Graphical Evaluation and Review Technique)-based analytical method for uncertainty management of remanufacturing. Four GERT-based stochastic remanufacturing process routing (RPR) models are first proposed. A remanufacturing system that consists of various process flows is then analyzed, where the probability of and the time associated with individual process are estimated. Finally, the method is demonstrated through the remanufacturing of used lathe spindles, and validated by Arena simulation.
提出了一种基于GERT (Graphical Evaluation and Review Technique)的再制造不确定性管理分析方法。首先提出了四种基于随机再制造过程路由的随机再制造过程路由模型。然后对由各种工艺流程组成的再制造系统进行了分析,其中估计了与单个工艺相关的概率和时间。最后,以旧车床主轴再制造为例对该方法进行了验证,并通过Arena仿真进行了验证。
{"title":"A GERT-based analytical method for remanufacturing process routing","authors":"C. Li, Ying Tang, Chengchuan Li","doi":"10.1109/CASE.2011.6042398","DOIUrl":"https://doi.org/10.1109/CASE.2011.6042398","url":null,"abstract":"This paper presents a GERT (Graphical Evaluation and Review Technique)-based analytical method for uncertainty management of remanufacturing. Four GERT-based stochastic remanufacturing process routing (RPR) models are first proposed. A remanufacturing system that consists of various process flows is then analyzed, where the probability of and the time associated with individual process are estimated. Finally, the method is demonstrated through the remanufacturing of used lathe spindles, and validated by Arena simulation.","PeriodicalId":236208,"journal":{"name":"2011 IEEE International Conference on Automation Science and Engineering","volume":"19 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":"125263688","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}
引用次数: 18
Building energy doctors: SPC and Kalman filter-based fault detection 建筑能源医生:基于SPC和卡尔曼滤波的故障检测
Pub Date : 2011-10-13 DOI: 10.1109/CASE.2011.6042429
B. Sun, P. Luh, Zheng O’Neill, Fangting Song
Buildings worldwide account for nearly 40% of global energy consumption. The biggest energy consumer in buildings is the Heating, Ventilation and Air Conditioning (HVAC) systems. HVAC also ranks top in terms of number of complaints by tenants. Maintaining HVAC systems in good conditions through early fault detection is thus a critical issue. The problem, however, is difficult since HVAC systems are large in scale, consisting of many coupling subsystems, building and equipment dependent, and operating under uncertain conditions. In this paper, a model-based and data-driven method is presented for robust system-level fault detection with potential for large-scale implementation. It is a synergistic integration of (1) Statistical Process Control (SPC) for measuring and analyzing variations; (2) Kalman filtering based on gray-box models to provide predictions and determine SPC control limits; and (3) system analysis for analyzing fault propagation. The method has been tested against a simulation model of a 420-meter-high building. It detects both sudden faults and gradual degradation, and differentiates faults within a subsystem or propagated from elsewhere. Furthermore, the method is simple and generic, and should have good replicability and scalability.
世界各地的建筑占全球能源消耗的近40%。建筑中最大的能源消耗者是供暖、通风和空调(HVAC)系统。暖通空调在租户投诉数量方面也排名第一。因此,通过早期故障检测来保持暖通空调系统处于良好状态是一个关键问题。然而,由于暖通空调系统规模大,由许多耦合子系统组成,依赖于建筑和设备,并且在不确定的条件下运行,因此问题很困难。本文提出了一种基于模型和数据驱动的鲁棒系统级故障检测方法,具有大规模实现的潜力。它是(1)用于测量和分析变化的统计过程控制(SPC)的协同集成;(2)基于灰盒模型的卡尔曼滤波提供预测并确定SPC控制限;(3)系统分析,分析故障传播。该方法已经在一个420米高的建筑物的模拟模型上进行了测试。它既能检测突发故障,也能检测逐渐退化,并能区分子系统内的故障或从其他地方传播过来的故障。此外,该方法简单通用,具有良好的可复制性和可扩展性。
{"title":"Building energy doctors: SPC and Kalman filter-based fault detection","authors":"B. Sun, P. Luh, Zheng O’Neill, Fangting Song","doi":"10.1109/CASE.2011.6042429","DOIUrl":"https://doi.org/10.1109/CASE.2011.6042429","url":null,"abstract":"Buildings worldwide account for nearly 40% of global energy consumption. The biggest energy consumer in buildings is the Heating, Ventilation and Air Conditioning (HVAC) systems. HVAC also ranks top in terms of number of complaints by tenants. Maintaining HVAC systems in good conditions through early fault detection is thus a critical issue. The problem, however, is difficult since HVAC systems are large in scale, consisting of many coupling subsystems, building and equipment dependent, and operating under uncertain conditions. In this paper, a model-based and data-driven method is presented for robust system-level fault detection with potential for large-scale implementation. It is a synergistic integration of (1) Statistical Process Control (SPC) for measuring and analyzing variations; (2) Kalman filtering based on gray-box models to provide predictions and determine SPC control limits; and (3) system analysis for analyzing fault propagation. The method has been tested against a simulation model of a 420-meter-high building. It detects both sudden faults and gradual degradation, and differentiates faults within a subsystem or propagated from elsewhere. Furthermore, the method is simple and generic, and should have good replicability and scalability.","PeriodicalId":236208,"journal":{"name":"2011 IEEE International Conference on Automation Science and Engineering","volume":"48 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":"128132130","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}
引用次数: 13
Virtual battery: A simulation framework for batteries in electric vehicles 虚拟电池:电动汽车电池的仿真框架
Pub Date : 2011-10-13 DOI: 10.1109/CASE.2011.6042463
Feng Ju, Junwen Wang, Jingshan Li, S. Biller, G. Xiao
In this paper, a virtual battery model, which provides a framework for simulation of batteries in electric vehicles, is introduced. Using such a framework, we can model the performance of a battery during its usage, such as battery charge, discharge, and idle status, the impacts of internal and external temperature, manufacturing quality on joints, the cell capacity and balance management, etc. Such a framework enables providing quantitative tools for design and production engineers to predict the battery performance and provide feedback to battery design, control and manufacturing processes.
本文介绍了一种虚拟电池模型,为电动汽车电池的仿真提供了一个框架。利用该框架,我们可以对电池在使用过程中的性能进行建模,例如电池的充放电和闲置状态、内外温度的影响、制造质量对接头的影响、电池容量和平衡管理等。这样的框架可以为设计和生产工程师提供定量工具来预测电池性能,并为电池设计、控制和制造过程提供反馈。
{"title":"Virtual battery: A simulation framework for batteries in electric vehicles","authors":"Feng Ju, Junwen Wang, Jingshan Li, S. Biller, G. Xiao","doi":"10.1109/CASE.2011.6042463","DOIUrl":"https://doi.org/10.1109/CASE.2011.6042463","url":null,"abstract":"In this paper, a virtual battery model, which provides a framework for simulation of batteries in electric vehicles, is introduced. Using such a framework, we can model the performance of a battery during its usage, such as battery charge, discharge, and idle status, the impacts of internal and external temperature, manufacturing quality on joints, the cell capacity and balance management, etc. Such a framework enables providing quantitative tools for design and production engineers to predict the battery performance and provide feedback to battery design, control and manufacturing processes.","PeriodicalId":236208,"journal":{"name":"2011 IEEE International Conference on Automation Science and Engineering","volume":"14 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":"132493029","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}
引用次数: 1
Simulation based evaluation and optimization for energy consumption of a typical welding shop 基于仿真的典型焊接车间能耗评估与优化
Pub Date : 2011-10-13 DOI: 10.1109/CASE.2011.6042482
Hao Liu, Qianchuan Zhao, Weihua Cao, N. Huang, Xiang Zhao
Manufacturing facility's energy consumption depends on series of factors such as machines and equipment used for production, manufacturing procedures, building design, outside weather conditions and indoor environmental requirements, where many of them are stochastic in nature, thus makes energy consumption optimization of manufacturing facility a very difficult and challenging problem. It is almost impossible to solve the problem via an analytical study, while experimental studies usually are very costly and time consuming. To overcome these difficulties, this paper proposes a simulation based approach to evaluate and optimize the energy consumption of a manufacturing facility, and we use a typical welding shop as an example. To achieve long term low energy consumption, we face a two-level optimization problem: the building design and daily production scheduling. In the proposed approach, we use EnergyPlus for integrated energy usage estimation and we apply Ordinal Optimization (OO) method and Genetic Algorithms (GA) for optimization of building design and production scheduling, respectively. Numerical examples and results are provided. The optimization concept and the modeling framework could be used for manufacturing facility design and production scheduling to minimize the total energy consumption while maintaining production throughput.
制造设施的能耗取决于生产所用的机器设备、制造工艺、建筑设计、室外天气条件、室内环境要求等一系列因素,其中许多因素具有随机性,因此制造设施的能耗优化是一个非常困难和具有挑战性的问题。通过分析研究几乎不可能解决问题,而实验研究通常是非常昂贵和耗时的。为了克服这些困难,本文提出了一种基于仿真的方法来评估和优化制造设备的能耗,并以典型的焊接车间为例。为了实现长期的低能耗,我们面临着两个层面的优化问题:建筑设计和日常生产调度。在该方法中,我们使用EnergyPlus进行综合能源使用估算,并分别使用有序优化(OO)方法和遗传算法(GA)进行建筑设计和生产调度的优化。给出了数值算例和计算结果。该优化概念和建模框架可用于制造设施设计和生产调度,以在保持生产吞吐量的同时最小化总能耗。
{"title":"Simulation based evaluation and optimization for energy consumption of a typical welding shop","authors":"Hao Liu, Qianchuan Zhao, Weihua Cao, N. Huang, Xiang Zhao","doi":"10.1109/CASE.2011.6042482","DOIUrl":"https://doi.org/10.1109/CASE.2011.6042482","url":null,"abstract":"Manufacturing facility's energy consumption depends on series of factors such as machines and equipment used for production, manufacturing procedures, building design, outside weather conditions and indoor environmental requirements, where many of them are stochastic in nature, thus makes energy consumption optimization of manufacturing facility a very difficult and challenging problem. It is almost impossible to solve the problem via an analytical study, while experimental studies usually are very costly and time consuming. To overcome these difficulties, this paper proposes a simulation based approach to evaluate and optimize the energy consumption of a manufacturing facility, and we use a typical welding shop as an example. To achieve long term low energy consumption, we face a two-level optimization problem: the building design and daily production scheduling. In the proposed approach, we use EnergyPlus for integrated energy usage estimation and we apply Ordinal Optimization (OO) method and Genetic Algorithms (GA) for optimization of building design and production scheduling, respectively. Numerical examples and results are provided. The optimization concept and the modeling framework could be used for manufacturing facility design and production scheduling to minimize the total energy consumption while maintaining production throughput.","PeriodicalId":236208,"journal":{"name":"2011 IEEE International Conference on Automation Science and Engineering","volume":"25 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":"131851451","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}
引用次数: 8
Development of robotic laboratory automation platform with intelligent mobile agents for clinical chemistry 具有智能移动代理的临床化学机器人实验室自动化平台的开发
Pub Date : 2011-10-13 DOI: 10.1109/CASE.2011.6042468
Byungjune Choi, W. You, S. Shin, H. Moon, J. Koo, W. Chung, Hyoukryeol Choi
In this research, we propose an innovative robotic platform for clinical tests suitable for small or medium sized laboratories using small-sized multiple mobile robots and a robotic arm. The proposed robotic platform is referred to as “BioRobot platform”. The BioRobot platform not only provides flexibility in test process by carrying out various clinical tests simultaneously through multiple mobile agents, but also increases productivity by having controllable throughput according to amount of tests. Therefore, the various algorithms which are related to robotic technologies have been applied in this platform to operate the entire hardware and several mobile agents simultaneously. To evaluate the performance of the BioRobot platform, various control methods are implemented, which provides parallel processing and scalability. The feasibility of the BioRobot platform with three mobile robotic agents is validated through preliminary experiments.
在本研究中,我们提出了一种创新的机器人平台,适用于中小型实验室的临床试验,使用小型多移动机器人和机械臂。提出的机器人平台被称为“BioRobot平台”。BioRobot平台不仅可以通过多个移动代理同时进行各种临床测试,从而在测试过程中提供灵活性,还可以根据测试数量控制吞吐量,从而提高生产率。因此,在该平台中应用了与机器人技术相关的各种算法,以同时操作整个硬件和多个移动代理。为了评估BioRobot平台的性能,实现了多种控制方法,提供了并行处理和可扩展性。通过初步实验验证了三种移动机器人代理组成的BioRobot平台的可行性。
{"title":"Development of robotic laboratory automation platform with intelligent mobile agents for clinical chemistry","authors":"Byungjune Choi, W. You, S. Shin, H. Moon, J. Koo, W. Chung, Hyoukryeol Choi","doi":"10.1109/CASE.2011.6042468","DOIUrl":"https://doi.org/10.1109/CASE.2011.6042468","url":null,"abstract":"In this research, we propose an innovative robotic platform for clinical tests suitable for small or medium sized laboratories using small-sized multiple mobile robots and a robotic arm. The proposed robotic platform is referred to as “BioRobot platform”. The BioRobot platform not only provides flexibility in test process by carrying out various clinical tests simultaneously through multiple mobile agents, but also increases productivity by having controllable throughput according to amount of tests. Therefore, the various algorithms which are related to robotic technologies have been applied in this platform to operate the entire hardware and several mobile agents simultaneously. To evaluate the performance of the BioRobot platform, various control methods are implemented, which provides parallel processing and scalability. The feasibility of the BioRobot platform with three mobile robotic agents is validated through preliminary experiments.","PeriodicalId":236208,"journal":{"name":"2011 IEEE International Conference on Automation Science and Engineering","volume":"105 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":"133654534","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}
引用次数: 7
Towards an automated verification process for industrial safety applications 迈向工业安全应用的自动化验证过程
Pub Date : 2011-10-13 DOI: 10.1109/CASE.2011.6042451
K. Thramboulidis, Doaa Soliman, Georg Frey
Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a methodology to upgrade legacy industrial applications based on the IEC61131 function block model without the need to redesign the whole application. We then describe an approach for automating the verification process of safety applications that is based on the use of the UPPAAL simulation and verification platform for embedded real-time systems. The meta-models of the source and target domains are presented and a transformation process of the PLCopen XML design specification to UPPAAL XML specification is described. A laboratory system is used as a case study to demonstrate the applicability of the proposed process.
不符合最新安全标准的规范和规定的遗留系统必须进行升级以满足安全要求。在本文中,我们描述了一种基于IEC61131功能块模型升级传统工业应用的方法,而无需重新设计整个应用。然后,我们描述了一种基于嵌入式实时系统UPPAAL仿真和验证平台的安全应用程序自动化验证过程的方法。给出了源域和目标域的元模型,并描述了PLCopen XML设计规范到UPPAAL XML设计规范的转换过程。一个实验室系统被用作案例研究,以证明所提出的过程的适用性。
{"title":"Towards an automated verification process for industrial safety applications","authors":"K. Thramboulidis, Doaa Soliman, Georg Frey","doi":"10.1109/CASE.2011.6042451","DOIUrl":"https://doi.org/10.1109/CASE.2011.6042451","url":null,"abstract":"Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a methodology to upgrade legacy industrial applications based on the IEC61131 function block model without the need to redesign the whole application. We then describe an approach for automating the verification process of safety applications that is based on the use of the UPPAAL simulation and verification platform for embedded real-time systems. The meta-models of the source and target domains are presented and a transformation process of the PLCopen XML design specification to UPPAAL XML specification is described. A laboratory system is used as a case study to demonstrate the applicability of the proposed process.","PeriodicalId":236208,"journal":{"name":"2011 IEEE International Conference on Automation Science and Engineering","volume":"15 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":"116217801","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}
引用次数: 6
Recuperated energy savings potential and approaches in industrial robotics 工业机器人的再生能源节约潜力和方法
Pub Date : 2011-10-13 DOI: 10.1109/CASE.2011.6042435
D. Meike, L. Ribickis
This paper presents the experimental and simulation results of industrial robot's recuperated energy saving approaches. Two complementary alternatives- a capacitive energy buffer on the robot's DC-bus is evaluated and a novel approach, the robot EnergyTeam has been proposed. The principle of robot EnergyTeam is the DC-bus merging among various number of industrial robot power controllers thus enabling a controlled energy flow among the robots that decelerate and, therefore, recuperate the energy and those that simultaneously require a peak power supply for the acceleration. Cost efficiency is estimated considering the characteristics in robotics of real production in the automobile industry.
本文给出了工业机器人再生节能方法的实验与仿真结果。评估了两种互补方案——机器人直流总线上的电容式能量缓冲器,并提出了一种新颖的方法——机器人能量团队。机器人EnergyTeam的原理是在多个工业机器人电源控制器之间合并直流总线,从而在减速并因此恢复能量的机器人和同时需要峰值电源以加速的机器人之间实现可控的能量流。考虑机器人在汽车工业实际生产中的特点,对机器人的成本效率进行了估算。
{"title":"Recuperated energy savings potential and approaches in industrial robotics","authors":"D. Meike, L. Ribickis","doi":"10.1109/CASE.2011.6042435","DOIUrl":"https://doi.org/10.1109/CASE.2011.6042435","url":null,"abstract":"This paper presents the experimental and simulation results of industrial robot's recuperated energy saving approaches. Two complementary alternatives- a capacitive energy buffer on the robot's DC-bus is evaluated and a novel approach, the robot EnergyTeam has been proposed. The principle of robot EnergyTeam is the DC-bus merging among various number of industrial robot power controllers thus enabling a controlled energy flow among the robots that decelerate and, therefore, recuperate the energy and those that simultaneously require a peak power supply for the acceleration. Cost efficiency is estimated considering the characteristics in robotics of real production in the automobile industry.","PeriodicalId":236208,"journal":{"name":"2011 IEEE International Conference on Automation Science and Engineering","volume":"12 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":"114748945","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}
引用次数: 33
期刊
2011 IEEE International Conference on Automation Science and Engineering
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1