首页 > 最新文献

Volume 9: 15th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications最新文献

英文 中文
Chattering-Free Finite-Time Stability of a Class of Fractional-Order Nonlinear Systems 一类分数阶非线性系统的无抖振有限时间稳定性
Bin Wang, Y. Chen, Yingshan Yang
This paper studies the chattering-free finite-time control for a class of fractional-order nonlinear systems. First, a class of fractional-order nonlinear systems with external disturbances is presented. Second, a new finite-time terminal sliding mode control method is proposed for the stability control of a class of fractional-order nonlinear systems by combining the finite-time stability theory and sliding mode control scheme. Third, by designing a controller with a differential form and introducing the arc tangent function, the chattering phenomenon is well suppressed. Additionally, a controller is developed to resist external disturbances. Finally, numerical simulations are implemented to demonstrate the feasibility and validity of the proposed method.
研究了一类分数阶非线性系统的无抖振有限时间控制问题。首先,给出了一类具有外部扰动的分数阶非线性系统。其次,将有限时间稳定性理论与滑模控制方案相结合,提出了一类分数阶非线性系统的有限时间末端滑模控制方法。第三,通过设计微分形式的控制器并引入切弧函数,很好地抑制了抖振现象。此外,还设计了一种抗外部干扰的控制器。最后,通过数值仿真验证了该方法的可行性和有效性。
{"title":"Chattering-Free Finite-Time Stability of a Class of Fractional-Order Nonlinear Systems","authors":"Bin Wang, Y. Chen, Yingshan Yang","doi":"10.1115/detc2019-97674","DOIUrl":"https://doi.org/10.1115/detc2019-97674","url":null,"abstract":"\u0000 This paper studies the chattering-free finite-time control for a class of fractional-order nonlinear systems. First, a class of fractional-order nonlinear systems with external disturbances is presented. Second, a new finite-time terminal sliding mode control method is proposed for the stability control of a class of fractional-order nonlinear systems by combining the finite-time stability theory and sliding mode control scheme. Third, by designing a controller with a differential form and introducing the arc tangent function, the chattering phenomenon is well suppressed. Additionally, a controller is developed to resist external disturbances. Finally, numerical simulations are implemented to demonstrate the feasibility and validity of the proposed method.","PeriodicalId":166402,"journal":{"name":"Volume 9: 15th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115167253","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
Tracking Performance Improvement of Repetitive Controller for Nano-Manipulating Systems With Time Delays 时滞纳米操纵系统重复控制器跟踪性能的改进
Pengbo Liu, P. Yan
This paper investigates the robust repetitive controller design with improved tracking performance for nano-manipulating systems with time delay. In order to handle the time delay caused by the analog-to-digital (A/D) conversion of the capacitive sensors with ultra high precision, we modify the conventional repetitive control structure where the design of low pass filter is formulated as an H∞ optimization problem. For the purpose of tracking performance improvement, we further modify the structure of the low pass filter by shaping the sensitivity functions of the closed-loop system. With consideration of the existing of model uncertainties, the design of the modified low pass filter is also formulated as an H∞ optimization of infinite dimensional systems. The effectiveness of the proposed repetitive control architecture is further verified by real time experiments on a piezo driven nano-stage, where significant tracking performance improvements are demonstrated comparing with the traditional repetitive controller.
研究了具有改进跟踪性能的具有鲁棒重复控制器设计的时滞纳米操纵系统。为了解决高精度电容式传感器A/D转换带来的时间延迟问题,对传统的重复控制结构进行了改进,将低通滤波器的设计归结为一个H∞优化问题。为了提高跟踪性能,我们进一步修改了低通滤波器的结构,通过塑造闭环系统的灵敏度函数。考虑到模型不确定性的存在,改进的低通滤波器的设计也被表述为无限维系统的H∞优化。在压电驱动的纳米级上进行的实时实验进一步验证了所提出的重复控制体系结构的有效性,与传统的重复控制器相比,跟踪性能得到了显著改善。
{"title":"Tracking Performance Improvement of Repetitive Controller for Nano-Manipulating Systems With Time Delays","authors":"Pengbo Liu, P. Yan","doi":"10.1115/detc2019-97313","DOIUrl":"https://doi.org/10.1115/detc2019-97313","url":null,"abstract":"\u0000 This paper investigates the robust repetitive controller design with improved tracking performance for nano-manipulating systems with time delay. In order to handle the time delay caused by the analog-to-digital (A/D) conversion of the capacitive sensors with ultra high precision, we modify the conventional repetitive control structure where the design of low pass filter is formulated as an H∞ optimization problem. For the purpose of tracking performance improvement, we further modify the structure of the low pass filter by shaping the sensitivity functions of the closed-loop system. With consideration of the existing of model uncertainties, the design of the modified low pass filter is also formulated as an H∞ optimization of infinite dimensional systems. The effectiveness of the proposed repetitive control architecture is further verified by real time experiments on a piezo driven nano-stage, where significant tracking performance improvements are demonstrated comparing with the traditional repetitive controller.","PeriodicalId":166402,"journal":{"name":"Volume 9: 15th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124201913","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
Formalization of Fractional Flow Component in Higher-Order Logic Theorem Proving 高阶逻辑定理证明中分数流分量的形式化
Chunna Zhao, Murong Jiang, Yaqun Huang
Fractional calculus is a powerful tool for dealing with complex systems, and fractional flow component can effectively reflect the nonlinear gradual change of rheology in vibration state. Besides, higher-order logic theorem proving is a formal method for specification and verification. This paper, accordingly, presents a higher-order logic formalization of fractional flow component based on fractional calculus Caputo definition. The relationship between fractional order differential and integer order differential is verified according to fractional calculus Caputo definition in higher-order logic theorem proving, where fluid mechanics fractional flow component is then formally analyzed.
分数阶微积分是处理复杂系统的有力工具,分数阶流动分量能有效反映振动状态下流变学的非线性渐进变化。此外,高阶逻辑定理证明是一种形式化的说明和验证方法。基于分数阶微积分的Caputo定义,给出了分数阶流分量的高阶逻辑形式化。根据分数阶微积分在高阶逻辑定理证明中的Caputo定义,验证了分数阶微分与整数阶微分的关系,并形式化地分析了流体力学分数阶流分量。
{"title":"Formalization of Fractional Flow Component in Higher-Order Logic Theorem Proving","authors":"Chunna Zhao, Murong Jiang, Yaqun Huang","doi":"10.1115/detc2019-97209","DOIUrl":"https://doi.org/10.1115/detc2019-97209","url":null,"abstract":"\u0000 Fractional calculus is a powerful tool for dealing with complex systems, and fractional flow component can effectively reflect the nonlinear gradual change of rheology in vibration state. Besides, higher-order logic theorem proving is a formal method for specification and verification. This paper, accordingly, presents a higher-order logic formalization of fractional flow component based on fractional calculus Caputo definition. The relationship between fractional order differential and integer order differential is verified according to fractional calculus Caputo definition in higher-order logic theorem proving, where fluid mechanics fractional flow component is then formally analyzed.","PeriodicalId":166402,"journal":{"name":"Volume 9: 15th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications","volume":"88 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116013985","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
Embedded RIOTS: Model Predictive Control Towards Edge 嵌入式暴乱:边缘模型预测控制
J. Viola, Sina Dehghan, Y. Chen
RIOTS is a general purpose optimal problem solver written as a MATLAB toolbox with mixed-language programming (C, Fortran, Matlab, Simulink). This first paper introduces how to make RIOTS run under an embedded platform RP3B (Raspberry Pi 3 B) with Windows 10. We presented the system architecture and a complete demo on running RIOTS as the inner kernel for MPC, using a house made thermal control system based on Peltier modules.
暴乱是一个通用的最优问题解决程序,用MATLAB工具箱编写,使用混合语言编程(C, Fortran, MATLAB, Simulink)。本文首先介绍了如何在Windows 10的嵌入式平台RP3B(树莓派3b)下运行暴乱。我们介绍了系统架构和运行暴乱作为MPC内核的完整演示,使用基于Peltier模块的自制热控制系统。
{"title":"Embedded RIOTS: Model Predictive Control Towards Edge","authors":"J. Viola, Sina Dehghan, Y. Chen","doi":"10.1115/detc2019-97046","DOIUrl":"https://doi.org/10.1115/detc2019-97046","url":null,"abstract":"\u0000 RIOTS is a general purpose optimal problem solver written as a MATLAB toolbox with mixed-language programming (C, Fortran, Matlab, Simulink). This first paper introduces how to make RIOTS run under an embedded platform RP3B (Raspberry Pi 3 B) with Windows 10. We presented the system architecture and a complete demo on running RIOTS as the inner kernel for MPC, using a house made thermal control system based on Peltier modules.","PeriodicalId":166402,"journal":{"name":"Volume 9: 15th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124910891","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
Augmented Microscopy for DNA Damage Quantification: A Machine Learning Tool for Environmental, Medical and Health Sciences 用于DNA损伤定量的增强显微镜:用于环境、医学和健康科学的机器学习工具
Michele Bernardini, Alessandro Ferri, Lucia Migliorelli, S. Moccia, L. Romeo, S. Silvestri, Luca Tiano, A. Mancini
The Comet Assay is a well-known procedure employed to investigate the DNA damage and can be applied to several research areas such as environmental, medical and health sciences. User dependency and computation time effort represent some of the major drawbacks of the Comet Assay. Starting from this motivation, we applied a Machine Learning (ML) tool for discriminating DNA damage using a standard hand-crafted feature set. The experimental results demonstrate how the ML tool is able to objectively replicate human experts scoring (accuracy detection up to 92%) by solving the related binary task (i.e., controls vs damaged comets).
彗星测定法是一种众所周知的用于研究DNA损伤的方法,可应用于环境、医学和健康科学等多个研究领域。用户依赖性和计算时间是Comet Assay的主要缺点。从这个动机出发,我们应用了一个机器学习(ML)工具,使用标准的手工制作的特征集来区分DNA损伤。实验结果表明,机器学习工具能够通过解决相关的二元任务(即对照与受损彗星)客观地复制人类专家的评分(准确率检测高达92%)。
{"title":"Augmented Microscopy for DNA Damage Quantification: A Machine Learning Tool for Environmental, Medical and Health Sciences","authors":"Michele Bernardini, Alessandro Ferri, Lucia Migliorelli, S. Moccia, L. Romeo, S. Silvestri, Luca Tiano, A. Mancini","doi":"10.1115/detc2019-97902","DOIUrl":"https://doi.org/10.1115/detc2019-97902","url":null,"abstract":"\u0000 The Comet Assay is a well-known procedure employed to investigate the DNA damage and can be applied to several research areas such as environmental, medical and health sciences. User dependency and computation time effort represent some of the major drawbacks of the Comet Assay. Starting from this motivation, we applied a Machine Learning (ML) tool for discriminating DNA damage using a standard hand-crafted feature set. The experimental results demonstrate how the ML tool is able to objectively replicate human experts scoring (accuracy detection up to 92%) by solving the related binary task (i.e., controls vs damaged comets).","PeriodicalId":166402,"journal":{"name":"Volume 9: 15th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications","volume":"8 Suppl 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128847195","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
Smart and Autonomous Farm Field Scouting Service Robot As an Edge Device Under $1000: Challenges and Opportunities 智能和自主农场现场侦察服务机器人作为1000美元以下的边缘设备:挑战和机遇
Junwei Tian, Haoyu Niu, Peng Wang, Y. Chen
Smart farming focuses on the application of intelligent and autonomous machines to make agricultural production more effective. The development of Agriculture Unmanned Ground Vehicle (AUGV) makes it possible to utilize smart, small, intelligent robots in agriculture. Even existing AUGVs have been used in many fields, their disadvantages have limited the promotion of current AUGV system. Based on the demands of farmers, a new Low Cost Smart Agriculture Unmanned Ground Vehicle (LCS-AUGV) system is proposed. The challenges and opportunities of LCS-AUGV are discussed, and the frame work of LCS-AUGV is designed. The designed LCS-AUGV includes two subsystems: Unmanned Ground Vehicle System (UGVS) and Remote Control System (RCS), and diagrams of each subsystem are designed and described in detail. The measuring and control system (MCS) of LCS-AUGV is designed, and hierarchical structure is introduced into MCS. The new MCS principle can add or remove super information center easily, thus the high performance and low cost of the system can be taken into account. Based on the proposed MCS, a five-level control strategy is designed. The designed control strategy includes Basic Level Control (BLC), Low Level Control (HLC), Super Level Control (SLC), Agriculture Mission Based Control (AMBC). A LCS-AUGV platform is built at the basis of the designed frame work, and the cost analysis is performed. According to the analysis, the hardware cost can be controlled below $1000, while most super function can be realized. The typical applications also are described. LCS-AUGV provides an ideal platform for most smart farming tasks and is easily to be accepted by farmers. The LCS-AUGV also can be used in high level intelligence agriculture field, and be selected as a new algorithm’s research platform.
智能农业侧重于智能和自主机器的应用,使农业生产更有效。农业无人地面车辆(AUGV)的发展使智能、小型、智能机器人在农业中的应用成为可能。即使现有的AUGV在许多领域得到了应用,但其自身的缺点限制了当前AUGV系统的推广。基于农民的需求,提出了一种新型低成本智能农业无人地面车(LCS-AUGV)系统。讨论了LCS-AUGV面临的挑战和机遇,设计了LCS-AUGV的框架。设计的LCS-AUGV包括两个子系统:无人地面车辆系统(UGVS)和远程控制系统(RCS),并对每个子系统的图进行了详细的设计和描述。设计了LCS-AUGV的测控系统,并在测控系统中引入了分层结构。新的MCS原理可以方便地增加或删除超级信息中心,从而可以兼顾系统的高性能和低成本。在此基础上,设计了五层控制策略。所设计的控制策略包括基本水平控制(BLC)、低水平控制(HLC)、超水平控制(SLC)和基于农业任务的控制(AMBC)。在此基础上搭建了LCS-AUGV平台,并进行了成本分析。根据分析,硬件成本可以控制在1000美元以下,而大多数超级功能都可以实现。并对典型应用进行了描述。LCS-AUGV为大多数智能农业任务提供了一个理想的平台,很容易被农民接受。LCS-AUGV也可以应用于高水平的智能农业领域,并被选为一种新的算法研究平台。
{"title":"Smart and Autonomous Farm Field Scouting Service Robot As an Edge Device Under $1000: Challenges and Opportunities","authors":"Junwei Tian, Haoyu Niu, Peng Wang, Y. Chen","doi":"10.1115/detc2019-98259","DOIUrl":"https://doi.org/10.1115/detc2019-98259","url":null,"abstract":"\u0000 Smart farming focuses on the application of intelligent and autonomous machines to make agricultural production more effective. The development of Agriculture Unmanned Ground Vehicle (AUGV) makes it possible to utilize smart, small, intelligent robots in agriculture. Even existing AUGVs have been used in many fields, their disadvantages have limited the promotion of current AUGV system. Based on the demands of farmers, a new Low Cost Smart Agriculture Unmanned Ground Vehicle (LCS-AUGV) system is proposed. The challenges and opportunities of LCS-AUGV are discussed, and the frame work of LCS-AUGV is designed. The designed LCS-AUGV includes two subsystems: Unmanned Ground Vehicle System (UGVS) and Remote Control System (RCS), and diagrams of each subsystem are designed and described in detail. The measuring and control system (MCS) of LCS-AUGV is designed, and hierarchical structure is introduced into MCS. The new MCS principle can add or remove super information center easily, thus the high performance and low cost of the system can be taken into account. Based on the proposed MCS, a five-level control strategy is designed. The designed control strategy includes Basic Level Control (BLC), Low Level Control (HLC), Super Level Control (SLC), Agriculture Mission Based Control (AMBC). A LCS-AUGV platform is built at the basis of the designed frame work, and the cost analysis is performed. According to the analysis, the hardware cost can be controlled below $1000, while most super function can be realized. The typical applications also are described. LCS-AUGV provides an ideal platform for most smart farming tasks and is easily to be accepted by farmers. The LCS-AUGV also can be used in high level intelligence agriculture field, and be selected as a new algorithm’s research platform.","PeriodicalId":166402,"journal":{"name":"Volume 9: 15th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125459772","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
Actuator Rate Limit Effects on Proportional-Integral Controller for First-Order Plus Time-Delay Systems 一阶加时滞系统比例积分控制器致动器速率极限效应
Zhenlong Wu, Jie Yuan, Donghai Li, Yali Xue, Y. Chen
Actuator rate limit deteriorates control performance with amplitude attenuation and phase delay, and may lead to system instability in process control. In this paper, great challenges for first-order plus time delay (FOPTD) systems are concerned. Based on the preliminary knowledge of the definition of rate limiter, the concept of closed-loop onset frequency with rate limiter and classic proportional-integral (PI) tuning rules, the rate limit effects on PI controller are analyzed by simulations. The results show that the rate limiter has significant influence on the stability regions of PI parameters which can be reduced greatly. Besides, PI tuning rules with the same robustness constraint can be obviously effected where Skogestad internal model (SIMC) tuning rule is more robust to the rate limit variation than that of maximize the integral gain (Åström) and robustness constrained optimization (DRO) tuning rule. These results can offer a guideline to tune PI parameters when actuators have non-ignorable rate limit for industrial applications.
执行器速率限制会使控制性能受到幅度衰减和相位延迟的影响,在过程控制中可能导致系统不稳定。本文讨论了一阶加时滞(FOPTD)系统面临的巨大挑战。在初步了解限速器定义、带限速器的闭环起始频率概念和经典比例积分(PI)整定规则的基础上,通过仿真分析了限速对PI控制器的影响。结果表明,速率限制器对PI参数的稳定区有显著影响,且可以大大减小。此外,具有相同鲁棒性约束的PI整定规则可以得到明显的效果,其中Skogestad内模型(SIMC)整定规则对速率极限变化的鲁棒性优于积分增益最大化(Åström)和鲁棒约束优化(DRO)整定规则。这些结果可以为工业应用中执行器具有不可忽略的速率限制时PI参数的调整提供指导。
{"title":"Actuator Rate Limit Effects on Proportional-Integral Controller for First-Order Plus Time-Delay Systems","authors":"Zhenlong Wu, Jie Yuan, Donghai Li, Yali Xue, Y. Chen","doi":"10.1115/detc2019-97662","DOIUrl":"https://doi.org/10.1115/detc2019-97662","url":null,"abstract":"\u0000 Actuator rate limit deteriorates control performance with amplitude attenuation and phase delay, and may lead to system instability in process control. In this paper, great challenges for first-order plus time delay (FOPTD) systems are concerned. Based on the preliminary knowledge of the definition of rate limiter, the concept of closed-loop onset frequency with rate limiter and classic proportional-integral (PI) tuning rules, the rate limit effects on PI controller are analyzed by simulations. The results show that the rate limiter has significant influence on the stability regions of PI parameters which can be reduced greatly. Besides, PI tuning rules with the same robustness constraint can be obviously effected where Skogestad internal model (SIMC) tuning rule is more robust to the rate limit variation than that of maximize the integral gain (Åström) and robustness constrained optimization (DRO) tuning rule. These results can offer a guideline to tune PI parameters when actuators have non-ignorable rate limit for industrial applications.","PeriodicalId":166402,"journal":{"name":"Volume 9: 15th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131290514","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
MPC-Based Control of Autonomous Vehicles With Localized Path Planning for Obstacle Avoidance Under Uncertainties 不确定条件下基于mpc的自动驾驶车辆局部路径规划控制
Sai Rajeev Devaragudi, Bo Chen
This paper presents a Model Predictive Control (MPC) approach for longitudinal and lateral control of autonomous vehicles with a real-time local path planning algorithm. A heuristic graph search method (A* algorithm) combined with piecewise Bezier curve generation is implemented for obstacle avoidance in autonomous driving applications. Constant time headway control is implemented for a longitudinal motion to track lead vehicles and maintain a constant time gap. MPC is used to control the steering angle and the tractive force of the autonomous vehicle. Furthermore, a new method of developing Advanced Driver Assistance Systems (ADAS) algorithms and vehicle controllers using Model-In-the-Loop (MIL) testing is explored with the use of PreScan®. With PreScan®, various traffic scenarios are modeled and the sensor data are simulated by using physics-based sensor models, which are fed to the controller for data processing and motion planning. Obstacle detection and collision avoidance are demonstrated using the presented MPC controller.
本文提出了一种基于实时局部路径规划算法的自动驾驶汽车纵向和横向控制模型预测控制(MPC)方法。提出了一种结合分段贝塞尔曲线生成的启发式图搜索方法(A*算法),用于自动驾驶中的避障。在纵向运动中实现恒时车头距控制,以跟踪领先车辆并保持恒定的时间间隔。MPC用于控制自动驾驶汽车的转向角和牵引力。此外,使用PreScan®探索了一种使用模型在环(MIL)测试开发高级驾驶辅助系统(ADAS)算法和车辆控制器的新方法。使用PreScan®,可以对各种交通场景进行建模,并通过使用基于物理的传感器模型模拟传感器数据,这些模型被馈送到控制器进行数据处理和运动规划。利用所提出的MPC控制器演示了障碍物检测和碰撞避免。
{"title":"MPC-Based Control of Autonomous Vehicles With Localized Path Planning for Obstacle Avoidance Under Uncertainties","authors":"Sai Rajeev Devaragudi, Bo Chen","doi":"10.1115/detc2019-97712","DOIUrl":"https://doi.org/10.1115/detc2019-97712","url":null,"abstract":"\u0000 This paper presents a Model Predictive Control (MPC) approach for longitudinal and lateral control of autonomous vehicles with a real-time local path planning algorithm. A heuristic graph search method (A* algorithm) combined with piecewise Bezier curve generation is implemented for obstacle avoidance in autonomous driving applications. Constant time headway control is implemented for a longitudinal motion to track lead vehicles and maintain a constant time gap. MPC is used to control the steering angle and the tractive force of the autonomous vehicle. Furthermore, a new method of developing Advanced Driver Assistance Systems (ADAS) algorithms and vehicle controllers using Model-In-the-Loop (MIL) testing is explored with the use of PreScan®. With PreScan®, various traffic scenarios are modeled and the sensor data are simulated by using physics-based sensor models, which are fed to the controller for data processing and motion planning. Obstacle detection and collision avoidance are demonstrated using the presented MPC controller.","PeriodicalId":166402,"journal":{"name":"Volume 9: 15th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133363696","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}
引用次数: 3
Checking Application Level Properties Using Assertion Synthesis 使用断言合成检查应用程序级属性
M. Wenzl, P. Roessler, A. Puhm
This work presents a proof-of-concept of a new approach on automatic generation of digital hardware that is able to check application-level properties of an embedded system such as a faulty system behavior at runtime. The approach makes use of assertion-based verification setups that today are very common in the area of digital hardware design with, however, the sole focus on logic simulation. Thus, a PSL-to-VHDL compiler is introduced that generates VHDL (Very High Speed Integrated Circuit Description Language) code out of PSL (Property Specification Language) assertions which can be further processed by a traditional digital logic synthesis tool. That way, runtime checker units can be automatically generated with little effort because of the already existing assertion-based test benches. Furthermore, a model railway demonstrator is presented herein as an example for a safety-critical application to prove the proposed tool flow on a use case. Implementation results based on that use case are discussed. Finally, the paper concludes with a brief outlook on related future work of the authors.
这项工作提出了一种自动生成数字硬件的新方法的概念验证,该方法能够检查嵌入式系统的应用级属性,例如运行时的故障系统行为。该方法利用了目前在数字硬件设计领域非常常见的基于断言的验证设置,但其唯一的重点是逻辑仿真。为此,介绍了一种PSL- VHDL编译器,该编译器将PSL(属性说明语言)断言生成VHDL (Very High Speed Integrated Circuit Description Language)代码,该代码可由传统的数字逻辑综合工具进一步处理。这样,运行时检查器单元就可以自动生成,因为已经存在基于断言的测试平台。此外,本文还提供了一个铁路模型演示器作为安全关键应用的示例,以在用例上验证所提出的工具流程。讨论了基于该用例的实现结果。最后,对今后的相关工作作了简要展望。
{"title":"Checking Application Level Properties Using Assertion Synthesis","authors":"M. Wenzl, P. Roessler, A. Puhm","doi":"10.1115/detc2019-97950","DOIUrl":"https://doi.org/10.1115/detc2019-97950","url":null,"abstract":"\u0000 This work presents a proof-of-concept of a new approach on automatic generation of digital hardware that is able to check application-level properties of an embedded system such as a faulty system behavior at runtime. The approach makes use of assertion-based verification setups that today are very common in the area of digital hardware design with, however, the sole focus on logic simulation. Thus, a PSL-to-VHDL compiler is introduced that generates VHDL (Very High Speed Integrated Circuit Description Language) code out of PSL (Property Specification Language) assertions which can be further processed by a traditional digital logic synthesis tool. That way, runtime checker units can be automatically generated with little effort because of the already existing assertion-based test benches. Furthermore, a model railway demonstrator is presented herein as an example for a safety-critical application to prove the proposed tool flow on a use case. Implementation results based on that use case are discussed. Finally, the paper concludes with a brief outlook on related future work of the authors.","PeriodicalId":166402,"journal":{"name":"Volume 9: 15th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125795678","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
On-Line Programming of Robot Skills 机器人技能在线编程
T. Heikkilä, Janne Saukkoriipi, Jari M. Ahola, Tuomas Seppälä
Robot skills provide a way to model and reuse sensor and robot technologies in effective ways. Skills can integrate and synchronize robot actions and sensor data in a consistent way and provide a framework for configurable robot systems, enabling quick setups of applications. Skills and skill modeling can be used not only for representing the composition of sensor based robot tasks, but also for programming on-line such tasks. In this paper we will introduce a skill based approach for representing on-line programming of skill based tasks. We will also give a practical example for modelling and implementing on-line programming of a handling skill relying on use of object localization sensors.
机器人技能为有效地建模和重用传感器和机器人技术提供了一种方法。Skills可以以一致的方式集成和同步机器人动作和传感器数据,并为可配置的机器人系统提供框架,从而实现应用程序的快速设置。技能和技能建模不仅可以用于表示基于传感器的机器人任务的组成,还可以用于在线编程这些任务。在本文中,我们将介绍一种基于技能的方法来表示基于技能的任务的在线编程。我们还将给出一个实际的例子,用于建模和实现依赖于使用对象定位传感器的处理技能的在线编程。
{"title":"On-Line Programming of Robot Skills","authors":"T. Heikkilä, Janne Saukkoriipi, Jari M. Ahola, Tuomas Seppälä","doi":"10.1115/detc2019-97958","DOIUrl":"https://doi.org/10.1115/detc2019-97958","url":null,"abstract":"\u0000 Robot skills provide a way to model and reuse sensor and robot technologies in effective ways. Skills can integrate and synchronize robot actions and sensor data in a consistent way and provide a framework for configurable robot systems, enabling quick setups of applications. Skills and skill modeling can be used not only for representing the composition of sensor based robot tasks, but also for programming on-line such tasks. In this paper we will introduce a skill based approach for representing on-line programming of skill based tasks. We will also give a practical example for modelling and implementing on-line programming of a handling skill relying on use of object localization sensors.","PeriodicalId":166402,"journal":{"name":"Volume 9: 15th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122636541","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
期刊
Volume 9: 15th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications
全部 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