2011 IEEE International Conference on Automation Science and Engineering最新文献

Continuous flow systems and control methodology using Hybrid Petri nets 使用混合Petri网的连续流系统和控制方法

2011 IEEE International Conference on Automation Science and Engineering Pub Date : 2011-10-13 DOI: 10.1109/CASE.2011.6042430

Latéfa Ghomri, H. Alla

{"title":"Continuous flow systems and control methodology using Hybrid Petri nets","authors":"Latéfa Ghomri, H. Alla","doi":"10.1109/CASE.2011.6042430","DOIUrl":"https://doi.org/10.1109/CASE.2011.6042430","url":null,"abstract":"In this paper, we consider the control synthesis of a particular class of systems called continuous flow systems, such as transport systems, manufacturing systems, communication systems, biological systems… etc. These systems are positive systems where continuous and discrete event dynamics interact. They are then considered as hybrid systems. Numerous tools and techniques exist in the literature for modeling and analyzing such systems. As positiveness is a hard constraint, an appropriate tool integrating naturally this constraint is strongly needed. Hybrid Petri Nets (HPNs) are an elegant modeling tool of positive systems, while Hybrid Automata (HA) are a powerful tool giving formally the reachable dynamic space. Combining these two tools aim to a sound approach for control synthesis of continuous flow systems. We start by considering the process to control and compute its behavior, or its reachable state space using specialized software like PHAVer. Algebraic inequalities define this reachable state space. The constrained behavior is obtained by restricting this state space into a smaller desired space. This reduction is expressed in term of linear constraints only over the continuous variables; while the control is given by the discrete transitions (occurrence dates of controllable events). The control synthesis methodology is based on the control of a hybrid system modeled by a D-elementary HPN. The control consists in modifying the guard of the controllable transitions so that the reachable controlled state space is maximally permissive.","PeriodicalId":236208,"journal":{"name":"2011 IEEE International Conference on Automation Science and Engineering","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123542996","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 10

Self-organizing warehouse management based on communicating distributed memory tags 基于通信分布式内存标签的自组织仓库管理

2011 IEEE International Conference on Automation Science and Engineering Pub Date : 2011-10-13 DOI: 10.1109/CASE.2011.6042467

F. Hackbarth

引用次数: 1

An embedded robotic wheelchair control architecture with reactive navigations 具有响应式导航的嵌入式机器人轮椅控制体系结构

2011 IEEE International Conference on Automation Science and Engineering Pub Date : 2011-10-13 DOI: 10.1109/CASE.2011.6042445

C. Kuo, Y. Syu, T. Tsai, Ting-Shuo Chen

{"title":"An embedded robotic wheelchair control architecture with reactive navigations","authors":"C. Kuo, Y. Syu, T. Tsai, Ting-Shuo Chen","doi":"10.1109/CASE.2011.6042445","DOIUrl":"https://doi.org/10.1109/CASE.2011.6042445","url":null,"abstract":"In this paper, we propose a robotic wheelchair control architecture for reactive navigations to improve safety. The proposed solution is developed based on the XScale embedded platform and real-time embedded Linux. A touch panel is used to display useful information for users. In addition, reactive navigation techniques of mobile robots are developed by combining the obstacle detection sensor information to perform collision free navigations where the obstacle detection sensor uses a laser range finder and the reactive navigation uses the artificial field potential (APF) approach. The collections of obstacle information and realizations of APF navigations are implemented as device drivers in the kernel space to improve real time performance, as well as to reduce the computational loads of graphical user interface (GUI) in the user space. In addition, the modules of power monitoring, travel distance counter and drive speed counting are also developed as device drivers. Consequently, the proposed robotic wheelchair control architecture has the features of real-time performance, simple architecture, high reliability, and safety. Meanwhile, the device drivers and GUI are all developed as open source codes, and they are easy for integrations. Finally, a robotic wheelchair prototype is produced in our laboratory for experimental validations of the embedded robotic wheelchair control architecture, as well as for the evaluations of reactive navigations.","PeriodicalId":236208,"journal":{"name":"2011 IEEE International Conference on Automation Science and Engineering","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116020774","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

Boolean temporal model-based approach for the diagnosis of Discrete Event Systems 基于布尔时间模型的离散事件系统诊断方法

2011 IEEE International Conference on Automation Science and Engineering Pub Date : 2011-10-13 DOI: 10.1109/CASE.2011.6042521

N. Malki, M. S. Mouchaweh

引用次数: 0

A fuzzy programming approach for the strategic design of distribution networks 配电网策略设计的模糊规划方法

2011 IEEE International Conference on Automation Science and Engineering Pub Date : 2011-10-13 DOI: 10.1109/CASE.2011.6042483

N. Costantino, M. Dotoli, M. Falagario, M. P. Fanti, A. M. Mangini, F. Sciancalepore, W. Ukovich

引用次数: 18

Preliminary study of run-to-run control utilizing virtual metrology with reliance index 基于信赖指标的虚拟计量运行控制的初步研究

2011 IEEE International Conference on Automation Science and Engineering Pub Date : 2011-10-13 DOI: 10.1109/CASE.2011.6042446

Chi-An Kao, F. Cheng, Wei-ming Wu

引用次数: 11

Proportional hazard model with ℓ1 Penalization applied to Predictive Maintenance in semiconductor manufacturing 具有1惩罚的比例风险模型在半导体制造业预测性维修中的应用

2011 IEEE International Conference on Automation Science and Engineering Pub Date : 2011-10-13 DOI: 10.1109/CASE.2011.6042436

S. Pampuri, A. Schirru, Cristina De Luca, G. Nicolao

{"title":"Proportional hazard model with ℓ1 Penalization applied to Predictive Maintenance in semiconductor manufacturing","authors":"S. Pampuri, A. Schirru, Cristina De Luca, G. Nicolao","doi":"10.1109/CASE.2011.6042436","DOIUrl":"https://doi.org/10.1109/CASE.2011.6042436","url":null,"abstract":"The present paper is motivated by the application of Predictive Maintenance (PM) techniques in the semiconductor manufacturing environment: such techniques are able, using process data, to make reliable predictions of residual equipment lifetime. The employment of PM yields positive fallouts on the productive process in form of unscheduled downtime reduction, increased spare parts availability and improved overall production quality. One of the main challenges in PM modeling regards the data-driven assessment of relevant process variables when insufficient expert knowledge is available. In this paper, survival models theory is employed jointly with ℓ1 penalization techniques: this allows to obtain sparse models able to select the meaningful process variables and simultaneously predict the remaining lifetime of an equipment. Additionally, frailty modeling techniques are employed to concurrently handle several productive equipments of the same type, exploiting their similarities to increase prediction accuracy. The proposed methodology is validated, illustrating promising results, by means of a semiconductor manufacturing dataset.","PeriodicalId":236208,"journal":{"name":"2011 IEEE International Conference on Automation Science and Engineering","volume":"71 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130070209","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 10

Global stabilization of anti-windup PID position control for euler-lagrange systems with actuator saturation 具有执行器饱和的欧拉-拉格朗日系统抗绕组PID位置控制的全局镇定

2011 IEEE International Conference on Automation Science and Engineering Pub Date : 2011-10-13 DOI: 10.1109/CASE.2011.6042402

M. Kanamori

引用次数: 5

Feedforward and IMC-feedback control of a nonlinear 2-DOF piezoactuator dedicated to automated micropositioning tasks 用于自动微定位任务的非线性二自由度压电执行器的前馈和imc反馈控制

2011 IEEE International Conference on Automation Science and Engineering Pub Date : 2011-10-13 DOI: 10.1109/CASE.2011.6042415

M. Rakotondrabe, J. Agnus, P. Lutz

引用次数: 27

Nondeterminism avoidance in compositional synthesis of discrete event systems 离散事件系统组合综合中的不确定性避免

2011 IEEE International Conference on Automation Science and Engineering Pub Date : 2011-10-13 DOI: 10.1109/CASE.2011.6042432

Sahar Mohajerani, R. Malik, Martin Fabian

引用次数: 11