发布求助
文献互助 智能选刊 最新文献

2010 IEEE International Conference on Mechatronics and Automation最新文献

筛选
英文 中文
Verifying system behaviors in EAST-ADL2 with the SPIN model checker 使用SPIN模型检查器验证EAST-ADL2中的系统行为
2010 IEEE International Conference on Mechatronics and Automation Pub Date : 2010-10-07 DOI: 10.1109/ICMA.2010.5588261
Lei Feng, Dejiu Chen, H. Lonn, M. Torngren
{"title":"Verifying system behaviors in EAST-ADL2 with the SPIN model checker","authors":"Lei Feng, Dejiu Chen, H. Lonn, M. Torngren","doi":"10.1109/ICMA.2010.5588261","DOIUrl":"https://doi.org/10.1109/ICMA.2010.5588261","url":null,"abstract":"EAST-ADL2 is a domain-specific architecture description language to support the model-based development of automotive embedded systems. It emerged to manage the complexity of software and electronics in advanced automotive applications. The language focuses on the structural definition for functional specifications. Behavior is defined only on the component level, in terms of functional blocks and their triggers and interfaces. The behavioral definition inside each functional block is not prescribed. This paper shows one approach to augment the language with precise syntax and semantics for behavior, and develops a procedure that transforms the composed behavioral model to the SPIN model for logic model checking. The contribution improves the modeling and verification capability of EAST-ADL2.","PeriodicalId":145608,"journal":{"name":"2010 IEEE International Conference on Mechatronics and Automation","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126094645","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}
引用次数: 25
Investigation of directional audio system based on ultrasonic modulation 基于超声调制的定向音频系统研究
2010 IEEE International Conference on Mechatronics and Automation Pub Date : 2010-10-07 DOI: 10.1109/ICMA.2010.5589011
Deke Li, Dagui Huang
{"title":"Investigation of directional audio system based on ultrasonic modulation","authors":"Deke Li, Dagui Huang","doi":"10.1109/ICMA.2010.5589011","DOIUrl":"https://doi.org/10.1109/ICMA.2010.5589011","url":null,"abstract":"In this paper the structure and basic principle of directional audio system and its realization process are analyzed. An audio signal processing module with digital signal processor as its core is designed. According to the theory of nonlinear self-demodulation, three kinds of signal processing methods including DSB, distortion compensation DSB and SSB are introduced. Finally the directivity of ultrasonic transducer array is analyzed and simulated, the result presents that directivity of the sound can be effectively improved by using array technique.","PeriodicalId":145608,"journal":{"name":"2010 IEEE International Conference on Mechatronics and Automation","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126608670","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
Optimisation based control framework for autonomous vehicles: Algorithm and experiment 基于优化的自动驾驶汽车控制框架:算法与实验
2010 IEEE International Conference on Mechatronics and Automation Pub Date : 2010-10-07 DOI: 10.1109/ICMA.2010.5588100
Cunjia Liu, Wen‐Hua Chen, J. Andrews
{"title":"Optimisation based control framework for autonomous vehicles: Algorithm and experiment","authors":"Cunjia Liu, Wen‐Hua Chen, J. Andrews","doi":"10.1109/ICMA.2010.5588100","DOIUrl":"https://doi.org/10.1109/ICMA.2010.5588100","url":null,"abstract":"This paper addresses both path tracking and local trajectory generation for autonomous ground vehicles. An optimisation based two-level control framework is proposed for this task. The high-level control operates in a receding horizon fashion by taking into account real-time sensory information. It generates a feasible trajectory satisfying the nonlinear vehicle model and various constraints, and resolves possible short term conflicts through on-line optimisation. The low-level controller drives the vehicle tracking the local trajectory in the presence of uncertainty and disturbance. It is shown that the time varying controller proposed in this paper guarantees stability under all possible trajectories. The two-level control structure significantly facilitates the real-time implementation of optimisation based control techniques on systems with fast dynamics such as autonomous vehicle systems. The proposed technique is implemented on a small-scale autonomous vehicle in the lab. Both simulation and experimental results demonstrate the efficiency of the proposed technique.","PeriodicalId":145608,"journal":{"name":"2010 IEEE International Conference on Mechatronics and Automation","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114181014","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}
引用次数: 12
Study on mixed robust control for integrated active front steering and direct yaw moment 主动前转向与直接偏航力矩集成的混合鲁棒控制研究
2010 IEEE International Conference on Mechatronics and Automation Pub Date : 2010-10-07 DOI: 10.1109/ICMA.2010.5588784
Aijun Hu, Baozhan Lv
{"title":"Study on mixed robust control for integrated active front steering and direct yaw moment","authors":"Aijun Hu, Baozhan Lv","doi":"10.1109/ICMA.2010.5588784","DOIUrl":"https://doi.org/10.1109/ICMA.2010.5588784","url":null,"abstract":"The vehicle dynamics model and desired target tracking model were established in this paper. In order to improve vehicle handling performance and stability, a H2/H∞ mixed robust controller was designed for integrated active front steering (AFS) and direct yaw moment control (DYC) based on linear inequalities method and was compared with H∞ control. The simulation results show that the vehicle with the designed mixed robust control has better performance than with H∞ control and has robust stability resisting outside noise. The vehicle handling performance and stability with the designed controller was greatly improved.","PeriodicalId":145608,"journal":{"name":"2010 IEEE International Conference on Mechatronics and Automation","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120956086","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
Cross axis effect of AMR sensors and single sensitive-axis compass AMR传感器与单灵敏轴罗经的交叉轴效应
2010 IEEE International Conference on Mechatronics and Automation Pub Date : 2010-10-07 DOI: 10.1109/ICMA.2010.5588994
Xisheng Li, Yanxia Liu, Ruiqing Kang, Zhihua Wang, Xiongying Shu
{"title":"Cross axis effect of AMR sensors and single sensitive-axis compass","authors":"Xisheng Li, Yanxia Liu, Ruiqing Kang, Zhihua Wang, Xiongying Shu","doi":"10.1109/ICMA.2010.5588994","DOIUrl":"https://doi.org/10.1109/ICMA.2010.5588994","url":null,"abstract":"The anisotropic magnetoresistive (AMR) sensors provide an excellent means of measuring both linear and angular position and displacement in the earth's magnetic field. The electrical output of these sensors is proportional to the magnetic field strength along its sensitive axis. When such a sensor is spun around a horizontal plane starting from magnetic north, the output is a cosine function of the heading angle. Generally, a minimum of two sensors that are arranged mutually perpendicular would eliminate the ambiguity in electrical output with respect to heading direction. In this paper, based on cross effect estimation, the insensitive-axis cross-term of sensor A in HMC1002 is measured and a low power compass is designed. The results of experiment show that the accuracy of proposed compass is about 2° in horizontal position. The current consumption of proposed single sensitive-axis compass is about 20 mA, which is about 30% lower than that of formerly designed two sensitive-axis compass. It can be seen that proposed single sensitive-axis compass is effective.","PeriodicalId":145608,"journal":{"name":"2010 IEEE International Conference on Mechatronics and Automation","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121004911","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
Study on the technology of 3D cutter radius compensation based on direction vector 基于方向矢量的三维刀具半径补偿技术研究
2010 IEEE International Conference on Mechatronics and Automation Pub Date : 2010-10-07 DOI: 10.1109/ICMA.2010.5588398
Aifen Xu, T. Wang
{"title":"Study on the technology of 3D cutter radius compensation based on direction vector","authors":"Aifen Xu, T. Wang","doi":"10.1109/ICMA.2010.5588398","DOIUrl":"https://doi.org/10.1109/ICMA.2010.5588398","url":null,"abstract":"Cutter radius compensation is the key technology in CNC system and is the data sources and basis of contour interpolation. It is the necessary premise to guarantee the part contour according to programming track and cutter radius to plan the tool center path, especially the coordinates of the joint points. The concept of orientation vector is introduced and a technology of 3D cutter radius compensation based on vector method is put forward. The theory and method of cutter radius compensation in coordinates linear processing is studied deeply. The corresponding algorithm of tool center path for programming contour is established according to the relation between the geometric elements. Simulation results proved that the algorithm is accurate and feasible.","PeriodicalId":145608,"journal":{"name":"2010 IEEE International Conference on Mechatronics and Automation","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121009759","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
Research on D robust control of a class of uncertain sampled-data system 一类不确定采样数据系统的D鲁棒控制研究
2010 IEEE International Conference on Mechatronics and Automation Pub Date : 2010-10-07 DOI: 10.1109/ICMA.2010.5588821
Junfeng Wu, P. Shi, Nan Li
{"title":"Research on D robust control of a class of uncertain sampled-data system","authors":"Junfeng Wu, P. Shi, Nan Li","doi":"10.1109/ICMA.2010.5588821","DOIUrl":"https://doi.org/10.1109/ICMA.2010.5588821","url":null,"abstract":"For a class of linear sampled-data systems with norm-bounded uncertainty, sufficient conditions for the existence of state feedback control laws with the closed-loop poles in a pre-specified disk and optimizational robust H∞ performance are derived in terms of linear matrix inequalities (LMIs). The problem of designing the controllers with smaller gain parameters is formulated as a convex problem with LMI constrains, which can be solved by the existing LMI software, Then a class of proportional integral state observers with stronger anti-disturbance is proposed when some states of the system are difficult to be observed, An example shows that the proposed methods ensure less change of dynamic and stable steady performance with the disturbance.","PeriodicalId":145608,"journal":{"name":"2010 IEEE International Conference on Mechatronics and Automation","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121372412","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
Liveness-enforcing supervisor for LS3PR with uncontrollable and unobservable transitions 具有不可控和不可观察转换的LS3PR的动态执行主管
2010 IEEE International Conference on Mechatronics and Automation Pub Date : 2010-10-07 DOI: 10.1109/ICMA.2010.5589764
Meng Qin, Zhiwu Li
{"title":"Liveness-enforcing supervisor for LS3PR with uncontrollable and unobservable transitions","authors":"Meng Qin, Zhiwu Li","doi":"10.1109/ICMA.2010.5589764","DOIUrl":"https://doi.org/10.1109/ICMA.2010.5589764","url":null,"abstract":"This paper focuses on a subclass of Petri nets that appears in the modeling of a wide set of flexible manufacturing systems (FMS). A deadlock prevention policy is developed to design a liveness-enforcing supervisor for this kind of Petri nets with uncontrollable and unobservable transitions. Some special transitions are defined such that liveness-enforcing constraints are enforced directly through these transitions. The existence of a monitor that enforcing a constraint is also discussed. A sufficient condition and a necessary condition are proposed for uncontrollable transitions and unobservable transitions, respectively.","PeriodicalId":145608,"journal":{"name":"2010 IEEE International Conference on Mechatronics and Automation","volume":"381 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122925895","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
Iterative learning control for biped walking 双足步行的迭代学习控制
2010 IEEE International Conference on Mechatronics and Automation Pub Date : 2010-10-07 DOI: 10.1109/ICMA.2010.5589075
Qizhi Zhang, Chew Chee-Meng, Yali Zhou, Q. Zhao, Pei Li
{"title":"Iterative learning control for biped walking","authors":"Qizhi Zhang, Chew Chee-Meng, Yali Zhou, Q. Zhao, Pei Li","doi":"10.1109/ICMA.2010.5589075","DOIUrl":"https://doi.org/10.1109/ICMA.2010.5589075","url":null,"abstract":"In this paper, an iterative learning control (ILC) approach is proposed for biped walking control. The biped robot is powered by applying an impulsive push along the stance leg just before the heel strikes. The ILC law is designed based on Poincaré map, and applied to learn the desired impulsive push at every step in the presence of system uncertainties. The convergence of the proposed ILC approach for biped walking control is proofed, and the simulation results show that the proposed ILC approach for biped walking control can track the desired step length effectively, even if the mass of foot can not be ignored compared to that of pelvis.","PeriodicalId":145608,"journal":{"name":"2010 IEEE International Conference on Mechatronics and Automation","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131406171","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
Nonlinear oscillation characteristics of MEMS resonator MEMS谐振器的非线性振荡特性
2010 IEEE International Conference on Mechatronics and Automation Pub Date : 2010-10-07 DOI: 10.1109/ICMA.2010.5589936
Qin Shin, A. Qiu, Yan Su, Ran Shi
{"title":"Nonlinear oscillation characteristics of MEMS resonator","authors":"Qin Shin, A. Qiu, Yan Su, Ran Shi","doi":"10.1109/ICMA.2010.5589936","DOIUrl":"https://doi.org/10.1109/ICMA.2010.5589936","url":null,"abstract":"The study of nonlinear oscillation characteristics of MEMS resonator is important, which affects the performance of resonator and other MEMS devices. The MEMS resonator studied in this paper is electrostatic MEMS resonator which composed of DETF and combs. The linear spring constant and nonlinear spring constant of DETF are derived with energy method, and the nonlinear dynamics model is established including nonlinear electrostatic force, damping and nonlinear spring constant. The perturbation analysis and multi-scale method are adapted to analyze the nonlinear model, and the relationship between frequency and oscillation amplitude is established. The numerical simulation results indicate that the width of DETF and damping ratio are increased that can decrease the nonlinearity. At last, the MEMS resonator fabricated with SOG process are tested with method of electrostatic driven and electrostatic detection. The experiment results verify the numerical simulation results.","PeriodicalId":145608,"journal":{"name":"2010 IEEE International Conference on Mechatronics and Automation","volume":"89 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133565490","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
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信