2009 IEEE International Conference on Automation Science and Engineering最新文献_第8页

Discrete event control under nondeterministic partial observation 不确定性部分观测下的离散事件控制

2009 IEEE International Conference on Automation Science and Engineering Pub Date : 2009-08-22 DOI: 10.1109/COASE.2009.5234123

Songyan Xu, Ratnesh Kumar

{"title":"Discrete event control under nondeterministic partial observation","authors":"Songyan Xu, Ratnesh Kumar","doi":"10.1109/COASE.2009.5234123","DOIUrl":"https://doi.org/10.1109/COASE.2009.5234123","url":null,"abstract":"Most prior work on control of discrete event systems assume that sensors are reliable so that they can be modeled as a deterministic (point-valued) observation mask. However in certain harsh environments such as nuclear systems, sensors may not be reliable. This results in a nondeterministic (set-valued) observation mask. In this paper, we allow the observation mask to be nondeterministic to capture unreliability of sensors. In this setting finding a supervisor to enforce a given specification has the additional challenge of deciding which observations of a trace of the specification must be enabled (note a trace of the specification is enabled as long as one of its observations is enabled). We propose a method to deal with this challenge by introducing the notion of lifting, and defining the lifting of events, plant, specification, and observation mask. A lifted-specification is said to be safe if its projection on the original events equals the given specification. We show that a supervisor exists if and only if exists a lifted-specification that satisfies closure, safety, controllability, observability, together with a new property called conformity. The class of such languages is not closed under union or intersection, but is closed under union over an increasing chain. As a result, finding a desired liftedspecification can be difficult. We propose a work around this difficulty by replacing the property of observability with the stronger property of normality. The corresponding class of languages is shown to be closed under union, and its nonemptiness serves as a constructive sufficient condition for the existence of a supervisor. We also provide an automaton representation of a control policy based on a nondeterministic observation mask.","PeriodicalId":386046,"journal":{"name":"2009 IEEE International Conference on Automation Science and Engineering","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115539876","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}

引用次数: 24

Development of robot assisted stroke rehabilitation system of human upper limb 机器人辅助上肢中风康复系统的研制

2009 IEEE International Conference on Automation Science and Engineering Pub Date : 2009-08-22 DOI: 10.1109/COASE.2009.5234163

S. Parasuraman, A. Oyong, V. Ganapathy

{"title":"Development of robot assisted stroke rehabilitation system of human upper limb","authors":"S. Parasuraman, A. Oyong, V. Ganapathy","doi":"10.1109/COASE.2009.5234163","DOIUrl":"https://doi.org/10.1109/COASE.2009.5234163","url":null,"abstract":"This project is focusing on the development of robot-assisted stroke rehabilitation system of human upper limb and hand elbow movements. Realizing the complexity of human upper limb, the study is limited to human upper limb, consisting of 3 glenohumeral joints (abduction-adduction, flexion-extension, and rotation) and elbow joint (flexionextension). In this paper the rehabilitation robotic system is proposed to assist a patient to train his hand movements to a desired position by considering other parameters such as speed and joint torque. In this system, each movement of the glenohumeral joints are scheduled based on the feedback signal obtained from the respective muscle groups through EMG signal interface. The kinematic model is proposed based on the literature survey and assumptions are made to reduce the complexity. Denavit-Hartenberg method is used for the positional analysis to determine the end position in 3D space while the Lagrange-Euler method is used for the dynamic analysis. A PID computed torque controller was designed by utilizing the equation of motion. The purpose of the controller is to compensate the dynamical imperfection and the presence of disturbance. The project is developed using MATLAB SimMechanics, in which human arm and rehabilitation robot is modeled.","PeriodicalId":386046,"journal":{"name":"2009 IEEE International Conference on Automation Science and Engineering","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114946111","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}

引用次数: 14

RACK: RApid clustering using K-means algorithm RACK:使用K-means算法的快速聚类

2009 IEEE International Conference on Automation Science and Engineering Pub Date : 2009-08-22 DOI: 10.1109/COASE.2009.5234127

Vikas K. Garg, M. Murty

引用次数: 0

Analysis of autonomous vehicle storage and retrieval system by open queueing network 基于开放排队网络的自动车辆存取系统分析

2009 IEEE International Conference on Automation Science and Engineering Pub Date : 2009-08-22 DOI: 10.1109/COASE.2009.5234100

S. Heragu, Xiao Cai, A. Krishnamurthy, C. Malmborg

引用次数: 16

Operation-oriented specification for integrated control logic development 面向操作的集成控制逻辑开发规范

2009 IEEE International Conference on Automation Science and Engineering Pub Date : 2009-08-22 DOI: 10.1109/COASE.2009.5234133

Kristofer Bengtsson, B. Lennartson, Chengyin Yuan, P. Falkman, S. Biller

引用次数: 4

Decentralized fault diagnosis for sensor networks 传感器网络的分散故障诊断

2009 IEEE International Conference on Automation Science and Engineering Pub Date : 2009-08-22 DOI: 10.1109/COASE.2009.5234147

M. Franceschelli, A. Giua, C. Seatzu

引用次数: 15

Advanced studies of selection schemes for dual virtual-metrology outputs 双虚拟计量输出选择方案的深入研究

2009 IEEE International Conference on Automation Science and Engineering Pub Date : 2009-08-22 DOI: 10.1109/COASE.2009.5234137

Wei-ming Wu, F. Cheng, Tung-Ho Lin, Deng-Lin Zeng, Jyun-Fang Chen, Min-Hsiung Hung

{"title":"Advanced studies of selection schemes for dual virtual-metrology outputs","authors":"Wei-ming Wu, F. Cheng, Tung-Ho Lin, Deng-Lin Zeng, Jyun-Fang Chen, Min-Hsiung Hung","doi":"10.1109/COASE.2009.5234137","DOIUrl":"https://doi.org/10.1109/COASE.2009.5234137","url":null,"abstract":"Advanced Studies of selection schemes between neural-network (NN) and multiple-regression (MR) outputs of a virtual metrology system (VMS) are presented in this paper. Both NN and MR are applicable algorithms for implementing VM conjecture models. But a MR algorithm may achieve better accuracy only with a stable process, whereas a NN algorithm may has superior accuracy when equipment property drift or shift occurs. To take advantage of the merits of both MR and NN algorithms, the simple-selection scheme (SS-scheme) was proposed in CASE 2008 to enhance virtual-metrology (VM) conjecture accuracy. This SS-scheme simply selects either NN or MR output. Recently, with advanced studies, a weighted-selection scheme (WS-scheme), which computes the VM output with a weighted sum of NN and MR results, has been developed. Besides the example with the CVD process of fifth generation TFT-LCD used in the CASE 2008 paper, a new example with the photo process is also adopted in this paper to test and compare the conjecture accuracy among solo NN, solo MR, SS-scheme, and WS-scheme. One-hidden-layered back-propagation neural network (BPNN-I) is adopted for establishing the NN conjecture model. Test results show that the conjecture accuracy of the WS-scheme is the best among those of solo NN, solo MR, SS-scheme, and WS-scheme algorithms.","PeriodicalId":386046,"journal":{"name":"2009 IEEE International Conference on Automation Science and Engineering","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116039258","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

Closed-loop determinism for non-deterministic environments: Verification for IEC 61499 logic controllers 非确定性环境的闭环确定性:IEC 61499逻辑控制器的验证

2009 IEEE International Conference on Automation Science and Engineering Pub Date : 2009-08-22 DOI: 10.1109/COASE.2009.5234184

Lindsay V. Allen, K. M. Goh, D. Tilbury

引用次数: 5

Decision support for optimal adaptation of product and supply chain systems based on real options theory 基于实物期权理论的产品与供应链系统最优适应性决策支持

2009 IEEE International Conference on Automation Science and Engineering Pub Date : 2009-08-22 DOI: 10.1109/COASE.2009.5234119

Chong Hyun Park, Lalit Patil, K. Saitou, H. Romeijn

引用次数: 1

An efficient algorithm for RFID reader positioning for coverage of irregularly-shaped areas 一种适用于不规则形状区域的RFID读写器定位算法

2009 IEEE International Conference on Automation Science and Engineering Pub Date : 2009-08-22 DOI: 10.1109/COASE.2009.5234161

N. Mysore, Prakash Nenavat, Rasmi S. Unnithan, R. Mulukutla, Shrisha Rao

引用次数: 17