首页 > 最新文献

2017 13th IEEE Conference on Automation Science and Engineering (CASE)最新文献

英文 中文
Optimal motion planning and control of a crack filling robot for civil infrastructure automation 土木基础设施自动化裂缝填充机器人最优运动规划与控制
Pub Date : 2017-08-01 DOI: 10.1109/COASE.2017.8256310
Chaoke Guo, Kaiyan Yu, Yongbin Gong, J. Yi
Surface cracks exist in many civil infrastructures such as road and bridge deck surfaces, parking lots, and building surfaces, etc. To prevent the crack growth and further deterioration, it is necessary to fill these cracks with appropriate materials on time. We present a robotic crack filling system that can effectively and efficiently deliver fluidic repairing materials to fill surface cracks. Motion planning and cracking filling control are the two main tasks presented in this paper. We present a graph-based crack coverage (GCC) algorithm to solve motion planning problem. The filling motion control is captured by a model predictive control (MPC) scheme given the mobile platform trajectory. We also develop a crack-filling robotic prototype. Simulation and experimental results are presented to demonstrate the system design and performance evaluation.
表面裂缝存在于许多民用基础设施中,如道路、桥梁桥面、停车场、建筑物表面等。为了防止裂纹扩大和进一步恶化,有必要及时用适当的材料填充这些裂纹。我们提出了一种机器人裂缝填充系统,它可以有效地输送流体修复材料来填充表面裂缝。运动规划和裂缝填充控制是本文的两个主要工作。提出了一种基于图的裂纹覆盖算法来解决运动规划问题。在给定移动平台运动轨迹的情况下,采用模型预测控制(MPC)方法实现填充运动控制。我们还开发了一个裂缝填充机器人原型。仿真和实验结果验证了系统的设计和性能评价。
{"title":"Optimal motion planning and control of a crack filling robot for civil infrastructure automation","authors":"Chaoke Guo, Kaiyan Yu, Yongbin Gong, J. Yi","doi":"10.1109/COASE.2017.8256310","DOIUrl":"https://doi.org/10.1109/COASE.2017.8256310","url":null,"abstract":"Surface cracks exist in many civil infrastructures such as road and bridge deck surfaces, parking lots, and building surfaces, etc. To prevent the crack growth and further deterioration, it is necessary to fill these cracks with appropriate materials on time. We present a robotic crack filling system that can effectively and efficiently deliver fluidic repairing materials to fill surface cracks. Motion planning and cracking filling control are the two main tasks presented in this paper. We present a graph-based crack coverage (GCC) algorithm to solve motion planning problem. The filling motion control is captured by a model predictive control (MPC) scheme given the mobile platform trajectory. We also develop a crack-filling robotic prototype. Simulation and experimental results are presented to demonstrate the system design and performance evaluation.","PeriodicalId":445441,"journal":{"name":"2017 13th IEEE Conference on Automation Science and Engineering (CASE)","volume":"97 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122885248","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
Intelligent robust milling tool wear monitoring via fractal analysis of cutting force 基于切削力分形分析的智能鲁棒铣刀磨损监测
Pub Date : 2017-08-01 DOI: 10.1109/COASE.2017.8256273
Tongshun Liu, K. Zhu
The intelligent tool wear monitoring is of great importance to improve the milling precision and efficiency. In traditional intelligent tool wear monitoring methods, features used to indicate tool wear always vary with cutting conditions and hence not applicable in cutting condition-varying cases. In this paper, a cutting condition robust milling tool wear monitoring method is proposed. In the method, the irregularity of cutting force is measured by fractal dimension and then utilized to indicate the tool wear level. Experiments of tool wear monitoring are conducted for high speed CNC manufacturing. The simulation results show that the proposed fractal dimension of cutting force is capable to indicate tool wear level and robust to cutting conditions.
刀具磨损智能监测对提高铣削精度和效率具有重要意义。在传统的智能刀具磨损监测方法中,用来表示刀具磨损的特征总是随着切削条件的变化而变化,因此不适用于切削条件变化的情况。提出了一种切削工况下铣刀磨损监测方法。该方法通过分形维数测量切削力的不规则性,并以此来指示刀具的磨损程度。针对高速数控加工进行了刀具磨损监测实验。仿真结果表明,所提出的切削力分形维数能够反映刀具的磨损程度,对切削工况具有较强的鲁棒性。
{"title":"Intelligent robust milling tool wear monitoring via fractal analysis of cutting force","authors":"Tongshun Liu, K. Zhu","doi":"10.1109/COASE.2017.8256273","DOIUrl":"https://doi.org/10.1109/COASE.2017.8256273","url":null,"abstract":"The intelligent tool wear monitoring is of great importance to improve the milling precision and efficiency. In traditional intelligent tool wear monitoring methods, features used to indicate tool wear always vary with cutting conditions and hence not applicable in cutting condition-varying cases. In this paper, a cutting condition robust milling tool wear monitoring method is proposed. In the method, the irregularity of cutting force is measured by fractal dimension and then utilized to indicate the tool wear level. Experiments of tool wear monitoring are conducted for high speed CNC manufacturing. The simulation results show that the proposed fractal dimension of cutting force is capable to indicate tool wear level and robust to cutting conditions.","PeriodicalId":445441,"journal":{"name":"2017 13th IEEE Conference on Automation Science and Engineering (CASE)","volume":"59 5","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132532718","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
Design and development of an hexacopter for air quality monitoring at high altitudes 高空空气质量监测六旋翼机的设计与研制
Pub Date : 2017-08-01 DOI: 10.1109/COASE.2017.8256309
Monica Abarca, Carlos Saito, A. Angulo, J. A. Paredes, F. Cuéllar
This paper describes the design of a hexacopter platform for air quality measurement purposes outfitted with gear that allows it to fly at altitudes up to 5000 meters above sea level (MASL). The multicopter is equipped with sensing technology to monitor the quality of the air, thus, presenting itself as a portable and easy-to-position in 3-dimensional environments alternative to high-cost static monitoring stations. Aside from the design considerations regarded to allow the aircraft to fly at high altitudes, a methodology is presented to describe the process concerning air quality data acquisition. This work features an analysis of the performance of the hexacopter by scrutinizing data from flight tests held at high-altitude and sea level locations and an analysis of results from the values obtained by the drone's low-cost sensors, which are compared against the data obtained from professional equipment certified by the EPA (Environmental Protection Agency of United States) from SENAMHI, the local regulatory entity in Peru.
本文描述了一种用于空气质量测量的六旋翼平台的设计,该平台配备了齿轮,使其能够在海拔5000米以上的高度飞行。这架多旋翼飞机配备了传感技术来监测空气质量,因此,作为一种便携式和易于定位的三维环境,它可以替代高成本的静态监测站。除了考虑到允许飞机在高海拔飞行的设计考虑外,还提出了一种方法来描述有关空气质量数据采集的过程。这项工作的特点是,通过仔细审查在高海拔和海平面地点进行的飞行试验的数据,分析六旋翼机的性能,并分析无人机的低成本传感器获得的值的结果,并将其与秘鲁当地监管实体SENAMHI从EPA(美国环境保护局)认证的专业设备获得的数据进行比较。
{"title":"Design and development of an hexacopter for air quality monitoring at high altitudes","authors":"Monica Abarca, Carlos Saito, A. Angulo, J. A. Paredes, F. Cuéllar","doi":"10.1109/COASE.2017.8256309","DOIUrl":"https://doi.org/10.1109/COASE.2017.8256309","url":null,"abstract":"This paper describes the design of a hexacopter platform for air quality measurement purposes outfitted with gear that allows it to fly at altitudes up to 5000 meters above sea level (MASL). The multicopter is equipped with sensing technology to monitor the quality of the air, thus, presenting itself as a portable and easy-to-position in 3-dimensional environments alternative to high-cost static monitoring stations. Aside from the design considerations regarded to allow the aircraft to fly at high altitudes, a methodology is presented to describe the process concerning air quality data acquisition. This work features an analysis of the performance of the hexacopter by scrutinizing data from flight tests held at high-altitude and sea level locations and an analysis of results from the values obtained by the drone's low-cost sensors, which are compared against the data obtained from professional equipment certified by the EPA (Environmental Protection Agency of United States) from SENAMHI, the local regulatory entity in Peru.","PeriodicalId":445441,"journal":{"name":"2017 13th IEEE Conference on Automation Science and Engineering (CASE)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132543343","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}
引用次数: 4
Occupancy detection in elevator car by fusing analysis of dual videos 基于双视频融合分析的电梯轿厢占用检测
Pub Date : 2017-08-01 DOI: 10.1109/COASE.2017.8256218
Jianhong Zou, Qianchuan Zhao
Detection of occupancy in the elevator car is becoming increasingly important because the elevator control system relies the real-time data on occupancy to avoid overload, improve comfort and reduce energy consumption. This paper focuses on detection of occupancy of elevator car in the video scenes in oblique views. We propose an occupancy detection method fusing analysis of dual synchronous videos captured by two cameras installed inside and outside the elevator, respectively. One video is used to detect the absolute value of occupancy by the duration of full opening state of the elevator door. The other video is used to solve the coefficient of the occupancy by the change of foreground areas before and after the elevator door is opened. The absolute value and the coefficient jointly determines occupancy measurement. The experimental result verifies the effectiveness of our method and the correctness reaches up to 91.7%, exceeding that of the traditional method based on pixel statistics in the connected area. This method may contribute to the elevator control system after it is integrated with the video surveillance system.
电梯轿厢内的占用率检测变得越来越重要,因为电梯控制系统依赖于占用率的实时数据来避免超载,提高舒适性和降低能耗。本文主要研究斜视视频场景中电梯轿厢占用率的检测问题。我们提出了一种融合分析电梯内外两台摄像机拍摄的双同步视频的占用检测方法。一段视频通过电梯门全开状态的持续时间来检测占用的绝对值。另一个视频是通过电梯门打开前后前景面积的变化来求解占用系数。绝对值和系数共同决定了占用量的大小。实验结果验证了该方法的有效性,正确率达到91.7%,超过了基于连通区域像素统计的传统方法。该方法在与视频监控系统集成后,可为电梯控制系统的应用做出贡献。
{"title":"Occupancy detection in elevator car by fusing analysis of dual videos","authors":"Jianhong Zou, Qianchuan Zhao","doi":"10.1109/COASE.2017.8256218","DOIUrl":"https://doi.org/10.1109/COASE.2017.8256218","url":null,"abstract":"Detection of occupancy in the elevator car is becoming increasingly important because the elevator control system relies the real-time data on occupancy to avoid overload, improve comfort and reduce energy consumption. This paper focuses on detection of occupancy of elevator car in the video scenes in oblique views. We propose an occupancy detection method fusing analysis of dual synchronous videos captured by two cameras installed inside and outside the elevator, respectively. One video is used to detect the absolute value of occupancy by the duration of full opening state of the elevator door. The other video is used to solve the coefficient of the occupancy by the change of foreground areas before and after the elevator door is opened. The absolute value and the coefficient jointly determines occupancy measurement. The experimental result verifies the effectiveness of our method and the correctness reaches up to 91.7%, exceeding that of the traditional method based on pixel statistics in the connected area. This method may contribute to the elevator control system after it is integrated with the video surveillance system.","PeriodicalId":445441,"journal":{"name":"2017 13th IEEE Conference on Automation Science and Engineering (CASE)","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133344544","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}
引用次数: 4
Quadruple adaptive redundancy with fault detection estimator 带有故障检测估计器的四重自适应冗余
Pub Date : 2017-08-01 DOI: 10.1109/COASE.2017.8256160
Dohyeung Kim, R. Voyles
As a result of advances in technology, systems have grown more and more complex, leading to greater opportunities for failure. System fault has become an increasingly significant threat to the reliability and fault tolerance of automation systems. Redundancy of components within the system is one popular method for enhancing fault tolerance. One of the simple and effective methods for fault tolerance that has stood the test of time is Triple Modular Redundancy, which provides not one redundant copy of a critical system component, but two extra copies for a total of three. Ironically, providing three copies of a sensor, for example, only provides tolerance to one failure. It takes four copies to provide resilience to a double-point failure, but this can be expensive in terms of the cost of sensors and installation, wiring, and interface circuitry. We propose Quadruple Adaptive Redundancy, a new method that adds software-based estimation techniques, rather than additional hardware components, to achieve higher levels of robustness with virtually no incremental cost. In this paper, the performance of Quadruple Adaptive Redundancy is verified through computer simulations and compared to Triple Modular Redundancy with one and two induced sensor failures.
由于技术的进步,系统变得越来越复杂,导致更大的失败机会。系统故障已成为自动化系统可靠性和容错性日益严重的威胁。系统内组件冗余是增强容错性的一种常用方法。经过时间考验的简单有效的容错方法之一是Triple Modular Redundancy,它提供的不是关键系统组件的一个冗余副本,而是两个额外副本,总共三个。具有讽刺意味的是,提供三个传感器副本,例如,只提供对一个故障的容忍度。它需要四个副本来提供对双点故障的弹性,但是就传感器和安装、布线和接口电路的成本而言,这可能是昂贵的。我们提出了四倍自适应冗余,这是一种新的方法,它增加了基于软件的估计技术,而不是额外的硬件组件,以实现更高水平的鲁棒性,几乎没有增加成本。本文通过计算机仿真验证了四重自适应冗余的性能,并将四重自适应冗余与单传感器故障和双传感器故障的三模冗余进行了比较。
{"title":"Quadruple adaptive redundancy with fault detection estimator","authors":"Dohyeung Kim, R. Voyles","doi":"10.1109/COASE.2017.8256160","DOIUrl":"https://doi.org/10.1109/COASE.2017.8256160","url":null,"abstract":"As a result of advances in technology, systems have grown more and more complex, leading to greater opportunities for failure. System fault has become an increasingly significant threat to the reliability and fault tolerance of automation systems. Redundancy of components within the system is one popular method for enhancing fault tolerance. One of the simple and effective methods for fault tolerance that has stood the test of time is Triple Modular Redundancy, which provides not one redundant copy of a critical system component, but two extra copies for a total of three. Ironically, providing three copies of a sensor, for example, only provides tolerance to one failure. It takes four copies to provide resilience to a double-point failure, but this can be expensive in terms of the cost of sensors and installation, wiring, and interface circuitry. We propose Quadruple Adaptive Redundancy, a new method that adds software-based estimation techniques, rather than additional hardware components, to achieve higher levels of robustness with virtually no incremental cost. In this paper, the performance of Quadruple Adaptive Redundancy is verified through computer simulations and compared to Triple Modular Redundancy with one and two induced sensor failures.","PeriodicalId":445441,"journal":{"name":"2017 13th IEEE Conference on Automation Science and Engineering (CASE)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133766237","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
Adaptive slicing for the FDM process revisited 重新讨论了FDM过程的自适应切片
Pub Date : 2017-08-01 DOI: 10.1109/COASE.2017.8256074
Florens Wasserfall, N. Hendrich, Jianwei Zhang
Adaptively computing the layer heights for 3D-printed parts has the potential to achieve high quality results while maintaining a reasonably short printing time. The basic concept, several error measures and variations of the algorithm have been around in the literature for two decades now, but never showed significant impact on widely used slicing software. Users of our early test implementations reported two major drawbacks of the existing approaches: the control measures are not intuitively usable and the resulting height distribution in many cases is not optimal for an object, requiring extensive post-editing. In this paper, we propose a more intuitive control measure and implementation based on the volumetric surface error and a subsequent manual refinement of layer heights by manipulating an interpolated height-curve. We describe the efficient computation of adaptive layers by analyzing the model surface over the full layer height. All implementations are available as ready-to-use open source software.
自适应计算3d打印部件的层高度有可能在保持相当短的打印时间的同时获得高质量的结果。该算法的基本概念、几种误差测量和变体已经在文献中出现了二十年,但从未对广泛使用的切片软件产生重大影响。我们早期测试实现的用户报告了现有方法的两个主要缺点:控制措施不是直观可用的,并且在许多情况下产生的高度分布对对象来说不是最佳的,需要大量的后期编辑。在本文中,我们提出了一种更直观的控制措施和实现,基于体积表面误差和随后通过操纵插值高度曲线来手动细化层高度。我们通过分析整个层高上的模型表面来描述自适应层的有效计算。所有的实现都是现成的开源软件。
{"title":"Adaptive slicing for the FDM process revisited","authors":"Florens Wasserfall, N. Hendrich, Jianwei Zhang","doi":"10.1109/COASE.2017.8256074","DOIUrl":"https://doi.org/10.1109/COASE.2017.8256074","url":null,"abstract":"Adaptively computing the layer heights for 3D-printed parts has the potential to achieve high quality results while maintaining a reasonably short printing time. The basic concept, several error measures and variations of the algorithm have been around in the literature for two decades now, but never showed significant impact on widely used slicing software. Users of our early test implementations reported two major drawbacks of the existing approaches: the control measures are not intuitively usable and the resulting height distribution in many cases is not optimal for an object, requiring extensive post-editing. In this paper, we propose a more intuitive control measure and implementation based on the volumetric surface error and a subsequent manual refinement of layer heights by manipulating an interpolated height-curve. We describe the efficient computation of adaptive layers by analyzing the model surface over the full layer height. All implementations are available as ready-to-use open source software.","PeriodicalId":445441,"journal":{"name":"2017 13th IEEE Conference on Automation Science and Engineering (CASE)","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133926018","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}
引用次数: 17
A nussbaum gain approach to attitude tracking control of spacecrafts with actuator faults 带有执行器故障的航天器姿态跟踪控制的nussbaum增益方法
Pub Date : 2017-08-01 DOI: 10.1109/COASE.2017.8256329
X. Zhao, Y. Lu, Lizhu Han, Xia Wang, Qianchuan Zhao
This paper concentrates on attitude tracking control design for spacecrafts with actuator faults. By introducing a Nussbaum gain technique law to handle unknown healthy indicators, we propose a Lyapunov function-based feedback control design. It is proved that with the developed controller, the solution of the closed-loop systems is bounded, while the tracking issue can be realized. The efficiency of the developed control design is further shown by a numerical simulation.
研究了存在作动器故障的航天器姿态跟踪控制问题。通过引入Nussbaum增益技术律来处理未知健康指标,我们提出了一种基于Lyapunov函数的反馈控制设计。结果表明,所设计的控制器不仅可以实现闭环系统的有界解,而且可以实现跟踪问题。数值仿真进一步证明了所提出的控制设计的有效性。
{"title":"A nussbaum gain approach to attitude tracking control of spacecrafts with actuator faults","authors":"X. Zhao, Y. Lu, Lizhu Han, Xia Wang, Qianchuan Zhao","doi":"10.1109/COASE.2017.8256329","DOIUrl":"https://doi.org/10.1109/COASE.2017.8256329","url":null,"abstract":"This paper concentrates on attitude tracking control design for spacecrafts with actuator faults. By introducing a Nussbaum gain technique law to handle unknown healthy indicators, we propose a Lyapunov function-based feedback control design. It is proved that with the developed controller, the solution of the closed-loop systems is bounded, while the tracking issue can be realized. The efficiency of the developed control design is further shown by a numerical simulation.","PeriodicalId":445441,"journal":{"name":"2017 13th IEEE Conference on Automation Science and Engineering (CASE)","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114594222","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}
引用次数: 0
Complexity analysis of reinforcement learning and its application to robotics 强化学习的复杂性分析及其在机器人中的应用
Pub Date : 2017-08-01 DOI: 10.1109/COASE.2017.8256303
Bocheng Li, L. Xia, Qianchuan Zhao
Reinforcement learning (RL) is a widely adopted theory in machine learning, which aims to handle the optimal decision of intelligent agent interacting with the stochastic dynamic environment. Its origin may come from the motivation of phycological observations since 1960's [1]. It blooms recently as the emerging of large sample data and powerful computation facility, especially the AlphaGo's beat over the human top Go player in 2016 [2].
强化学习(Reinforcement learning, RL)是机器学习中被广泛采用的一种理论,其目的是处理智能体与随机动态环境相互作用的最优决策。它的起源可能来自20世纪60年代以来的生理学观察的动机[1]。近年来,随着大样本数据和强大计算能力的出现,特别是2016年AlphaGo击败了人类顶级围棋选手[2]。
{"title":"Complexity analysis of reinforcement learning and its application to robotics","authors":"Bocheng Li, L. Xia, Qianchuan Zhao","doi":"10.1109/COASE.2017.8256303","DOIUrl":"https://doi.org/10.1109/COASE.2017.8256303","url":null,"abstract":"Reinforcement learning (RL) is a widely adopted theory in machine learning, which aims to handle the optimal decision of intelligent agent interacting with the stochastic dynamic environment. Its origin may come from the motivation of phycological observations since 1960's [1]. It blooms recently as the emerging of large sample data and powerful computation facility, especially the AlphaGo's beat over the human top Go player in 2016 [2].","PeriodicalId":445441,"journal":{"name":"2017 13th IEEE Conference on Automation Science and Engineering (CASE)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123934440","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}
引用次数: 4
How simplified models of different variability affects performance of ordinal transformation 不同可变性的简化模型如何影响有序变换的性能
Pub Date : 2017-08-01 DOI: 10.1109/COASE.2017.8256246
Chun-Ming Chang, Shi-Chung Chang, Chun-Hung Chen
Ordinal transformation is a technique of ordinal optimization that utilizes a simplified model for performance evaluation and ranking to further reduce computational effort. This presentation-only paper will be focused on investigating how simplified models of different variability levels affect ranking. The simulation-based study investigates capacity allocation of a re-entrant line in the context of semiconductor manufacturing by using two queuing network approximation models, Jackson network approximation (JNA) and queuing network analyzer (QNA). Both are based on parametric decomposition method and JNA is a special case of QNA with a unity squared coefficient of variation because of the exponential assumptions. Mean cycle time (MCT) is the performance index. Simulation studies of a five-station re-entrant line demonstrate that QNA capture of heterogeneous variability greatly improves the MCT ranking correlation of top-10 allocations out of 415 designs by almost 8 times over JNA at the cost of less than 3% computation time increase, i.e., the value of keeping a good model of variability from simplification.
序数转换是一种序数优化技术,它利用简化的模型进行性能评估和排序,以进一步减少计算工作量。这篇仅供演示的论文将重点研究不同变异性水平的简化模型如何影响排名。本研究采用Jackson网络近似(JNA)和排队网络分析器(QNA)两种排队网络近似模型,对半导体制造环境下的再入生产线的产能分配进行了仿真研究。两者都基于参数分解方法,JNA是QNA的特殊情况,由于指数假设,变异系数为单位平方。平均周期时间(MCT)是性能指标。五站再入线的仿真研究表明,在415种设计中,采用QNA捕获异质性变异的前10种分配的MCT排序相关性比JNA提高了近8倍,而计算时间增加不到3%,即保持良好变异模型的价值。
{"title":"How simplified models of different variability affects performance of ordinal transformation","authors":"Chun-Ming Chang, Shi-Chung Chang, Chun-Hung Chen","doi":"10.1109/COASE.2017.8256246","DOIUrl":"https://doi.org/10.1109/COASE.2017.8256246","url":null,"abstract":"Ordinal transformation is a technique of ordinal optimization that utilizes a simplified model for performance evaluation and ranking to further reduce computational effort. This presentation-only paper will be focused on investigating how simplified models of different variability levels affect ranking. The simulation-based study investigates capacity allocation of a re-entrant line in the context of semiconductor manufacturing by using two queuing network approximation models, Jackson network approximation (JNA) and queuing network analyzer (QNA). Both are based on parametric decomposition method and JNA is a special case of QNA with a unity squared coefficient of variation because of the exponential assumptions. Mean cycle time (MCT) is the performance index. Simulation studies of a five-station re-entrant line demonstrate that QNA capture of heterogeneous variability greatly improves the MCT ranking correlation of top-10 allocations out of 415 designs by almost 8 times over JNA at the cost of less than 3% computation time increase, i.e., the value of keeping a good model of variability from simplification.","PeriodicalId":445441,"journal":{"name":"2017 13th IEEE Conference on Automation Science and Engineering (CASE)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124290288","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}
引用次数: 0
Vacuity aware falsification for MTL request-response specifications 用于MTL请求-响应规范的空感知伪造
Pub Date : 2017-08-01 DOI: 10.1109/COASE.2017.8256286
Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos
We propose a method to improve the automated test case generation for Metric Temporal Logic (MTL) falsification for Cyber-Physical Systems (CPS). In this work, we focus on request-response MTL specifications. That is, specifications that consist of at least one antecedent and a corresponding consequent. Test case generation is particularly difficult for these specifications since the consequent is only considered if the antecedent is satisfied. Therefore, we propose a method that first targets the antecedent in the specification. We show that our framework can improve upon existing falsification methods on a number of benchmark problems.
我们提出了一种改进网络物理系统(CPS)度量时间逻辑(MTL)证伪的自动化测试用例生成的方法。在这项工作中,我们主要关注请求-响应MTL规范。也就是说,至少由一个先行项和相应的后项组成的规范。对于这些规范来说,测试用例的生成是特别困难的,因为只有在满足前提的情况下才会考虑结果。因此,我们提出了一种首先针对规范中的先行词的方法。我们表明,我们的框架可以在许多基准问题上改进现有的证伪方法。
{"title":"Vacuity aware falsification for MTL request-response specifications","authors":"Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos","doi":"10.1109/COASE.2017.8256286","DOIUrl":"https://doi.org/10.1109/COASE.2017.8256286","url":null,"abstract":"We propose a method to improve the automated test case generation for Metric Temporal Logic (MTL) falsification for Cyber-Physical Systems (CPS). In this work, we focus on request-response MTL specifications. That is, specifications that consist of at least one antecedent and a corresponding consequent. Test case generation is particularly difficult for these specifications since the consequent is only considered if the antecedent is satisfied. Therefore, we propose a method that first targets the antecedent in the specification. We show that our framework can improve upon existing falsification methods on a number of benchmark problems.","PeriodicalId":445441,"journal":{"name":"2017 13th IEEE Conference on Automation Science and Engineering (CASE)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125522153","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}
引用次数: 14
期刊
2017 13th IEEE Conference on Automation Science and Engineering (CASE)
全部 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学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1