首页 > 最新文献

2007 IEEE International Conference on Vehicular Electronics and Safety最新文献

英文 中文
A vehicle surveillance system for face detection 用于人脸检测的车辆监视系统
Pub Date : 2007-12-01 DOI: 10.1109/ICVES.2007.4456403
Zhichao Ji, Huabiao Qin
Face detection is the process of locating the position where faces are present in an image. Not all proposed face detection methods are suitable for direct hardware implementation. This paper proposes an improved skin-color based face detect method and outlines its transition from a software to hardware-based implementation. The hardware implementation of the face detect algorithm is examined by the FPGA (ALTERA CYCLONE EP1C6, field programmable gate arrays). Results show that it is robust to challenges of cluttered backgrounds, partial occlusion and varying illuminations. Its high detection and tracking performance makes it quite suitable for real-time applications, especially for power-limited devices, such as video surveillance systems for automated security, environment, transportation and health-care monitoring applications.
人脸检测是定位图像中出现人脸的位置的过程。并非所有提出的人脸检测方法都适合直接的硬件实现。本文提出了一种改进的基于肤色的人脸检测方法,并概述了其从软件到硬件实现的转变。通过FPGA (ALTERA CYCLONE EP1C6,现场可编程门阵列)测试了人脸检测算法的硬件实现。结果表明,该算法对背景杂乱、局部遮挡和光照变化具有较强的鲁棒性。其高检测和跟踪性能使其非常适合实时应用,特别是功率有限的设备,例如用于自动化安全,环境,交通和医疗保健监控应用的视频监控系统。
{"title":"A vehicle surveillance system for face detection","authors":"Zhichao Ji, Huabiao Qin","doi":"10.1109/ICVES.2007.4456403","DOIUrl":"https://doi.org/10.1109/ICVES.2007.4456403","url":null,"abstract":"Face detection is the process of locating the position where faces are present in an image. Not all proposed face detection methods are suitable for direct hardware implementation. This paper proposes an improved skin-color based face detect method and outlines its transition from a software to hardware-based implementation. The hardware implementation of the face detect algorithm is examined by the FPGA (ALTERA CYCLONE EP1C6, field programmable gate arrays). Results show that it is robust to challenges of cluttered backgrounds, partial occlusion and varying illuminations. Its high detection and tracking performance makes it quite suitable for real-time applications, especially for power-limited devices, such as video surveillance systems for automated security, environment, transportation and health-care monitoring applications.","PeriodicalId":202772,"journal":{"name":"2007 IEEE International Conference on Vehicular Electronics and Safety","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130769427","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
A method for agricultural machine guidance on row crops based on the vanishing point 基于消失点的行作物农机制导方法
Pub Date : 2007-12-01 DOI: 10.1109/ICVES.2007.4456365
L. de Oliveira Neris, V.O. Roda, O. Trindade
Automatic guidance systems have became important in agriculture to reduce the operator's work and fatigue, resulting in higher efficiency and safety in field operations. Most crops are cultivated in rows, hence enabling the development of a row-recognition system to accurately follow a row of plants without overrunning the crop. This paper presents a novel approach for extracting agricultural machine position from field images based on the look-ahead method and vanishing points. The proposed method facilitates the development of the guidance controller, simplifying the tuning and increasing the guidance system response and stability. The goal was to develop a quick position extraction method, based on the fact that by decreasing the image processing time increases the position data rate, providing fast response feedback control. Results demonstrated that the use of look- ahead method and vanishing point simplifies the guidance controller development and satisfactorily works with shadows, gaps, weeds and different light conditions.
自动导向系统在农业中变得非常重要,它可以减少操作人员的工作量和疲劳,从而提高田间作业的效率和安全性。大多数作物都是成行种植的,因此可以开发行识别系统,准确地跟踪一排植物,而不会超过作物。提出了一种基于前视法和消失点的农业机械位置提取方法。该方法有利于制导控制器的开发,简化了整定过程,提高了制导系统的响应性和稳定性。目标是开发一种快速的位置提取方法,基于这样一个事实,即通过减少图像处理时间增加位置数据率,提供快速响应反馈控制。结果表明,使用前瞻法和消失点法简化了制导控制器的开发,并能很好地处理阴影、间隙、杂草和不同光照条件。
{"title":"A method for agricultural machine guidance on row crops based on the vanishing point","authors":"L. de Oliveira Neris, V.O. Roda, O. Trindade","doi":"10.1109/ICVES.2007.4456365","DOIUrl":"https://doi.org/10.1109/ICVES.2007.4456365","url":null,"abstract":"Automatic guidance systems have became important in agriculture to reduce the operator's work and fatigue, resulting in higher efficiency and safety in field operations. Most crops are cultivated in rows, hence enabling the development of a row-recognition system to accurately follow a row of plants without overrunning the crop. This paper presents a novel approach for extracting agricultural machine position from field images based on the look-ahead method and vanishing points. The proposed method facilitates the development of the guidance controller, simplifying the tuning and increasing the guidance system response and stability. The goal was to develop a quick position extraction method, based on the fact that by decreasing the image processing time increases the position data rate, providing fast response feedback control. Results demonstrated that the use of look- ahead method and vanishing point simplifies the guidance controller development and satisfactorily works with shadows, gaps, weeds and different light conditions.","PeriodicalId":202772,"journal":{"name":"2007 IEEE International Conference on Vehicular Electronics and Safety","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123177986","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
A novel brake control strategy for electric vehicles based on slip trial method 基于滑移试验法的电动汽车制动控制策略
Pub Date : 2007-12-01 DOI: 10.1109/ICVES.2007.4456364
Zhou Lei, Luo Yugong, Yang Diange, L. Keqiang, Lian Xiaomin
Regenerative braking plays an important role in improving the efficiency of electric vehicles. But excessive regenerative torque may affect the anti-lock brake control. The paper presents a novel brake control strategy for electric vehicles which integrates the regenerative brake control and anti-lock brake control. The strategy is designed based on a novel idea called "slip trial method", where the regenerative brake torque and the friction brake torque are coordinated according to the slip of driving wheels. The strategy depends on neither road condition identification nor longitudinal braking force estimation. Simulation studies show that the strategy can obtain almost the optimal regenerative brake efficiency, and the tire slips are regulated in the stable region.
再生制动对于提高电动汽车的效率有着重要的作用。但过大的再生扭矩可能会影响防抱死制动控制。提出了一种将再生制动控制与防抱死制动控制相结合的新型电动汽车制动控制策略。该策略基于一种新颖的“滑移试验法”思想,根据驱动轮的滑移协调再生制动力矩和摩擦制动力矩。该策略既不依赖于路况识别,也不依赖于纵向制动力估计。仿真研究表明,该策略几乎可以获得最优的再生制动效率,并且轮胎滑移被控制在稳定区域内。
{"title":"A novel brake control strategy for electric vehicles based on slip trial method","authors":"Zhou Lei, Luo Yugong, Yang Diange, L. Keqiang, Lian Xiaomin","doi":"10.1109/ICVES.2007.4456364","DOIUrl":"https://doi.org/10.1109/ICVES.2007.4456364","url":null,"abstract":"Regenerative braking plays an important role in improving the efficiency of electric vehicles. But excessive regenerative torque may affect the anti-lock brake control. The paper presents a novel brake control strategy for electric vehicles which integrates the regenerative brake control and anti-lock brake control. The strategy is designed based on a novel idea called \"slip trial method\", where the regenerative brake torque and the friction brake torque are coordinated according to the slip of driving wheels. The strategy depends on neither road condition identification nor longitudinal braking force estimation. Simulation studies show that the strategy can obtain almost the optimal regenerative brake efficiency, and the tire slips are regulated in the stable region.","PeriodicalId":202772,"journal":{"name":"2007 IEEE International Conference on Vehicular Electronics and Safety","volume":"2006 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120920285","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 17
Location estimation in ZigBee Network based on fingerprinting 基于指纹识别的ZigBee网络位置估计
Pub Date : 2007-12-01 DOI: 10.1109/ICVES.2007.4456358
Qingming Yao, Fei-Yue Wang, Hui Gao, Kunfeng Wang, Hongxia Zhao
Location-aware computing becomes an exciting research as recent advancements in RF circuits and wireless communication stacks. In this paper, we present a fingerprinting based location estimation technology in ZigBee network. The system uses the signal strength from several base stations rather than time or angle for determining the location of mobile station. Instead of modeling the complex attenuation of signal strength, the system models the probabilistic distribution in different geographical areas which we called fingerprinting. It combines the measured data and fingerprinting to determine the mobile station's location. The experiment results demonstrate the validity of location estimation in ZigBee network based on fingerprinting.
随着射频电路和无线通信栈的发展,位置感知计算成为一项令人兴奋的研究。本文提出了一种基于指纹的ZigBee网络位置估计技术。该系统利用多个基站的信号强度而不是时间或角度来确定移动台的位置。该系统不是模拟信号强度的复杂衰减,而是模拟不同地理区域的概率分布,我们称之为指纹。它结合测量数据和指纹来确定移动基站的位置。实验结果验证了基于指纹识别的ZigBee网络位置估计方法的有效性。
{"title":"Location estimation in ZigBee Network based on fingerprinting","authors":"Qingming Yao, Fei-Yue Wang, Hui Gao, Kunfeng Wang, Hongxia Zhao","doi":"10.1109/ICVES.2007.4456358","DOIUrl":"https://doi.org/10.1109/ICVES.2007.4456358","url":null,"abstract":"Location-aware computing becomes an exciting research as recent advancements in RF circuits and wireless communication stacks. In this paper, we present a fingerprinting based location estimation technology in ZigBee network. The system uses the signal strength from several base stations rather than time or angle for determining the location of mobile station. Instead of modeling the complex attenuation of signal strength, the system models the probabilistic distribution in different geographical areas which we called fingerprinting. It combines the measured data and fingerprinting to determine the mobile station's location. The experiment results demonstrate the validity of location estimation in ZigBee network based on fingerprinting.","PeriodicalId":202772,"journal":{"name":"2007 IEEE International Conference on Vehicular Electronics and Safety","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129099543","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}
引用次数: 34
Precise eye location in driver fatigue state surveillance system 驾驶员疲劳状态监测系统的精确眼位定位
Pub Date : 2007-12-01 DOI: 10.1109/ICVES.2007.4456401
Huabiao Qin, Yongpin Gao, Honglin Gan
Whether a driver is fatigued or not can be reflected by his eyes during the course of driving, so it is practical to use the information about the driver's eyes to monitor his fatigue state. Among these, eye location is the key problem. Based on the existing eye location algorithms, specifically for the driver fatigue state surveillance system, this paper presents a method based on facial features. The experiment results show that this method is robust and real-time, it's adaptive to human face in different conditions such as different backgrounds, different light conditions, different size and rotating angles, open and close eyes, with glasses on or not.
驾驶员在驾驶过程中是否疲劳可以通过眼睛来反映,因此利用驾驶员眼睛的信息来监测驾驶员的疲劳状态是切实可行的。其中,眼睛定位是关键问题。在现有人眼定位算法的基础上,针对驾驶员疲劳状态监测系统,提出了一种基于人脸特征的人眼定位方法。实验结果表明,该方法具有鲁棒性和实时性,能够适应不同背景、不同光照条件、不同尺寸和旋转角度、睁眼和闭眼、戴眼镜和不戴眼镜等不同条件下的人脸。
{"title":"Precise eye location in driver fatigue state surveillance system","authors":"Huabiao Qin, Yongpin Gao, Honglin Gan","doi":"10.1109/ICVES.2007.4456401","DOIUrl":"https://doi.org/10.1109/ICVES.2007.4456401","url":null,"abstract":"Whether a driver is fatigued or not can be reflected by his eyes during the course of driving, so it is practical to use the information about the driver's eyes to monitor his fatigue state. Among these, eye location is the key problem. Based on the existing eye location algorithms, specifically for the driver fatigue state surveillance system, this paper presents a method based on facial features. The experiment results show that this method is robust and real-time, it's adaptive to human face in different conditions such as different backgrounds, different light conditions, different size and rotating angles, open and close eyes, with glasses on or not.","PeriodicalId":202772,"journal":{"name":"2007 IEEE International Conference on Vehicular Electronics and Safety","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115710153","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
An algorithm based on SVM ensembles for motorcycle recognition 基于SVM集合的摩托车识别算法
Pub Date : 2007-12-01 DOI: 10.1109/ICVES.2007.4456371
Xuezhi Wen, Huai Yuan, Chunyan Song, Wei Liu, Hong Zhao
A motorcycle detection algorithm is proposed to solve imbalanced datasets in motorcycle recognition based on SVM ensembles. Moreover, an improved Wavelet feature algorithm is also presented. Experimental results show that the presented method has high precision and recall. Furthermore, the system performance can also be improved by increasing learning.
针对摩托车识别中的不平衡数据集问题,提出了一种基于支持向量机集合的摩托车检测算法。此外,还提出了一种改进的小波特征算法。实验结果表明,该方法具有较高的查全率和查准率。此外,还可以通过增加学习来提高系统的性能。
{"title":"An algorithm based on SVM ensembles for motorcycle recognition","authors":"Xuezhi Wen, Huai Yuan, Chunyan Song, Wei Liu, Hong Zhao","doi":"10.1109/ICVES.2007.4456371","DOIUrl":"https://doi.org/10.1109/ICVES.2007.4456371","url":null,"abstract":"A motorcycle detection algorithm is proposed to solve imbalanced datasets in motorcycle recognition based on SVM ensembles. Moreover, an improved Wavelet feature algorithm is also presented. Experimental results show that the presented method has high precision and recall. Furthermore, the system performance can also be improved by increasing learning.","PeriodicalId":202772,"journal":{"name":"2007 IEEE International Conference on Vehicular Electronics and Safety","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117166000","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}
引用次数: 15
Vision-based real-time pedestrian detection for autonomous vehicle 基于视觉的自动驾驶车辆实时行人检测
Pub Date : 2007-12-01 DOI: 10.1109/ICVES.2007.4456404
Liu Xin, Dai Bin, He Hangen
TMs paper presents a real-time single-frame pedestrian detection approach. Combining efficient interesting regions selection and proper SVM classifier, the method is applicable to the autonomous vehicles running on urban roads. Experiment results with test dataset extracted from real driving on urban roads are presented to illustrate the performance of this approach.
本文提出了一种实时的单帧行人检测方法。该方法结合高效的兴趣区域选择和合适的SVM分类器,适用于在城市道路上运行的自动驾驶车辆。用城市道路上真实驾驶的测试数据集进行了实验,验证了该方法的有效性。
{"title":"Vision-based real-time pedestrian detection for autonomous vehicle","authors":"Liu Xin, Dai Bin, He Hangen","doi":"10.1109/ICVES.2007.4456404","DOIUrl":"https://doi.org/10.1109/ICVES.2007.4456404","url":null,"abstract":"TMs paper presents a real-time single-frame pedestrian detection approach. Combining efficient interesting regions selection and proper SVM classifier, the method is applicable to the autonomous vehicles running on urban roads. Experiment results with test dataset extracted from real driving on urban roads are presented to illustrate the performance of this approach.","PeriodicalId":202772,"journal":{"name":"2007 IEEE International Conference on Vehicular Electronics and Safety","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123469505","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
A monocular-vision rear vehicle detection algorithm 一种单目视觉后车检测算法
Pub Date : 2007-12-01 DOI: 10.1109/ICVES.2007.4456372
Wei Liu, Chunyan Song, Xuezhi Wen, Huai Yuan, Hong Zhao
A monocular vision based detection algorithm is presented to detect rear vehicles. Our detection algorithm consist of two main steps: knowledge based hypothesis generation and appearance based hypothesis verification. In the hypothesis generation step, a shadow extraction method is proposed based on contrast sensitivity to extract regions of interest (ROI), it can effectively solve the problems caused by casting shadow and illuminations. In the hypothesis verification step, one improved wavelet feature extraction approach based on HSV space was proposed. Moreover, in order to satisfy different application requirements, a new method based on probability density function is proposed to decide the decision boundary for Support Vector Machine. The algorithm was tested under various traffic scenes at different daytime, the result illustrated good performance.
提出了一种基于单目视觉的后方车辆检测算法。我们的检测算法包括两个主要步骤:基于知识的假设生成和基于外观的假设验证。在假设生成步骤中,提出了一种基于对比敏感度提取感兴趣区域(ROI)的阴影提取方法,可以有效地解决投影和光照带来的问题。在假设验证步骤中,提出了一种基于HSV空间的改进小波特征提取方法。此外,为了满足不同的应用需求,提出了一种基于概率密度函数的支持向量机决策边界确定方法。在不同白天的交通场景下对该算法进行了测试,结果表明该算法具有良好的性能。
{"title":"A monocular-vision rear vehicle detection algorithm","authors":"Wei Liu, Chunyan Song, Xuezhi Wen, Huai Yuan, Hong Zhao","doi":"10.1109/ICVES.2007.4456372","DOIUrl":"https://doi.org/10.1109/ICVES.2007.4456372","url":null,"abstract":"A monocular vision based detection algorithm is presented to detect rear vehicles. Our detection algorithm consist of two main steps: knowledge based hypothesis generation and appearance based hypothesis verification. In the hypothesis generation step, a shadow extraction method is proposed based on contrast sensitivity to extract regions of interest (ROI), it can effectively solve the problems caused by casting shadow and illuminations. In the hypothesis verification step, one improved wavelet feature extraction approach based on HSV space was proposed. Moreover, in order to satisfy different application requirements, a new method based on probability density function is proposed to decide the decision boundary for Support Vector Machine. The algorithm was tested under various traffic scenes at different daytime, the result illustrated good performance.","PeriodicalId":202772,"journal":{"name":"2007 IEEE International Conference on Vehicular Electronics and Safety","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128258345","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
Slip ratio control of independent AWD EV based on fuzzy DSMC 基于模糊DSMC的独立AWD电动汽车滑差比控制
Pub Date : 2007-12-01 DOI: 10.1109/ICVES.2007.4456400
Guangcai, Yugong, Ke-qiang, Xiaomin, Zou, Luo, Li, Lian
A slip ratio control method using fuzzy dynamical sliding mode strategy (fuzzy DSMC) is proposed to reduce the slip ratio oscillations in the independent AWD EV traction control. The slip ratios are also accurately estimated in a new way to support this control process. Firstly in this control method, the fuzzy logic method is applied respectively to regulate the switching surface and the reaching law of DSMC with the estimated slip ratios, which are used to weaken the chattering and improve the convergence rate to some extent Furthermore the control structure of DSMC is designed to obtain the smooth torque outputs from all independent traction motors, which are implemented in the anti-skid control for EV in the end. The simulation experiments show that the method can greatly avoid the drawback of control chattering occurred in the classical sliding mode control. Moreover, the robustness of systems for parameter uncertainties is also guaranteed in simulation validation.
提出了一种基于模糊动态滑模策略(fuzzy DSMC)的滑偏率控制方法,以减小独立AWD电动汽车牵引力控制中的滑偏率振荡。以一种新的方法准确地估计了滑移比,以支持这一控制过程。该控制方法首先利用模糊逻辑方法分别对估计滑移率的切换面和DSMC的到达规律进行调节,从而在一定程度上减弱抖振,提高收敛速度,并设计DSMC的控制结构以获得各独立牵引电机的平稳转矩输出,最终实现电动汽车的防滑控制。仿真实验表明,该方法能较好地避免传统滑模控制中存在的控制抖振问题。此外,在仿真验证中也保证了系统对参数不确定性的鲁棒性。
{"title":"Slip ratio control of independent AWD EV based on fuzzy DSMC","authors":"Guangcai, Yugong, Ke-qiang, Xiaomin, Zou, Luo, Li, Lian","doi":"10.1109/ICVES.2007.4456400","DOIUrl":"https://doi.org/10.1109/ICVES.2007.4456400","url":null,"abstract":"A slip ratio control method using fuzzy dynamical sliding mode strategy (fuzzy DSMC) is proposed to reduce the slip ratio oscillations in the independent AWD EV traction control. The slip ratios are also accurately estimated in a new way to support this control process. Firstly in this control method, the fuzzy logic method is applied respectively to regulate the switching surface and the reaching law of DSMC with the estimated slip ratios, which are used to weaken the chattering and improve the convergence rate to some extent Furthermore the control structure of DSMC is designed to obtain the smooth torque outputs from all independent traction motors, which are implemented in the anti-skid control for EV in the end. The simulation experiments show that the method can greatly avoid the drawback of control chattering occurred in the classical sliding mode control. Moreover, the robustness of systems for parameter uncertainties is also guaranteed in simulation validation.","PeriodicalId":202772,"journal":{"name":"2007 IEEE International Conference on Vehicular Electronics and Safety","volume":"412 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134288697","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}
引用次数: 9
Formal modeling and verification of real-time concurrent systems 实时并发系统的形式化建模与验证
Pub Date : 2007-12-01 DOI: 10.1109/ICVES.2007.4456386
Fei Yan, T. Tang
The safety of control systems are becoming increasingly important as computers pervade them on which human life depends. In rail transportation fields, this has become more complex and the methods to ensure the correctness of train control system have been slow in development. The failure to meet time deadline can have serious or even fatal consequences. This paper presents a new method for performing this verification task. In the proposed method the real-time system is modeled by Timed Automata Network (TAN) and verified by model checking which explores the state space to determine whether the system satisfies a given specification. The case study of ATP (Automatic Train Protection) shows how the method can assist in designing more efficient and reliable real-time systems. Firstly, the state transitions and multi-tasks ATP onboard model will be modeled with Timed Automata Network (TAN) model, and then the time sequences of each task are expressed in UML Sequence Diagrams. Finally, the timing characteristics will be verified to meet the requirement by SMV model checker. A major conclusion of the survey is that formal methods, while still immature in some respects, can be used successfully to model and verify real-time concurrent systems.
随着人类生活所依赖的计算机的普及,控制系统的安全性变得越来越重要。在轨道交通领域,这种情况变得更加复杂,而确保列控系统正确性的方法发展缓慢。未能按时完成任务可能会产生严重甚至致命的后果。本文提出了一种执行此验证任务的新方法。该方法采用时间自动机网络(time Automata Network, TAN)对实时系统进行建模,并通过模型检查来验证系统是否满足给定规范。以ATP(列车自动保护)为例,说明了该方法如何帮助设计更有效、更可靠的实时系统。首先用时间自动机网络(time Automata Network, TAN)模型对状态转换和多任务机载ATP模型进行建模,然后用UML序列图表示各任务的时间序列。最后,通过SMV模型校验器验证其时序特性是否满足要求。调查的一个主要结论是,形式化方法虽然在某些方面还不成熟,但可以成功地用于建模和验证实时并发系统。
{"title":"Formal modeling and verification of real-time concurrent systems","authors":"Fei Yan, T. Tang","doi":"10.1109/ICVES.2007.4456386","DOIUrl":"https://doi.org/10.1109/ICVES.2007.4456386","url":null,"abstract":"The safety of control systems are becoming increasingly important as computers pervade them on which human life depends. In rail transportation fields, this has become more complex and the methods to ensure the correctness of train control system have been slow in development. The failure to meet time deadline can have serious or even fatal consequences. This paper presents a new method for performing this verification task. In the proposed method the real-time system is modeled by Timed Automata Network (TAN) and verified by model checking which explores the state space to determine whether the system satisfies a given specification. The case study of ATP (Automatic Train Protection) shows how the method can assist in designing more efficient and reliable real-time systems. Firstly, the state transitions and multi-tasks ATP onboard model will be modeled with Timed Automata Network (TAN) model, and then the time sequences of each task are expressed in UML Sequence Diagrams. Finally, the timing characteristics will be verified to meet the requirement by SMV model checker. A major conclusion of the survey is that formal methods, while still immature in some respects, can be used successfully to model and verify real-time concurrent systems.","PeriodicalId":202772,"journal":{"name":"2007 IEEE International Conference on Vehicular Electronics and Safety","volume":"364 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124576502","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
期刊
2007 IEEE International Conference on Vehicular Electronics and Safety
全部 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