首页 > 最新文献

IECON 2022 – 48th Annual Conference of the IEEE Industrial Electronics Society最新文献

英文 中文
Selective Harmonic Mitigation (SHM-PWM) and THD Minimization: Performance Comparison of Different Formulations 选择性谐波缓解(SHM-PWM)和THD最小化:不同配方的性能比较
Pub Date : 2022-10-17 DOI: 10.1109/IECON49645.2022.9968330
A. Pérez-Basante, Irati Ibanez-Hidalgo, S. Ceballos, Alain Sanchez-Ruiz, G. Konstantinou, J. Pou
Selective harmonic mitigation (SHM-PWM) is a low switching frequency modulation technique commonly employed in medium voltage - high power multilevel converters to increase their efficiency. Several different formulations, based on multi-objective cost functions, have been published in the technical literature to implement SHM-PWM together with total harmonic distortion (THD) minimization. However, a comparison is required to determine which formulation is more effective to solve the problem. In this way, this paper provides a novel comparison based on a study of the formulation equations and a brute force analysis. The formulation parameters have been optimized to offer a fair comparison in the brute force analysis. With the aim of considering the effect on the convergence of search algorithm effectiveness, the formulations have also been compared considering the results provided by a hybrid meta-heuristic-numerical search algorithm. As a result, the advantages and disadvantages of every formulation, besides some rules to optimize their parameters, have been extracted.
选择性谐波抑制(SHM-PWM)是一种低开关频率调制技术,通常用于中压大功率多电平变换器中,以提高其效率。基于多目标成本函数的几种不同的公式已经在技术文献中发表,以实现SHM-PWM以及总谐波失真(THD)最小化。但是,需要进行比较,以确定哪种配方更有效地解决问题。通过这种方式,本文提供了一种基于公式方程研究和蛮力分析的新颖比较。对配方参数进行了优化,以便在蛮力分析中进行公平的比较。为了考虑对搜索算法有效性收敛性的影响,本文还结合一种元启发式-数值混合搜索算法提供的结果,对公式进行了比较。得出了各种配方的优缺点,并对其参数进行了优化。
{"title":"Selective Harmonic Mitigation (SHM-PWM) and THD Minimization: Performance Comparison of Different Formulations","authors":"A. Pérez-Basante, Irati Ibanez-Hidalgo, S. Ceballos, Alain Sanchez-Ruiz, G. Konstantinou, J. Pou","doi":"10.1109/IECON49645.2022.9968330","DOIUrl":"https://doi.org/10.1109/IECON49645.2022.9968330","url":null,"abstract":"Selective harmonic mitigation (SHM-PWM) is a low switching frequency modulation technique commonly employed in medium voltage - high power multilevel converters to increase their efficiency. Several different formulations, based on multi-objective cost functions, have been published in the technical literature to implement SHM-PWM together with total harmonic distortion (THD) minimization. However, a comparison is required to determine which formulation is more effective to solve the problem. In this way, this paper provides a novel comparison based on a study of the formulation equations and a brute force analysis. The formulation parameters have been optimized to offer a fair comparison in the brute force analysis. With the aim of considering the effect on the convergence of search algorithm effectiveness, the formulations have also been compared considering the results provided by a hybrid meta-heuristic-numerical search algorithm. As a result, the advantages and disadvantages of every formulation, besides some rules to optimize their parameters, have been extracted.","PeriodicalId":125740,"journal":{"name":"IECON 2022 – 48th Annual Conference of the IEEE Industrial Electronics Society","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127164625","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
Finite-Time Robust Guaranteed Cost Control for Continuous-Time Singular Systems with Nonlinear Perturbation 非线性扰动连续奇异系统的有限时间鲁棒保成本控制
Pub Date : 2022-10-17 DOI: 10.1109/IECON49645.2022.9968899
Xuejing Ren, Bo Li, Junjie Zhao, S. Wo
This note investigates the finite-time control problem for continuous-time singular system with nonlinear perturbation. The perturbation is a function of time and system state and satisfies a Lipchitz constraint. The definition of finite-time robust control for singular system with nonlinear perturbation is firstly presented. Then a sufficient condition for the existence and uniqueness of solution to the singular system is presented. Third, a sufficient condition of finite-time guaranteed cost controller is presented in terms of linear matrix inequality via generalized Lyapunov function approach. Finally, the effectiveness of the developed approach for singular systems is illustrated by numerical example.
研究具有非线性扰动的连续奇异系统的有限时间控制问题。扰动是时间和系统状态的函数,满足一个Lipchitz约束。首先给出了具有非线性扰动的奇异系统的有限时间鲁棒控制的定义。然后给出了该奇异系统解存在唯一性的充分条件。第三,利用广义Lyapunov函数方法,利用线性矩阵不等式给出了有限时间保成本控制器存在的充分条件。最后,通过数值算例说明了该方法对奇异系统的有效性。
{"title":"Finite-Time Robust Guaranteed Cost Control for Continuous-Time Singular Systems with Nonlinear Perturbation","authors":"Xuejing Ren, Bo Li, Junjie Zhao, S. Wo","doi":"10.1109/IECON49645.2022.9968899","DOIUrl":"https://doi.org/10.1109/IECON49645.2022.9968899","url":null,"abstract":"This note investigates the finite-time control problem for continuous-time singular system with nonlinear perturbation. The perturbation is a function of time and system state and satisfies a Lipchitz constraint. The definition of finite-time robust control for singular system with nonlinear perturbation is firstly presented. Then a sufficient condition for the existence and uniqueness of solution to the singular system is presented. Third, a sufficient condition of finite-time guaranteed cost controller is presented in terms of linear matrix inequality via generalized Lyapunov function approach. Finally, the effectiveness of the developed approach for singular systems is illustrated by numerical example.","PeriodicalId":125740,"journal":{"name":"IECON 2022 – 48th Annual Conference of the IEEE Industrial Electronics Society","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124729375","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
Voltage Sag Classification Based on Multi-task Parallel Convolutional Neural Network 基于多任务并行卷积神经网络的电压暂降分类
Pub Date : 2022-10-17 DOI: 10.1109/IECON49645.2022.9968651
Youli Dong, Xiaojun Ding, Hao He, Weizhe Zhao, Jia Li
This paper proposed a novel sag classification method that is a parallel convolutional neural network with multi-task learning (PCNN_MTL). Voltage sag events will not only cause a sharp drop in the amplitude of single-phase or multi-phase voltage but also bring about phase changes after propagation. In order to obtain distinguishing feature information, a one-dimensional convolution neural network is employed to extract the distortion characteristics of single-phase voltage, and a two-dimensional convolution neural network is utilized to capture the correlation characteristics between three-phase voltages. The extracted features of them will be fused in the full-connection layer. Finally, the multi-task learning is adopted to classify the sag signals with two classification modes which are the ACD classification and the A~G classification. The experimental results show that the proposed PCNN_MTL achieves good classification effects in both classification modes, and can realize the refined classification of 19 types of sags.
本文提出了一种新的多任务学习并行卷积神经网络(PCNN_MTL)分类方法。电压暂降事件不仅会引起单相或多相电压幅值的急剧下降,还会引起传播后的相位变化。为了获得区分特征信息,采用一维卷积神经网络提取单相电压的畸变特征,二维卷积神经网络捕获三相电压之间的相关特征。它们的提取特征将在全连接层进行融合。最后,采用多任务学习对凹陷信号进行分类,分为ACD分类和A~G分类两种分类模式。实验结果表明,所提出的PCNN_MTL在两种分类模式下均取得了较好的分类效果,可实现对19种凹陷的精细化分类。
{"title":"Voltage Sag Classification Based on Multi-task Parallel Convolutional Neural Network","authors":"Youli Dong, Xiaojun Ding, Hao He, Weizhe Zhao, Jia Li","doi":"10.1109/IECON49645.2022.9968651","DOIUrl":"https://doi.org/10.1109/IECON49645.2022.9968651","url":null,"abstract":"This paper proposed a novel sag classification method that is a parallel convolutional neural network with multi-task learning (PCNN_MTL). Voltage sag events will not only cause a sharp drop in the amplitude of single-phase or multi-phase voltage but also bring about phase changes after propagation. In order to obtain distinguishing feature information, a one-dimensional convolution neural network is employed to extract the distortion characteristics of single-phase voltage, and a two-dimensional convolution neural network is utilized to capture the correlation characteristics between three-phase voltages. The extracted features of them will be fused in the full-connection layer. Finally, the multi-task learning is adopted to classify the sag signals with two classification modes which are the ACD classification and the A~G classification. The experimental results show that the proposed PCNN_MTL achieves good classification effects in both classification modes, and can realize the refined classification of 19 types of sags.","PeriodicalId":125740,"journal":{"name":"IECON 2022 – 48th Annual Conference of the IEEE Industrial Electronics Society","volume":"93 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124881593","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
Calibration methodology for multirobot assembly cell 多机器人装配单元标定方法
Pub Date : 2022-10-17 DOI: 10.1109/IECON49645.2022.9968339
Floriane Mazzoni, A. Olabi, Richard Béarée, Jean-Baptiste Ernst-Desmulier
In the context of the industry 4.0, production lines must be flexible, easily configurable and quickly adaptable to the variation of production. For assembly operations, which are usually done by special machines or human operators, a multirobot cell gives a more flexible solution. Robots trajectories are generated using a CAD model of the cell with an offline programming software. The drawback when using offline programming is the difference between the real trajectories of robots and the theoretical ones. In this paper, a method to calibrate multirobot cell is proposed. This calibration consist in identifying the real positions and orientations of each robot frame with respect to the other. This operation allows to improve the accuracy of the robotic cell by reducing the gap between the CAD model and the physical cell. The calibration is carried out by using a laser profiler and a reference sphere.
在工业4.0的背景下,生产线必须灵活,易于配置并快速适应生产的变化。对于通常由特殊机器或人工操作员完成的装配操作,多机器人单元提供了更灵活的解决方案。机器人的运动轨迹是通过离线编程软件生成的。使用离线编程的缺点是机器人的实际轨迹与理论轨迹之间存在差异。提出了一种多机器人单元标定方法。这种校准包括识别每个机器人框架相对于其他框架的真实位置和方向。这个操作可以通过减少CAD模型和物理单元之间的差距来提高机器人单元的精度。利用激光轮廓仪和参考球进行标定。
{"title":"Calibration methodology for multirobot assembly cell","authors":"Floriane Mazzoni, A. Olabi, Richard Béarée, Jean-Baptiste Ernst-Desmulier","doi":"10.1109/IECON49645.2022.9968339","DOIUrl":"https://doi.org/10.1109/IECON49645.2022.9968339","url":null,"abstract":"In the context of the industry 4.0, production lines must be flexible, easily configurable and quickly adaptable to the variation of production. For assembly operations, which are usually done by special machines or human operators, a multirobot cell gives a more flexible solution. Robots trajectories are generated using a CAD model of the cell with an offline programming software. The drawback when using offline programming is the difference between the real trajectories of robots and the theoretical ones. In this paper, a method to calibrate multirobot cell is proposed. This calibration consist in identifying the real positions and orientations of each robot frame with respect to the other. This operation allows to improve the accuracy of the robotic cell by reducing the gap between the CAD model and the physical cell. The calibration is carried out by using a laser profiler and a reference sphere.","PeriodicalId":125740,"journal":{"name":"IECON 2022 – 48th Annual Conference of the IEEE Industrial Electronics Society","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125939742","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
Flexible Control and Dynamics Estimation of Grid-forming Converters Considering Grid Frequency Variation 考虑电网频率变化的并网变流器柔性控制与动力学估计
Pub Date : 2022-10-17 DOI: 10.1109/IECON49645.2022.9968347
Weiyi Zhang, Zijian Li, H. Yin, Youming Wang
Recently, the penetration of new energy sources and power electronics has been increasing. To support the grid, grid-forming control technologies for renewable energy generation have been proposed. Power control is the key technology of grid-forming converters in achieving grid support. However, in these control methods, the dynamic response of the transient power is usually affected by overshoot and oscillation. In order to improve the dynamic response of the injected instantaneous power, a grid-forming control strategy based on synchronous power controller (SPC) is presented in this paper. A new design idea is proposed to simplify the control model of the power loop, which not only enables accurate theoretical modeling of the active power control dynamics but also allows a quick analysis and parameter design. The comparison of theoretical analysis and simulation experiments verifies the effectiveness of the control method in providing auxiliary services that contribute to the angle and frequency stability of the future grid.
近年来,新能源和电力电子产品的普及率不断提高。为了支持电网,提出了可再生能源发电的成网控制技术。功率控制是成网变流器实现电网支撑的关键技术。然而,在这些控制方法中,暂态功率的动态响应通常受到超调和振荡的影响。为了改善注入瞬时功率的动态响应,提出了一种基于同步功率控制器(SPC)的成网控制策略。提出了一种新的设计思路,简化了功率环的控制模型,不仅可以准确地建立有功功率控制动力学的理论模型,而且可以快速地进行分析和参数设计。理论分析和仿真实验的对比验证了该控制方法在提供辅助服务方面的有效性,这些辅助服务有助于未来电网的角度和频率稳定。
{"title":"Flexible Control and Dynamics Estimation of Grid-forming Converters Considering Grid Frequency Variation","authors":"Weiyi Zhang, Zijian Li, H. Yin, Youming Wang","doi":"10.1109/IECON49645.2022.9968347","DOIUrl":"https://doi.org/10.1109/IECON49645.2022.9968347","url":null,"abstract":"Recently, the penetration of new energy sources and power electronics has been increasing. To support the grid, grid-forming control technologies for renewable energy generation have been proposed. Power control is the key technology of grid-forming converters in achieving grid support. However, in these control methods, the dynamic response of the transient power is usually affected by overshoot and oscillation. In order to improve the dynamic response of the injected instantaneous power, a grid-forming control strategy based on synchronous power controller (SPC) is presented in this paper. A new design idea is proposed to simplify the control model of the power loop, which not only enables accurate theoretical modeling of the active power control dynamics but also allows a quick analysis and parameter design. The comparison of theoretical analysis and simulation experiments verifies the effectiveness of the control method in providing auxiliary services that contribute to the angle and frequency stability of the future grid.","PeriodicalId":125740,"journal":{"name":"IECON 2022 – 48th Annual Conference of the IEEE Industrial Electronics Society","volume":"97 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123409420","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
Pseudo-Random Frequency Pulse Voltage Injection for Sensorless IPMSM Drives at Low Speeds 低速下无传感器IPMSM驱动的伪随机频率脉冲电压注入
Pub Date : 2022-10-17 DOI: 10.1109/IECON49645.2022.9968537
Lianghong Zhu, Binxing Li, Guoqiang Zhang, Runhua Xiang, Hongpeng Zhang, Gaolin Wang, Dianguo Xu
High frequency (HF) signal injection is commonly used in sensorless permanent magnet synchronous motor (PMSM) drives at low speeds and standstill. However, the extra acoustic noises caused by additional signal injection impose restrictions on its further applications. To address this issue, a pseudo-random frequency pulse voltage injection scheme is proposed for sensorless PMSM drives at low speeds. Compared with the pseudo-random signal injection, the proposed pseudo-random frequency pulse voltage injection scheme with pulse width adjustment can make all the discrete harmonics in the noise spectrum disappear, thus achieving effective noise attenuation. The signal injection design is performed via current power spectral density (PSD) analysis. According to the form of the injected signals, the signal demodulation procedure is designed to obtain estimated rotor position. The validity of the proposed scheme is verified on 2.2-kW IPMSM platform.
高频(HF)信号注入通常用于无传感器永磁同步电机(PMSM)低速静止驱动。然而,由于额外的信号注入而产生的额外噪声限制了其进一步的应用。为了解决这一问题,提出了一种用于低速无传感器PMSM驱动的伪随机频率脉冲电压注入方案。与伪随机信号注入相比,本文提出的脉宽调整伪随机频率脉冲电压注入方案可以使噪声谱中的离散次谐波全部消失,从而达到有效的降噪效果。信号注入设计是通过电流功率谱密度(PSD)分析完成的。根据注入信号的形式,设计了信号解调程序,得到估计的转子位置。在2.2 kw IPMSM平台上验证了该方案的有效性。
{"title":"Pseudo-Random Frequency Pulse Voltage Injection for Sensorless IPMSM Drives at Low Speeds","authors":"Lianghong Zhu, Binxing Li, Guoqiang Zhang, Runhua Xiang, Hongpeng Zhang, Gaolin Wang, Dianguo Xu","doi":"10.1109/IECON49645.2022.9968537","DOIUrl":"https://doi.org/10.1109/IECON49645.2022.9968537","url":null,"abstract":"High frequency (HF) signal injection is commonly used in sensorless permanent magnet synchronous motor (PMSM) drives at low speeds and standstill. However, the extra acoustic noises caused by additional signal injection impose restrictions on its further applications. To address this issue, a pseudo-random frequency pulse voltage injection scheme is proposed for sensorless PMSM drives at low speeds. Compared with the pseudo-random signal injection, the proposed pseudo-random frequency pulse voltage injection scheme with pulse width adjustment can make all the discrete harmonics in the noise spectrum disappear, thus achieving effective noise attenuation. The signal injection design is performed via current power spectral density (PSD) analysis. According to the form of the injected signals, the signal demodulation procedure is designed to obtain estimated rotor position. The validity of the proposed scheme is verified on 2.2-kW IPMSM platform.","PeriodicalId":125740,"journal":{"name":"IECON 2022 – 48th Annual Conference of the IEEE Industrial Electronics Society","volume":"102 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123584983","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
Design of a Validator for Module Type Packages 模块类型包的验证器设计
Pub Date : 2022-10-17 DOI: 10.1109/IECON49645.2022.9968371
S. Sarkar, Katharina Stark, Mario Hoernicke
Modular plants build a production system by integrating a set of pre-designed modules. Integration of these modules, supplied by different vendors, is performed using various design tools during the engineering phase. The integration process must perform a rigorous validation of the correctness of a module specification (MTP). Otherwise, the integration process can fail without providing enough failure details. Consequently, Such a failure at the later stage can significantly impact implementation, testing, integration, and SAT. In this paper, we describe a validator tool, that allows a plant designer to define a set of invariants that must be satisfied so that an MTP can be deemed fit for integration. We have tested the validator on a set of MTPs and reported our findings. We expect that the use of such a validator can significantly reduce the possibility of introducing errors during the engineering phase.
模块化工厂通过集成一组预先设计好的模块来构建生产系统。这些由不同供应商提供的模块的集成在工程阶段使用各种设计工具进行。集成过程必须对模块规范(MTP)的正确性执行严格的验证。否则,集成过程可能在没有提供足够的故障细节的情况下失败。因此,这种后期阶段的失败可能会严重影响实现、测试、集成和SAT。在本文中,我们描述了一个验证器工具,它允许工厂设计人员定义一组必须满足的不变量,以便MTP可以被认为适合集成。我们在一组mtp上测试了验证器,并报告了我们的发现。我们期望使用这样的验证器可以显著减少在工程阶段引入错误的可能性。
{"title":"Design of a Validator for Module Type Packages","authors":"S. Sarkar, Katharina Stark, Mario Hoernicke","doi":"10.1109/IECON49645.2022.9968371","DOIUrl":"https://doi.org/10.1109/IECON49645.2022.9968371","url":null,"abstract":"Modular plants build a production system by integrating a set of pre-designed modules. Integration of these modules, supplied by different vendors, is performed using various design tools during the engineering phase. The integration process must perform a rigorous validation of the correctness of a module specification (MTP). Otherwise, the integration process can fail without providing enough failure details. Consequently, Such a failure at the later stage can significantly impact implementation, testing, integration, and SAT. In this paper, we describe a validator tool, that allows a plant designer to define a set of invariants that must be satisfied so that an MTP can be deemed fit for integration. We have tested the validator on a set of MTPs and reported our findings. We expect that the use of such a validator can significantly reduce the possibility of introducing errors during the engineering phase.","PeriodicalId":125740,"journal":{"name":"IECON 2022 – 48th Annual Conference of the IEEE Industrial Electronics Society","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123800688","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
SmartData Safety: Online Safety Models for Data-Driven Cyber-Physical Systems 智能数据安全:数据驱动的网络物理系统的在线安全模型
Pub Date : 2022-10-17 DOI: 10.1109/IECON49645.2022.9969074
José Luís Conradi Hoffmann, A. A. Fröhlich
Contemporary Cyber-Physical Systems (CPS), such as autonomous vehicles, are driven mainly by data. Combining timing and data semantics in such Data-Driven systems is crucial to assure safety. This paper proposes an extension of SmartData to support online safety monitoring. By following a Data-Driven Design, we promote a specification of property monitors using Signal Temporal Logic (STL) encompassing Safety Models. Timing aspects from STL specification roots from the timed data intrinsic to SmartData. The property monitors are envisioned as an online monitoring method inside a Safety Enforcement Unit (SEU). The SEU periodically assures the satisfiability of timing and semantics. We demonstrate the proposed design through a case study of an autonomous vehicle modeled using SmartData. The case study considers Mobileye’s Responsibility-Sensitive Safety as a ruler for safety vehicle conditions. Finally, the design provides the online verification capabilities inside the SEU by exploring the interpretation of STL specification as property monitors following the RTAMT library.
当代网络物理系统(CPS),如自动驾驶汽车,主要由数据驱动。在这种数据驱动系统中,将时序和数据语义结合起来是保证安全的关键。本文提出了SmartData的扩展,以支持在线安全监测。通过遵循数据驱动设计,我们推广了使用包含安全模型的信号时序逻辑(STL)的属性监视器规范。时序方面从STL规范根源于SmartData固有的时序数据。财产监视器被设想为安全执行单元(SEU)内部的在线监控方法。SEU周期性地保证时间和语义的可满足性。我们通过使用SmartData建模的自动驾驶汽车的案例研究来演示所提出的设计。案例研究将Mobileye的责任敏感安全(Responsibility-Sensitive Safety)作为车辆安全状况的标尺。最后,通过探索将STL规范解释为遵循RTAMT库的属性监视器,该设计提供了SEU内部的在线验证功能。
{"title":"SmartData Safety: Online Safety Models for Data-Driven Cyber-Physical Systems","authors":"José Luís Conradi Hoffmann, A. A. Fröhlich","doi":"10.1109/IECON49645.2022.9969074","DOIUrl":"https://doi.org/10.1109/IECON49645.2022.9969074","url":null,"abstract":"Contemporary Cyber-Physical Systems (CPS), such as autonomous vehicles, are driven mainly by data. Combining timing and data semantics in such Data-Driven systems is crucial to assure safety. This paper proposes an extension of SmartData to support online safety monitoring. By following a Data-Driven Design, we promote a specification of property monitors using Signal Temporal Logic (STL) encompassing Safety Models. Timing aspects from STL specification roots from the timed data intrinsic to SmartData. The property monitors are envisioned as an online monitoring method inside a Safety Enforcement Unit (SEU). The SEU periodically assures the satisfiability of timing and semantics. We demonstrate the proposed design through a case study of an autonomous vehicle modeled using SmartData. The case study considers Mobileye’s Responsibility-Sensitive Safety as a ruler for safety vehicle conditions. Finally, the design provides the online verification capabilities inside the SEU by exploring the interpretation of STL specification as property monitors following the RTAMT library.","PeriodicalId":125740,"journal":{"name":"IECON 2022 – 48th Annual Conference of the IEEE Industrial Electronics Society","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125281400","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
A Pragmatic Framework for Mobile Redundant Manipulator Performing Sequential Tasks 移动冗余机械手执行顺序任务的实用框架
Pub Date : 2022-10-17 DOI: 10.1109/IECON49645.2022.9968633
Olivier Raymond, A. Olabi, Richard Béarée
In this paper, a framework combining base placement, path planning and redundancy resolution for a mobile manipulator performing sequential tasks, such as screwing, drilling or assembling tasks, is proposed. For a set of given tasks, the outputs of the proposed algorithm meet the following practical performance indicators: minimization of the number of the base positions, minimization of the number of manipulator joint configuration changes, feasibility of each task considering the force capacity of the manipulator (which takes benefit of redundancy resolution) and path planning of the end-effector motion with obstacle avoidance. The effectiveness of the proposed approach is evaluated considering a 3 DOFs mobile platform and a 7 DOFs manipulator performing screwing in a application with 42 tasks.
本文提出了一种结合基座放置、路径规划和冗余度解析的移动机械臂框架,用于执行旋合、钻孔或装配等顺序任务。对于给定的一组任务,所提算法的输出满足以下实际性能指标:基座位置数量最少、机械手关节构型变化次数最少、各任务考虑机械手受力能力(利用冗余度分辨率)的可行性以及末端执行器避障运动路径规划。以一个3自由度的移动平台和一个7自由度的机械臂为例,对该方法的有效性进行了评估。
{"title":"A Pragmatic Framework for Mobile Redundant Manipulator Performing Sequential Tasks","authors":"Olivier Raymond, A. Olabi, Richard Béarée","doi":"10.1109/IECON49645.2022.9968633","DOIUrl":"https://doi.org/10.1109/IECON49645.2022.9968633","url":null,"abstract":"In this paper, a framework combining base placement, path planning and redundancy resolution for a mobile manipulator performing sequential tasks, such as screwing, drilling or assembling tasks, is proposed. For a set of given tasks, the outputs of the proposed algorithm meet the following practical performance indicators: minimization of the number of the base positions, minimization of the number of manipulator joint configuration changes, feasibility of each task considering the force capacity of the manipulator (which takes benefit of redundancy resolution) and path planning of the end-effector motion with obstacle avoidance. The effectiveness of the proposed approach is evaluated considering a 3 DOFs mobile platform and a 7 DOFs manipulator performing screwing in a application with 42 tasks.","PeriodicalId":125740,"journal":{"name":"IECON 2022 – 48th Annual Conference of the IEEE Industrial Electronics Society","volume":"78 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125380078","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
Large Size Optimization Problem for Power Management in a Fuel Cell Electric Race Car Using Combinatorial Approach 基于组合方法的燃料电池赛车动力管理大尺寸优化问题
Pub Date : 2022-10-17 DOI: 10.1109/IECON49645.2022.9968626
Essolizam Planté, E. Bideaux, M. Delhommais, M. Gerard
Hybrid electrical systems are complex to size because there is a strong dependence between components design and power management control law. In order to pre-size a hybrid rally race car, which uses hydrogen and batteries as energy sources, an offline power management method, which is formulated in a combinatorial form, is developed to be readily incorporated in a bi-level optimization problem. The exponential growth of memory space as a function of the size of the problem, in particular for long power profiles, is a well-known problem of this type of approach. This paper proposes solving techniques, which consist in using battery state trajectory following and constraints relaxation. Obtained results show satisfying improvements compared to the state of art. Sensitivity analyses show the influence of resolution parameters on the optimization problem solution and its required computation resources.
由于元件设计和电源管理控制律之间存在很强的依赖性,混合动力系统的尺寸非常复杂。为了对以氢气和电池为能源的混合动力拉力赛车进行预尺寸设计,开发了一种易于纳入双层优化问题的组合形式的离线电源管理方法。存储器空间的指数增长是问题大小的函数,特别是对于长功率配置文件,这是这类方法的一个众所周知的问题。本文提出了利用电池状态轨迹跟踪和约束松弛两种解决方法。所得结果与现有技术相比有了令人满意的改进。灵敏度分析显示了分辨率参数对优化问题求解及其所需计算资源的影响。
{"title":"Large Size Optimization Problem for Power Management in a Fuel Cell Electric Race Car Using Combinatorial Approach","authors":"Essolizam Planté, E. Bideaux, M. Delhommais, M. Gerard","doi":"10.1109/IECON49645.2022.9968626","DOIUrl":"https://doi.org/10.1109/IECON49645.2022.9968626","url":null,"abstract":"Hybrid electrical systems are complex to size because there is a strong dependence between components design and power management control law. In order to pre-size a hybrid rally race car, which uses hydrogen and batteries as energy sources, an offline power management method, which is formulated in a combinatorial form, is developed to be readily incorporated in a bi-level optimization problem. The exponential growth of memory space as a function of the size of the problem, in particular for long power profiles, is a well-known problem of this type of approach. This paper proposes solving techniques, which consist in using battery state trajectory following and constraints relaxation. Obtained results show satisfying improvements compared to the state of art. Sensitivity analyses show the influence of resolution parameters on the optimization problem solution and its required computation resources.","PeriodicalId":125740,"journal":{"name":"IECON 2022 – 48th Annual Conference of the IEEE Industrial Electronics Society","volume":"297 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114948639","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
期刊
IECON 2022 – 48th Annual Conference of the IEEE Industrial Electronics Society
全部 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