IEEE ICCA 2010Pub Date : 2010-06-09DOI: 10.1109/ICCA.2010.5524185
K. Ajoy, Kush Misra, S. Biswas, J. Deka, H. Kapoor
{"title":"Fair diagnosability in PN-based DES models","authors":"K. Ajoy, Kush Misra, S. Biswas, J. Deka, H. Kapoor","doi":"10.1109/ICCA.2010.5524185","DOIUrl":"https://doi.org/10.1109/ICCA.2010.5524185","url":null,"abstract":"Failure diagnosability has been widely studied for discrete event system (DES) models because of modeling simplicity and computational efficiency due to abstraction. Frameworks based on FSMs, process algebra, Petri nets (PN) etc. have been used for modeling and diagnosability analysis of DES. DES failure diagnosability algorithms work successfully for systems where fairness is not a part of the model. They are based on detecting cycles in the normal and the failure model that look identical. However, there exist systems with all transitions fair where the diagnosability condition that hinges upon this feature renders many failures non-diagnosable although they may actually be diagnosable by transitions out of a cycle. Hence, the diagnosability conditions based on cycle detection need to be modified to hold for many real-world systems where all transitions are fair. In this paper a new failure diagnosability mechanism is proposed for PN based DES models with fair transitions","PeriodicalId":155562,"journal":{"name":"IEEE ICCA 2010","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129878438","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}
IEEE ICCA 2010Pub Date : 2010-06-09DOI: 10.1109/ICCA.2010.5524161
Xianlin Huang, Kairui Cao, Xiaojun Ban, X. Gao
{"title":"Stability analysis of the simplest t-s fuzzy control system using the off-axis circle criterion","authors":"Xianlin Huang, Kairui Cao, Xiaojun Ban, X. Gao","doi":"10.1109/ICCA.2010.5524161","DOIUrl":"https://doi.org/10.1109/ICCA.2010.5524161","url":null,"abstract":"In this paper, on the basis of the off-axis circle criterion, a sufficient condition with simple graphical explanations is derived to guarantee the global asymptotic stability of the simplest Takagi-Sugeno (T-S) fuzzy control system. Two numerical examples are given to demonstrate how to use this criterion in analyzing the T-S fuzzy control systems.","PeriodicalId":155562,"journal":{"name":"IEEE ICCA 2010","volume":"85 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128432838","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}
IEEE ICCA 2010Pub Date : 2010-06-09DOI: 10.1109/ICCA.2010.5524109
Yiming Ji, Changbin Yu, B. Anderson
{"title":"Geometric dilution of localization and bias-correction methods","authors":"Yiming Ji, Changbin Yu, B. Anderson","doi":"10.1109/ICCA.2010.5524109","DOIUrl":"https://doi.org/10.1109/ICCA.2010.5524109","url":null,"abstract":"A particular geometric problem-the collinearity problem-which may prevent effective use of localization algorithms is described in detail in this paper. Further analysis illustrates the methods for improving the estimate for localization algorithms also can be affected by the collinearity problem. In this paper, we propose a novel approach to deal with the collinearity problem for a localization improvement method-the bias-correction method [1, 2, 3]. Compare to earlier work such as [4], the main feature of the proposed approach is that it takes the level of the measurement noise into consideration as a variable. Monte Carlo simulation results demonstrate the performance of the proposed method. Further simulation illustrates the influence of two factors on the effect of the bias-correct method: the distance between sensors and the level of noise. Though it mainly aims to the bias-correction method, the proposed approach is also valid for localization algorithms because of the consistent performance of localization algorithms and the bias-correction method.","PeriodicalId":155562,"journal":{"name":"IEEE ICCA 2010","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127138079","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}
IEEE ICCA 2010Pub Date : 2010-06-09DOI: 10.1109/ICCA.2010.5524299
A. Fakharian, F. Jamshidi, M. Beheshti
{"title":"Logic based switching H2/H∞ controller design for linear singular perturbation systems: A fuzzy supervisor approach","authors":"A. Fakharian, F. Jamshidi, M. Beheshti","doi":"10.1109/ICCA.2010.5524299","DOIUrl":"https://doi.org/10.1109/ICCA.2010.5524299","url":null,"abstract":"In this paper the synthesis of logic-based switching H2/H∞ state-feedback controller for continuous-time LTI singular perturbation systems is considered which achieves a minimum bound on the H2 performance level, while satisfying the H∞ performance. The proposed hybrid control scheme is based on a fuzzy supervisor which manages the combination of two controllers. A convex LMI-Based formulation of the two fast and slow subsystem controllers leads to a structure which ensures a good performance in both the transient phase and the steady state phase. The stability analysis uses the Lyapunov technique, inspired from switching system theory, to prove that the system with the proposed controller remains globally stable despite the configuration (controller) changing.","PeriodicalId":155562,"journal":{"name":"IEEE ICCA 2010","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127236951","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}
IEEE ICCA 2010Pub Date : 2010-06-09DOI: 10.1109/ICCA.2010.5524371
R. Saragih
{"title":"Designing active vibration control with minimum order for flexible structure","authors":"R. Saragih","doi":"10.1109/ICCA.2010.5524371","DOIUrl":"https://doi.org/10.1109/ICCA.2010.5524371","url":null,"abstract":"This paper concerned with the designing active control for flexible structure. The structure has 4 stories and each story is modeled such that it has a single degree of freedom in the transverse direction and one more degree of freedom in the angle of torsion around the centroid of the story. The model of structure, absorber and stroke are combined such that the number of state is 30. The order of state is reduced up to 7th order by using the balanced truncation. The active control is designed by using the H∞ -control theory.","PeriodicalId":155562,"journal":{"name":"IEEE ICCA 2010","volume":"483 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125669648","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}
IEEE ICCA 2010Pub Date : 2010-06-09DOI: 10.1109/ICCA.2010.5524346
Shengkai Jin, Shiji Song, Yuli Zhang, Cheng Wu
{"title":"Modeling and optimization of ocean-going unloading problem with stochastic arrival time","authors":"Shengkai Jin, Shiji Song, Yuli Zhang, Cheng Wu","doi":"10.1109/ICCA.2010.5524346","DOIUrl":"https://doi.org/10.1109/ICCA.2010.5524346","url":null,"abstract":"One of the important issues which steel enterprises focus on is to reduce the cost occurred in unloading process of ocean-going ship, based on the overseas procurement background of a famous steel enterprise, the unloading problem with random arrival times is investigated in this paper, the cost construction of unloading problem is analyzed and its mathematical models for deterministic and stochastic arrival time are established, respectively. Moreover, Lagrangian relaxation algorithm and genetic algorithm combined with sub-gradient is designed to solve this problem. Finally, some examples are simulated and illustrated to validate the effectiveness and accuracy of the proposed algorithm.","PeriodicalId":155562,"journal":{"name":"IEEE ICCA 2010","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132170618","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}
IEEE ICCA 2010Pub Date : 2010-06-09DOI: 10.1109/ICCA.2010.5524423
Robert Schmid, Y. Tan
{"title":"Performance analysis of iterative algorithms for sylvester equations","authors":"Robert Schmid, Y. Tan","doi":"10.1109/ICCA.2010.5524423","DOIUrl":"https://doi.org/10.1109/ICCA.2010.5524423","url":null,"abstract":"We consider the convergence performance of the iterative algorithms proposed by Ding and Chen [2], [3] for the solution of coupled matrix equations. A stiffness property is given to describe equations where these algorithms converge only very slowly, and a stochastic analysis shows that very slow convergence is a generic feature of these algorithms. Lastly we consider the recently introduced modifications to these algorithms proposed by Zhou et al [9], [10] and discuss their potential to improve the convergence speed for such stiff equations.","PeriodicalId":155562,"journal":{"name":"IEEE ICCA 2010","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130936265","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}
IEEE ICCA 2010Pub Date : 2010-06-09DOI: 10.1109/ICCA.2010.5524193
Qing Wang, Xiaolin Deng, Qingyang Wang
{"title":"Model simplification of spring systems","authors":"Qing Wang, Xiaolin Deng, Qingyang Wang","doi":"10.1109/ICCA.2010.5524193","DOIUrl":"https://doi.org/10.1109/ICCA.2010.5524193","url":null,"abstract":"The H2 optimal model reduction problem is to obtain reduced order spring system with r springs to approximate the original spring system with n (r < n) springs such that the H2 norm of the error system is minimized. The expression of the error and its gradient are explicitly given in terms of the solutions of certain Lyapunov equations. An example is provided to illustrate the effectiveness of the proposed method.","PeriodicalId":155562,"journal":{"name":"IEEE ICCA 2010","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127988900","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}
IEEE ICCA 2010Pub Date : 2010-06-09DOI: 10.1109/ICCA.2010.5524020
Shiming Chen, Jihai Jiang, Huiqin Pei
{"title":"Flocking control of scalable engineering swarm system based on inverse model and PSO algorithm","authors":"Shiming Chen, Jihai Jiang, Huiqin Pei","doi":"10.1109/ICCA.2010.5524020","DOIUrl":"https://doi.org/10.1109/ICCA.2010.5524020","url":null,"abstract":"Based on inverse model and PSO algorithm, a flocking control method for scalable engineering swarm system with individuals that move in a 3-dimensional environment is proposed in this paper. The motion of each individual (i) is determined by the attraction to the goal position, which means the center of smallest enclosing ball that contains a set of neighbors individual i can find and is solved by PSO algorithm, and repulsion from the other neighbors in its repulsive range. The emergent flocking behavior of the swarm is the result of a balance between inter-individual interactions. The simulations show that the swarm can aggregate to goal regions while maintaining cohesive.","PeriodicalId":155562,"journal":{"name":"IEEE ICCA 2010","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129241869","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}
IEEE ICCA 2010Pub Date : 2010-06-09DOI: 10.1109/ICCA.2010.5524255
T. Wongpiromsarn, Keyou You, Lihua Xie
{"title":"A consensus approach to the assignment problem: Application to mobile sensor dispatch","authors":"T. Wongpiromsarn, Keyou You, Lihua Xie","doi":"10.1109/ICCA.2010.5524255","DOIUrl":"https://doi.org/10.1109/ICCA.2010.5524255","url":null,"abstract":"We propose a consensus protocol to solve the assignment problem in a completely distributed manner without any central management or global knowledge. Our protocol is based on the auction algorithm and ensures convergence to an assignment that is within n∈ of being optimal where n is the number of agents and ∈ is a design parameter. We then apply the proposed protocol to the mobile sensor dispatch problem to let each mobile sensor determines, in a completely distributed manner, the failed static sensor it should recover so that the total distance traveled by all the mobile sensors is minimized.","PeriodicalId":155562,"journal":{"name":"IEEE ICCA 2010","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128838755","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}