首页 > 最新文献

2020 IEEE 16th International Conference on Automation Science and Engineering (CASE)最新文献

英文 中文
Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis 利用依赖图的对称性进行监督综合模型约简
Pub Date : 2020-08-01 DOI: 10.1109/CASE48305.2020.9216953
L. Moormann, J. V. D. Mortel-Fronczak, W. Fokkink, J. Rooda
Supervisor synthesis enables the design of supervisory controllers for large cyber-physical systems, with high guarantees for functionality and safety. The complexity of the synthesis problem, however, increases exponentially with the number of system components in the cyber-physical system and the number of models of this system, often resulting in lengthy or even unsolvable synthesis procedures. In this paper, a new method is proposed for reducing the model of the system before synthesis to decrease the required computational time and effort. The method consists of three steps for model reduction, that are mainly based on symmetry in dependency graphs of the system. Dependency graphs visualize the components in the system and the relations between these components. The proposed method is applied in a case study on the design of a supervisory controller for a road tunnel. In this case study, the model reduction steps are described, and results are shown on the effectiveness of model reduction in terms of model size and synthesis time.
监督综合使大型网络物理系统的监督控制器设计成为可能,对功能和安全性有很高的保证。然而,综合问题的复杂性随着网络物理系统中系统组件的数量和该系统模型的数量呈指数增长,往往导致冗长甚至无法解决的综合过程。本文提出了一种在综合前对系统模型进行简化的新方法,以减少所需的计算时间和工作量。该方法分为三个步骤进行模型约简,主要基于系统依赖图的对称性。依赖关系图显示了系统中的组件以及这些组件之间的关系。并以某公路隧道监控控制器的设计为例进行了应用。在本案例中,描述了模型约简的步骤,并从模型大小和合成时间两方面展示了模型约简的有效性。
{"title":"Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis","authors":"L. Moormann, J. V. D. Mortel-Fronczak, W. Fokkink, J. Rooda","doi":"10.1109/CASE48305.2020.9216953","DOIUrl":"https://doi.org/10.1109/CASE48305.2020.9216953","url":null,"abstract":"Supervisor synthesis enables the design of supervisory controllers for large cyber-physical systems, with high guarantees for functionality and safety. The complexity of the synthesis problem, however, increases exponentially with the number of system components in the cyber-physical system and the number of models of this system, often resulting in lengthy or even unsolvable synthesis procedures. In this paper, a new method is proposed for reducing the model of the system before synthesis to decrease the required computational time and effort. The method consists of three steps for model reduction, that are mainly based on symmetry in dependency graphs of the system. Dependency graphs visualize the components in the system and the relations between these components. The proposed method is applied in a case study on the design of a supervisory controller for a road tunnel. In this case study, the model reduction steps are described, and results are shown on the effectiveness of model reduction in terms of model size and synthesis time.","PeriodicalId":212181,"journal":{"name":"2020 IEEE 16th International Conference on Automation Science and Engineering (CASE)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130012400","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
A Generic Online Parameter (Re-)calibration Framework Using PPL 一种基于PPL的通用在线参数(重)校准框架
Pub Date : 2020-08-01 DOI: 10.1109/CASE48305.2020.9216771
Seyed Mahdi Shamsi, N. Napp
Parameter calibration is a burdensome yet essential part of robotics development which traditionally was done through manual calibration routines. Over the recent years, many authors have proposed to automatically calibrate parameters directly from the input data, during the operation of the robot. While the majority of methods are discussed within the context of a specific application and benefit from the particularity of the problem, some generic approaches are proposed that are applicable to a wide spectrum of problems. However in practice, they require re-implementation and customization every time applied to a different domain, due to coupling of formulations with the model, e.g. linearization steps, matrix decomposition, closed form solving, etc. In this paper, we exploit the expressiveness of general purpose probabilistic programming languages (PPLs) to build a generic online calibration framework that can estimate the parameters of arbitrary robotic systems during operation. The proposed approach, based on Bayes filter and Monte Carlo methods, only requires model specification and works as a black-box otherwise. Hence, it spans the generality to the implementation aspect of the calibration problem which facilitates a range of new applications, e.g. fast prototyping of arbitrary robots. We show a short PPL program is capable of calibrating kinematic, extrinsic, and noise parameters of a classic SLAM dataset with minimum knowledge about the system and the parameters.
参数校准是机器人开发的一个繁重而重要的部分,传统上是通过手动校准例程完成的。近年来,许多作者提出在机器人运行过程中直接从输入数据自动校准参数。虽然大多数方法都是在特定应用的背景下讨论的,并且受益于问题的特殊性,但提出了一些适用于广泛问题的通用方法。然而,在实践中,由于公式与模型的耦合,例如线性化步骤、矩阵分解、封闭形式求解等,每次应用到不同的领域时,它们都需要重新实现和定制。在本文中,我们利用通用概率编程语言(ppl)的表达能力来构建一个通用的在线校准框架,该框架可以估计任意机器人系统在运行过程中的参数。该方法基于贝叶斯滤波和蒙特卡罗方法,只需要模型规范,其他方法作为黑盒。因此,它跨越了校准问题的实现方面的一般性,这有助于一系列新的应用,例如任意机器人的快速原型。我们展示了一个简短的PPL程序能够以最少的系统和参数知识校准经典SLAM数据集的运动学、外在和噪声参数。
{"title":"A Generic Online Parameter (Re-)calibration Framework Using PPL","authors":"Seyed Mahdi Shamsi, N. Napp","doi":"10.1109/CASE48305.2020.9216771","DOIUrl":"https://doi.org/10.1109/CASE48305.2020.9216771","url":null,"abstract":"Parameter calibration is a burdensome yet essential part of robotics development which traditionally was done through manual calibration routines. Over the recent years, many authors have proposed to automatically calibrate parameters directly from the input data, during the operation of the robot. While the majority of methods are discussed within the context of a specific application and benefit from the particularity of the problem, some generic approaches are proposed that are applicable to a wide spectrum of problems. However in practice, they require re-implementation and customization every time applied to a different domain, due to coupling of formulations with the model, e.g. linearization steps, matrix decomposition, closed form solving, etc. In this paper, we exploit the expressiveness of general purpose probabilistic programming languages (PPLs) to build a generic online calibration framework that can estimate the parameters of arbitrary robotic systems during operation. The proposed approach, based on Bayes filter and Monte Carlo methods, only requires model specification and works as a black-box otherwise. Hence, it spans the generality to the implementation aspect of the calibration problem which facilitates a range of new applications, e.g. fast prototyping of arbitrary robots. We show a short PPL program is capable of calibrating kinematic, extrinsic, and noise parameters of a classic SLAM dataset with minimum knowledge about the system and the parameters.","PeriodicalId":212181,"journal":{"name":"2020 IEEE 16th International Conference on Automation Science and Engineering (CASE)","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129551626","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
Crowd Counting with Spatial Normalization Network 基于空间归一化网络的人群计数
Pub Date : 2020-08-01 DOI: 10.1109/CASE48305.2020.9216769
Pengcheng Xia, Dapeng Zhang
Crowd counting, which requires to estimate crowd density from an image, is still a challenging task in computer vision. Most of the current methods are focused on large scale variation of people and ignore the huge distribution difference of crowd. To tackle these two problems together, we propose a novel framework named Spatial Normalization Network (SNNet). We normalize multi-scale features from parallel subnetworks to a particular scale and then fuse them to acquire rich spatial information for final accurate density map predictions. Furthermore, we propose a novel normalization layer called Spatial Group Normalization (SGN), which firstly split feature maps along the spatial dimension and then perform group-wise normalization. It’s useful to solve statistic shift problems caused by the great difference of distribution in crowd counting. Moreover, SGN can be naturally plugged into existing solutions and brings significant improvement in crowd counting. Our proposed SNNet achieves state-of-the-art performance on four challenging crowd counting datasets (ShanghaiTech, UCFQNRF, GCC and TRANCOS datasets), which demonstrates the effectiveness and robust feature learning capability of our methods.
人群计数需要从图像中估计人群密度,这在计算机视觉中仍然是一项具有挑战性的任务。现有的方法大多只关注人的大尺度变化,而忽略了人群的巨大分布差异。为了同时解决这两个问题,我们提出了一个新的框架——空间归一化网络(SNNet)。我们将平行子网络的多尺度特征归一化到一个特定的尺度,然后将它们融合在一起,以获得丰富的空间信息,从而获得最终准确的密度图预测。此外,我们提出了一种新的归一化层,称为空间组归一化(SGN),它首先沿着空间维度拆分特征映射,然后进行分组归一化。这对解决人群计数中由于分布差异大而引起的统计偏移问题很有帮助。此外,SGN可以自然地插入到现有的解决方案中,并在人群计数方面带来显著的改进。我们提出的SNNet在四个具有挑战性的人群计数数据集(ShanghaiTech, UCFQNRF, GCC和TRANCOS数据集)上实现了最先进的性能,这证明了我们的方法的有效性和强大的特征学习能力。
{"title":"Crowd Counting with Spatial Normalization Network","authors":"Pengcheng Xia, Dapeng Zhang","doi":"10.1109/CASE48305.2020.9216769","DOIUrl":"https://doi.org/10.1109/CASE48305.2020.9216769","url":null,"abstract":"Crowd counting, which requires to estimate crowd density from an image, is still a challenging task in computer vision. Most of the current methods are focused on large scale variation of people and ignore the huge distribution difference of crowd. To tackle these two problems together, we propose a novel framework named Spatial Normalization Network (SNNet). We normalize multi-scale features from parallel subnetworks to a particular scale and then fuse them to acquire rich spatial information for final accurate density map predictions. Furthermore, we propose a novel normalization layer called Spatial Group Normalization (SGN), which firstly split feature maps along the spatial dimension and then perform group-wise normalization. It’s useful to solve statistic shift problems caused by the great difference of distribution in crowd counting. Moreover, SGN can be naturally plugged into existing solutions and brings significant improvement in crowd counting. Our proposed SNNet achieves state-of-the-art performance on four challenging crowd counting datasets (ShanghaiTech, UCFQNRF, GCC and TRANCOS datasets), which demonstrates the effectiveness and robust feature learning capability of our methods.","PeriodicalId":212181,"journal":{"name":"2020 IEEE 16th International Conference on Automation Science and Engineering (CASE)","volume":"85 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129657417","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
Compact Belief State Representation for Task Planning 任务规划的紧凑信念状态表示
Pub Date : 2020-08-01 DOI: 10.1109/CASE48305.2020.9216994
E. Safronov, Michele Colledanchise, L. Natale
Task planning in a probabilistic belief space generates complex and robust execution policies in domains affected by state uncertainty. The performance of a task planner relies on the belief space representation of the world. However, such representation becomes easily intractable as the number of variables and execution time grow. To address this problem, we developed a novel belief space representation based on the Cartesian product and union operations over belief substates. These two operations and single variable assignment nodes form And-Or directed acyclic graph of Belief States (AOBSs). We show how to apply actions with probabilistic outcomes and how to measure the probability of conditions holding true over belief states. We evaluated AOBSs performance in simulated forward state space exploration. We compared the size of AOBSs with the size of Binary Decision Diagrams (BDDs) that were previously used to represent belief state. We show that AOBSs representation more compact than a full belief state and it scales better than BDDs for most of the cases.
概率信念空间中的任务规划在受状态不确定性影响的域中生成复杂且鲁棒的执行策略。任务规划器的性能依赖于对世界的信念空间表示。然而,随着变量数量和执行时间的增长,这种表示变得很容易难以处理。为了解决这个问题,我们开发了一种基于笛卡尔积和信念子态上的并运算的信念空间表示。这两种操作和单变量分配节点构成了有向无环相信状态图(aobs)。我们展示了如何应用具有概率结果的行为,以及如何测量条件在信念状态上为真的概率。我们评估了aobs在模拟前向状态空间探索中的性能。我们将aobs的大小与以前用于表示信念状态的二元决策图(bdd)的大小进行了比较。结果表明,在大多数情况下,aobs比完全信念状态更紧凑,并且比bdd具有更好的可扩展性。
{"title":"Compact Belief State Representation for Task Planning","authors":"E. Safronov, Michele Colledanchise, L. Natale","doi":"10.1109/CASE48305.2020.9216994","DOIUrl":"https://doi.org/10.1109/CASE48305.2020.9216994","url":null,"abstract":"Task planning in a probabilistic belief space generates complex and robust execution policies in domains affected by state uncertainty. The performance of a task planner relies on the belief space representation of the world. However, such representation becomes easily intractable as the number of variables and execution time grow. To address this problem, we developed a novel belief space representation based on the Cartesian product and union operations over belief substates. These two operations and single variable assignment nodes form And-Or directed acyclic graph of Belief States (AOBSs). We show how to apply actions with probabilistic outcomes and how to measure the probability of conditions holding true over belief states. We evaluated AOBSs performance in simulated forward state space exploration. We compared the size of AOBSs with the size of Binary Decision Diagrams (BDDs) that were previously used to represent belief state. We show that AOBSs representation more compact than a full belief state and it scales better than BDDs for most of the cases.","PeriodicalId":212181,"journal":{"name":"2020 IEEE 16th International Conference on Automation Science and Engineering (CASE)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128999907","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
Tightened Formulation and Resolution of Energy-Efficient Job-Shop Scheduling 节能作业车间调度的强化制定与解决
Pub Date : 2020-08-01 DOI: 10.1109/CASE48305.2020.9217035
B. Yan, Mikhail A. Bragin, P. Luh
Job shops are an important production environment for low-volume high-variety manufacturing. When there are urgent orders, the speeds of certain machines can be adjusted with a high energy and wear and tear cost. Scheduling in such an environment is to achieve on-time deliveries and low energy costs. The problem is, however, complicated because part processing time depends on machine speeds, and machines need to be modeled individually to capture energy costs. This paper is to obtain near-optimal solutions efficiently. The problem is formulated as a Mixed-Integer Linear Programming (MILP) form to make effective use of available MILP methods. This is done by modeling machines in groups for simplicity while approximating energy costs, and by linking part processing status and machine speed variables. Nevertheless, the resulting problem is still complicated. The formulation is therefore transformed by extending our previous tightening approach for machines with constant speeds. The idea is that if constraints can be transformed to directly delineate the convex hull, then the problem can be solved by linear programming methods. To solve the problem efficiently, our advanced decomposition and coordination method is used. Numerical results show that nearoptimal solutions are obtained, demonstrating significant benefits of our approach on on-time deliveries and energy costs.
作业车间是小批量、多品种制造的重要生产环境。当有紧急订单时,某些机器的速度可以调整,能耗和磨损成本很高。在这样的环境中调度是为了实现准时交付和低能源成本。然而,问题是复杂的,因为零件加工时间取决于机器的速度,机器需要单独建模以捕获能源成本。本文的目的是有效地求得近似最优解。为了有效地利用现有的混合整数线性规划方法,将该问题表述为混合整数线性规划(MILP)形式。这是通过对机器进行分组建模来实现的,以便在近似能源成本的同时简化,并通过将零件加工状态和机器速度变量联系起来。然而,由此产生的问题仍然很复杂。因此,通过扩展我们以前对恒速机器的拧紧方法,改变了配方。其思想是,如果约束可以转换为直接描绘凸包,那么问题就可以通过线性规划方法来解决。为了有效地解决这一问题,我们采用了先进的分解协调方法。数值结果表明,得到了近似最优的解决方案,证明了我们的方法在准时交货和能源成本方面的显著优势。
{"title":"Tightened Formulation and Resolution of Energy-Efficient Job-Shop Scheduling","authors":"B. Yan, Mikhail A. Bragin, P. Luh","doi":"10.1109/CASE48305.2020.9217035","DOIUrl":"https://doi.org/10.1109/CASE48305.2020.9217035","url":null,"abstract":"Job shops are an important production environment for low-volume high-variety manufacturing. When there are urgent orders, the speeds of certain machines can be adjusted with a high energy and wear and tear cost. Scheduling in such an environment is to achieve on-time deliveries and low energy costs. The problem is, however, complicated because part processing time depends on machine speeds, and machines need to be modeled individually to capture energy costs. This paper is to obtain near-optimal solutions efficiently. The problem is formulated as a Mixed-Integer Linear Programming (MILP) form to make effective use of available MILP methods. This is done by modeling machines in groups for simplicity while approximating energy costs, and by linking part processing status and machine speed variables. Nevertheless, the resulting problem is still complicated. The formulation is therefore transformed by extending our previous tightening approach for machines with constant speeds. The idea is that if constraints can be transformed to directly delineate the convex hull, then the problem can be solved by linear programming methods. To solve the problem efficiently, our advanced decomposition and coordination method is used. Numerical results show that nearoptimal solutions are obtained, demonstrating significant benefits of our approach on on-time deliveries and energy costs.","PeriodicalId":212181,"journal":{"name":"2020 IEEE 16th International Conference on Automation Science and Engineering (CASE)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129032960","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}
引用次数: 2
Online Computation Performance Analysis for Distributed Machine Learning Pipelines in Fog Manufacturing 雾制造中分布式机器学习管道的在线计算性能分析
Pub Date : 2020-08-01 DOI: 10.1109/CASE48305.2020.9216979
Lening Wang, Yutong Zhang, Xiaoyu Chen, R. Jin
Smart manufacturing enables real-time data streaming from interconnected manufacturing processes to improve manufacturing quality, throughput, flexibility, and cost reduction via computation services. In these computation services, machine learning pipelines integrate various types of computation method options to match the contextualized, on-demand computation needs for the maximum prediction accuracy or the best model structure interpretation. On the other hand, there is a pressing need to integrate Fog computing in manufacturing, which will reduce communication time latency and dependency on connections, improve responsiveness and reliability of the computation services, and maintain data privacy. However, there is a knowledge gap in using machine learning pipelines in Fog manufacturing. Existing offloading strategies are not effective, due to the lack of accurate prediction model for the performance of computation services before the execution of those heterogeneous computation tasks. In this paper, machine learning pipelines are implemented in Fog manufacturing. The computation performance of each sub-step of pipelines is predicted and analyzed via linear regression models and random forest regression models. A Fog manufacturing testbed is adopted to validate the performance of the employed models. The results show that the models can adequately predict the performance of computation services, which can be further integrated into Fog manufacturing to better support offloading strategies for machine learning pipelines.
智能制造使互联制造过程中的实时数据流能够通过计算服务提高制造质量、吞吐量、灵活性和降低成本。在这些计算服务中,机器学习管道集成了各种类型的计算方法选项,以匹配上下文化的按需计算需求,以获得最大的预测精度或最佳的模型结构解释。另一方面,迫切需要将雾计算集成到制造业中,这将减少通信时间延迟和对连接的依赖,提高计算服务的响应性和可靠性,并维护数据隐私。然而,在雾制造中使用机器学习管道存在知识差距。由于缺乏对异构计算任务执行前计算业务性能的准确预测模型,现有的卸载策略效果不佳。本文将机器学习管道应用于雾制造。通过线性回归模型和随机森林回归模型对管道各子步骤的计算性能进行了预测和分析。采用雾制造试验台对所建模型的性能进行了验证。结果表明,该模型可以充分预测计算服务的性能,可以进一步集成到雾制造中,以更好地支持机器学习管道的卸载策略。
{"title":"Online Computation Performance Analysis for Distributed Machine Learning Pipelines in Fog Manufacturing","authors":"Lening Wang, Yutong Zhang, Xiaoyu Chen, R. Jin","doi":"10.1109/CASE48305.2020.9216979","DOIUrl":"https://doi.org/10.1109/CASE48305.2020.9216979","url":null,"abstract":"Smart manufacturing enables real-time data streaming from interconnected manufacturing processes to improve manufacturing quality, throughput, flexibility, and cost reduction via computation services. In these computation services, machine learning pipelines integrate various types of computation method options to match the contextualized, on-demand computation needs for the maximum prediction accuracy or the best model structure interpretation. On the other hand, there is a pressing need to integrate Fog computing in manufacturing, which will reduce communication time latency and dependency on connections, improve responsiveness and reliability of the computation services, and maintain data privacy. However, there is a knowledge gap in using machine learning pipelines in Fog manufacturing. Existing offloading strategies are not effective, due to the lack of accurate prediction model for the performance of computation services before the execution of those heterogeneous computation tasks. In this paper, machine learning pipelines are implemented in Fog manufacturing. The computation performance of each sub-step of pipelines is predicted and analyzed via linear regression models and random forest regression models. A Fog manufacturing testbed is adopted to validate the performance of the employed models. The results show that the models can adequately predict the performance of computation services, which can be further integrated into Fog manufacturing to better support offloading strategies for machine learning pipelines.","PeriodicalId":212181,"journal":{"name":"2020 IEEE 16th International Conference on Automation Science and Engineering (CASE)","volume":"794 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117038362","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}
引用次数: 5
An entropy-based sensor selection algorithm for structural damage detection 基于熵的结构损伤检测传感器选择算法
Pub Date : 2020-08-01 DOI: 10.1109/CASE48305.2020.9216828
Jimmy Tjen, Francesco Smarra, A. D’innocenzo
In this paper an experimental setup for structural damage detection is considered and a novel sensor selection algorithm is derived, based on the concepts of entropy and information gain from information theory, to reduce the number of sensors without affecting, or even improving (as happens in our experimental setup), model accuracy. An experimental dataset is considered showing that our method outperforms previous approaches improving the prediction accuracy and the damage detection sensitivity while reducing the number of sensors.
本文考虑了结构损伤检测的实验设置,并基于信息理论的熵和信息增益的概念推导了一种新的传感器选择算法,以减少传感器的数量,而不影响甚至提高(如我们的实验设置中所发生的)模型精度。实验数据表明,该方法在减少传感器数量的同时,提高了预测精度和损伤检测灵敏度。
{"title":"An entropy-based sensor selection algorithm for structural damage detection","authors":"Jimmy Tjen, Francesco Smarra, A. D’innocenzo","doi":"10.1109/CASE48305.2020.9216828","DOIUrl":"https://doi.org/10.1109/CASE48305.2020.9216828","url":null,"abstract":"In this paper an experimental setup for structural damage detection is considered and a novel sensor selection algorithm is derived, based on the concepts of entropy and information gain from information theory, to reduce the number of sensors without affecting, or even improving (as happens in our experimental setup), model accuracy. An experimental dataset is considered showing that our method outperforms previous approaches improving the prediction accuracy and the damage detection sensitivity while reducing the number of sensors.","PeriodicalId":212181,"journal":{"name":"2020 IEEE 16th International Conference on Automation Science and Engineering (CASE)","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121419320","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}
引用次数: 10
Comparing Position- and Image-Based Visual Servoing for Robotic Assembly of Large Structures 大型结构机器人装配中基于位置和图像的视觉伺服比较
Pub Date : 2020-08-01 DOI: 10.1109/CASE48305.2020.9217028
Yuan-Chih Peng, Devavrat Jivani, R. Radke, J. Wen
This paper considers image-guided assembly for large composite panels. By using fiducial markers on the panels and robot gripper mounted cameras, we are able to use an industrial robot to align the panels to sub-millimeter accuracy. We considered two commonly used visual servoing schemes: position-based visual servoing (PBVS) and image-based visual servoing (IBVS). It has been noted that IBVS possesses superior robustness with respect to the camera calibration accuracy. However, we have found that in our case, PBVS is both faster and slightly more accurate than IBVS. This result is due to the fact that the visual servoing target in the image plane is derived from a reference target, which depends on the accuracy of the camera model. This additional dependency essentially nullifies the robustness advantage of IBVS. We also implemented a simple scheme to combine inputs from multiple cameras to improve the visual servoing accuracy. Both simulation and experimental results are included to show the effectiveness of visual servoing in an industrial setting.
本文研究了大型复合板的图像引导装配问题。通过在面板上使用基准标记和安装在机器人抓手上的相机,我们能够使用工业机器人将面板对齐到亚毫米精度。我们考虑了两种常用的视觉伺服方案:基于位置的视觉伺服(PBVS)和基于图像的视觉伺服(IBVS)。已经注意到,IBVS在相机校准精度方面具有优越的鲁棒性。然而,我们发现在我们的案例中,PBVS比IBVS更快,更准确。这是由于图像平面上的视觉伺服目标来源于参考目标,这取决于相机模型的精度。这种额外的依赖关系实质上抵消了IBVS的健壮性优势。我们还实现了一个简单的方案,将来自多个摄像机的输入组合在一起,以提高视觉伺服精度。仿真和实验结果都表明了视觉伺服在工业环境中的有效性。
{"title":"Comparing Position- and Image-Based Visual Servoing for Robotic Assembly of Large Structures","authors":"Yuan-Chih Peng, Devavrat Jivani, R. Radke, J. Wen","doi":"10.1109/CASE48305.2020.9217028","DOIUrl":"https://doi.org/10.1109/CASE48305.2020.9217028","url":null,"abstract":"This paper considers image-guided assembly for large composite panels. By using fiducial markers on the panels and robot gripper mounted cameras, we are able to use an industrial robot to align the panels to sub-millimeter accuracy. We considered two commonly used visual servoing schemes: position-based visual servoing (PBVS) and image-based visual servoing (IBVS). It has been noted that IBVS possesses superior robustness with respect to the camera calibration accuracy. However, we have found that in our case, PBVS is both faster and slightly more accurate than IBVS. This result is due to the fact that the visual servoing target in the image plane is derived from a reference target, which depends on the accuracy of the camera model. This additional dependency essentially nullifies the robustness advantage of IBVS. We also implemented a simple scheme to combine inputs from multiple cameras to improve the visual servoing accuracy. Both simulation and experimental results are included to show the effectiveness of visual servoing in an industrial setting.","PeriodicalId":212181,"journal":{"name":"2020 IEEE 16th International Conference on Automation Science and Engineering (CASE)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121256943","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
Imagery based Parametric Classification of Correct and Incorrect Motion for Push-up Counter Using OpenPose 基于图像的OpenPose俯卧撑计数器正确与错误动作参数分类
Pub Date : 2020-08-01 DOI: 10.1109/CASE48305.2020.9216833
Ho-Jun Park, Jang-Woon Baek, Jong-Hwan Kim
This paper presents a real-time approach to count push-ups using 2D video imagery. The proposed method uses OpenPose in each frame to extract multiple joints and links of a human body. Then, it analyzes key motion features linked to counting the push-ups. Taking in consideration the push-up rules of the Republic of Korea Army, five criteria are defined and used parametrically to discriminate both correct and incorrect push-ups. A total of 147,840 samples have been collected from 220 push-up videos each in two different viewpoints: half of the videos for modeling the proposed method and the other half for testing its performance. Finally, the results shows 90.00%, 87.82%, 97.86%, and 92.57% for accuracy, precision, recall, and F-measure, respectively, demonstrating its reliability in military physical tests.
本文提出了一种利用二维视频图像实时计数俯卧撑的方法。该方法在每帧中使用OpenPose提取人体的多个关节和链路。然后,分析与计算俯卧撑相关的关键动作特征。考虑到大韩民国军队的俯卧撑规则,定义了五个标准,并使用参数化区分正确和不正确的俯卧撑。总共从220个俯卧撑视频中收集了147840个样本,每个视频都有两个不同的视角:一半的视频用于建模所提出的方法,另一半用于测试其性能。结果表明,该方法的准确率为90.00%,精密度为87.82%,召回率为97.86%,F-measure为92.57%,证明了该方法在军事体能测试中的可靠性。
{"title":"Imagery based Parametric Classification of Correct and Incorrect Motion for Push-up Counter Using OpenPose","authors":"Ho-Jun Park, Jang-Woon Baek, Jong-Hwan Kim","doi":"10.1109/CASE48305.2020.9216833","DOIUrl":"https://doi.org/10.1109/CASE48305.2020.9216833","url":null,"abstract":"This paper presents a real-time approach to count push-ups using 2D video imagery. The proposed method uses OpenPose in each frame to extract multiple joints and links of a human body. Then, it analyzes key motion features linked to counting the push-ups. Taking in consideration the push-up rules of the Republic of Korea Army, five criteria are defined and used parametrically to discriminate both correct and incorrect push-ups. A total of 147,840 samples have been collected from 220 push-up videos each in two different viewpoints: half of the videos for modeling the proposed method and the other half for testing its performance. Finally, the results shows 90.00%, 87.82%, 97.86%, and 92.57% for accuracy, precision, recall, and F-measure, respectively, demonstrating its reliability in military physical tests.","PeriodicalId":212181,"journal":{"name":"2020 IEEE 16th International Conference on Automation Science and Engineering (CASE)","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115370301","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
On-road Trajectory Planning with Spatio-temporal RRT* and Always-feasible Quadratic Program 基于时空RRT*和始终可行二次规划的道路轨迹规划
Pub Date : 2020-08-01 DOI: 10.1109/CASE48305.2020.9217044
Bai Li, Qi Kong, Youmin Zhang, Zhijiang Shao, Yumeng Wang, Xiaoyan Peng, Daxun Yan
On-road trajectory planning is a critical module in an autonomous driving system. Instead of using a path-velocity decomposition or longitudinal-lateral decomposition strategy, this work aims to find a trajectory directly. We adopt a sampleand-search planner to get a coarse trajectory and then polish it via numerical optimization. Among the predominant sampleand-search planners, most of the sampling operations are not flexible, which inevitably lead to a solution failure if the sampling density is low, and suffer from the curse of dimensionality if the sampling density is set high. This work proposes a modified RRT* for trajectory search, aiming to promote the sampling flexibility and to get rid of the search randomness. A quadratic program (QP) based smoother is proposed to refine the coarse trajectory. Herein, the scale of the QP problem is fixed and tractable, and the feasibility of the QP problem is always guaranteed.
道路轨迹规划是自动驾驶系统的关键模块。这项工作的目的是直接找到一个轨迹,而不是使用路径-速度分解或纵向-横向分解策略。我们采用样本搜索规划器得到粗轨迹,然后通过数值优化对其进行优化。在主流的抽样搜索计划中,大多数抽样操作都不灵活,当抽样密度较低时,不可避免地导致求解失败,而当抽样密度过高时,又会受到维数诅咒的影响。本文提出了一种改进的RRT*用于轨迹搜索,旨在提高采样的灵活性,消除搜索的随机性。提出了一种基于二次规划(QP)的平滑器来改进粗轨迹。其中,QP问题的规模是固定的、可处理的,并且始终保证QP问题的可行性。
{"title":"On-road Trajectory Planning with Spatio-temporal RRT* and Always-feasible Quadratic Program","authors":"Bai Li, Qi Kong, Youmin Zhang, Zhijiang Shao, Yumeng Wang, Xiaoyan Peng, Daxun Yan","doi":"10.1109/CASE48305.2020.9217044","DOIUrl":"https://doi.org/10.1109/CASE48305.2020.9217044","url":null,"abstract":"On-road trajectory planning is a critical module in an autonomous driving system. Instead of using a path-velocity decomposition or longitudinal-lateral decomposition strategy, this work aims to find a trajectory directly. We adopt a sampleand-search planner to get a coarse trajectory and then polish it via numerical optimization. Among the predominant sampleand-search planners, most of the sampling operations are not flexible, which inevitably lead to a solution failure if the sampling density is low, and suffer from the curse of dimensionality if the sampling density is set high. This work proposes a modified RRT* for trajectory search, aiming to promote the sampling flexibility and to get rid of the search randomness. A quadratic program (QP) based smoother is proposed to refine the coarse trajectory. Herein, the scale of the QP problem is fixed and tractable, and the feasibility of the QP problem is always guaranteed.","PeriodicalId":212181,"journal":{"name":"2020 IEEE 16th International Conference on Automation Science and Engineering (CASE)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115435716","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}
引用次数: 11
期刊
2020 IEEE 16th International 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学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1