Conference Program of WCICA 2012

More documents

Recommendations

Info

Conference Program WCICA 2012 is adopted to optimize the multiphase traffic signal timing and phase sequence at the intersection. The optimization objective is to minimize the average vehicle delay of every cycle at the intersection. The simulation results demonstrate that the proposed method can efficiently reduce the average vehicle delay at the intersection and improve the traffic capacity of the intersection. In addition, the algorithm is fast and stable. ◁ PFrB-68 RNA secondary structure prediction algorithm based on combinatorial optimization algorithm and SVMs method, pp.715–719 He, Jingyuan Chongqing Univ. A new RNA secondary structure prediction algorithm that can predict pseudoknots is proposed,it combines the stem-loop combinatorial optimization algorithm and SVMs(Support Vector Machines,SVMs) method.The algorithm firstly finds out the optimal stem-loop structure and suboptimum structures based on dynamic neighbor topology particle swarm optimization algorithm,and then puts these loops into SVMs.The output from SVMs can decide whether there exist a pseudoknot.The experimental results demonstrate the superiority of our algorithm over the other methods in terms of solution quality and convergence rates. ◁ PFrB-69 Stigmergy Agent and Swarm Intelligence based Multi-agent System, pp.720–724 Duan, Junhua Zhu, Yi-an Huang, Shujuan Northwestern Polytechnical Univ. Northwestern Polytechnical Univ. Northwestern Polytechnical Univ. Social insect colonies can accomplish complex daily life tasks including foraging, nesting, preventing enemy and other things in spite of the simplicity of their individuals, and all the procedures are executed without any central controller. As a decentralized system, insect colonies exhibit flexibility and robustness, two features that would be desirable in an artificial system. Agent and multi-agent are good executor candidates for stigmergy and swarm intelligence. Stigmergy Agent structure is presented inspired from animal society, and stigmergy architecture is extended to extend stigmergy adaptability in more extensive application systems. Improved bi-partite graph is presented to organization structure of multi-agent system. Stigmergy Agent and swarm intelligence based multi-agent system will have promising prospects in many practical applications. ◁ PFrB-70 Research on the Fuzziness of Rough Set Model based on Compatible Relation over Double Universes, pp.783–787 Zhan, Zhenyu Liu, Wenqi Shi, Mengting Kunming Univ. of Sci. & Tech. Kunming Univ. of Sci. & Tech. Kunming Univ. of Sci. & Tech. According to the relation between two elements in different universes, a fuzzy compatible relation is established as a generalization of rough set model over two universes. Firstly, new fuzzy approximation operators are presented basing on a fuzzy set with parameter which is defined in this article. Meanwhile, several important properties and theorems are proved as well. Next, by using the calculations of elements in the fuzzy matrix, a more effective method to obtain the approximate sets is proposed. Finally, an example is applied to illustrate the significance of the model. ◁ PFrB-71 A Concept Architecture Model with Autonomous Coordination for Flying Formation, pp.793–796 Liu, Zilin Logistic Engineering Univ. Flying formations are an attractive prospect for improved science return as they provide a natural capability for temporal, spatial and signal separation with further engineering and economic advantages. As satellite numbers increase, the traditional ‘‘remote-control’’approach begins to break down. It is therefore essential to push control into space; to make spacecraft more autonomous. This article analyses some available typical autonomous coordination paradigms and then a hybrid autonomous coordination hierarchy for formations is presented, which is designed to minimize the traffic of intersatellite links and aid scalability to larger numbers (hundreds) of small satellites for tasks allocation. ◁ PFrB-72 Stability Analysis of Local Swarms in an Environment with a Quadratic Profile, pp.809–814 Wang, Liangshun Fang, Huajing Huazhong Univ. of Sci. & Tech. Huazhong Univ. of Sci. & Tech. This paper first constructs an model of local swarms with a quadratic profile. Then study the stability properties of the collective behavior of the swarm and provide conditions for collective convergence to more favorable regions of the profile. It is shown that the individuals of the swarms will aggregate and eventually enter into a bounded hyperball around the swarm center or objective position. Aimed at removing the local trap, this paper gives the bound of parameter . ◁ PFrB-73 Web Design and Implementation for Remote Control, pp.920–924 Chen, Wanmi Chen, Yucheng Shanghai Univ. Shanghai Univ. With the development of website, a great many changes took place and in many fields, people combine our traditional marketing with network marketing. There are many tools for the website design, and Apache, PHP (Hypertext Preprocessor) and MySQL has been the most widely used web development tool for its free and open source. Differences between PHP, JSP and ASP.NET have been discussed in this dissertation. The system which will be designed use the website to control the remote system. Thus, the environmental and demand analysis in the design, the development model based on PHP, architecture of field remote system, the development process based on Apache, PHP and MySQL, details data communication methods and the implement process of the website are also discussed. ◁ PFrB-74 Intervening a group of mobile agents in three dimension, pp.970–975 Li, Xuejing Beijing Univ. of Tech. How we intervene the multi-agent systems (MAS) without changing the local interactions such that the system exhibits the expected collective behavior is an interesting and important topic. In this paper, we will investigate the intervention of a class of MAS, where all agents move in three dimensional Euclidean space. To guide all agents to move with the same expected direction, we put some information agents (also called leaders) into the system. Different from [11, ]the heading of each agent is determined by two coupled angle sequences, which makes the theoretical analysis quite hard. By estimating some characteristics concerning the initial states and applying the mathematical induction, we will provide a quantitative result on the proportion of leaders needed to guarantee the expected consensus. ◁ PFrB-75 Guaranteed Cost Control for Uncertain Networked Switched Fuzzy Time-Delay Systems , pp.982–986 Liu, Yi Yao, Lu Sun, Li-Ying Tianjin Inst. of Urban Construction Neusoft Group (Dalian) Co., Ltd Liaoning Univ. of Tech. According to switching technique, the problem of guaranteed cost control for uncertain networked switched fuzzy time-delay systems based on Takagi-Sugeno (T-S) fuzzy model is investigated. Considering the influence of time-delay under single-packet transmission condition, a sufficient condition for the existence of the robust guaranteed cost control law is presented based on single Lyapunov function and multiple Lyapunov functions method, and the switching law is also designed to implement the asymptotic stability of fuzzy switched systems. Finally an illustrative example is used to demonstrate the effectiveness of the proposed approach. ◁ PFrB-76 132
WCICA 2012 Book of Abstracts: Friday Sessions Research and Implementation of Security System in Intelligent Residential District, pp.987–990 Zhang, Guofeng Gao, Yan Xie, Changwu Beijing Inst. of Tech. Beijing Inst. of Tech. BIT An implementation scheme for security system in intelligent residential district is presented in this paper. The security system is composed of home security subsystem, access control system and residential security control network. Hardware and software architecture of the home subsystem and design of the control network are introduced in detail. Problems of wired networks are solved due to the application of ZigBee technology in home subsystem. An interactive management system is designed for centralized management of residential district security, and it makes the security system more efficient and people-oriented. ◁ PFrB-77 Networked Control Systems Based on New Smith Predictor and Internal Model Control, pp.1014–1019 Du, Feng Li, Jinyu Ren, Jia Zhang, Yu Zhou, Hui Guo, Cheng Hainan Univ. Hainan Univ. Hainan Univ. Hainan Univ. Hainan Univ. Hainan Univ. Some analyses and researches are done about networked control systems (NCS) those are based on the new Smith predictor and internal model control (IMC) from the system structures in this paper. The research and simulation results show that the choice of strategy of the new Smith predictor is more flexible than internal model control, but the adjusting parameter of the internal model control is relatively less than the new Smith predictor. Both of them are suitable for the NCS with random, time-variant or uncertain network delays which are larger than one or even tens sampling periods, also for a certain changing plant model (parameters). ◁ PFrB-78 Stability and Stabilization of Singular Systems: Strict LMI Sufficient Conditions, pp.1052–1055 Zhang, XueFeng Northeastern Univ. This paper discusses strict linear matrix inequalities(LMIs) sufficient condition which can be removed of the equality constraint for linear continuous singular systems. The criteria of stability and stabilization of continuous singular system are presented. The conditions are expressed in terms of strict positive definite LMIs which can reduce the equality constraint and semi-positive definite LMIs and are much more tractable and reliable in numerical computation than existing conditions. The conditions make use of only the system parameter matrices (E, A, B) directly by a restricted equivalent transform without introducing other adjective parameters. A counterexample is given to illustrate the criteria are only a sufficient condition but not are a necessary condition. The idea presented can help to find necessary and sufficient strict LMI criteria without equality constraint conditions of stability and stabilization of continuous singular system. ◁ PFrB-79 New Delay-dependent Absolute Stability for Uncertain Lur’e System with Interval Delay, pp.1062–1066 Li, Peiran Bao, Zhejing Yan, Wenjun Zhejiang Univ. Zhejiang Univ. CEE, Zhejiang Univ. This paper deals with the absolute stability analysis for Lur’e system with interval time-delay and norm bounded parameter uncertainties. By constructing the Lyapunov-Krasovskii functional, which is utilized the full lower and upper bound information of time-delay, some new delaydependent robust stability criteria are obtained in terms of linear matrix inequalities(LMIs) with convex combination technique. The resulting criterion has advantages over some previous ones in that it involves less decision variables than free weighting matrix method and doesn’t introduce the additional dynamics which leads to conservative results. The numerical examples of maximum allowable delay bound problem illustrate that the obtained absolute stability criteria are less conservative than previous ones. ◁ PFrB-80 Decentralized Finite-Time Stabilization of Large-Scale Interconnected Nonlinear Systems, pp.1067–1072 FU, Qin Univ. of Sci. & Tech. of Suzhou The concept of decentralized finite-time stabilization for large-scale interconnected nonlinear systems is introduced by the definition of finitetime stability for linear systems.The design of decentralized state feedback controllers and decentralized dynamic output feedback controllers is given for a class of large-scale uncertain interconnected nonlinear systems.A sufficient condition is provided by using linear matrix inequality. When the feedback control laws are applied to the systems,the closed-loop systems are finite-time stable. A simulation example shows the feasibility and effectiveness of the conclusion. ◁ PFrB-81 The Modeling and Simulation on Sliding Mode Control Applied in the Double Inverted Pendulum System, pp.1089–1091 Li, Zhongjuan Zhang, Xinzheng Chen, Guohai Guo, Yuguang Guangdong Univ. of Tech. Guangdong Univ. of Tech. guangdong Univ. of Tech. guangdong Univ. of Tech. This paper first describes the research background of inverted pendulum,then derives the mathematical model of planar double inverted pendulum system by use of Lagrange modeling method.After partial linearization,we can arrive at the pendulum’s equation of state s- pace,which is a controllable,observable,but absolute unstable system after analysing.Using the pole―placement method,a variable structure controller was designed for the stabilization and robust control of the double inverted pendulum.In order to reduce the chattering of the controller,a new algorithm for the sliding mode control was proposed. Simulation results verify the validity and feasibility of the proposed approach. ◁ PFrB-82 Adaptive Hydraulic Active Suspension Control for Traversing Rough Terrain, pp.1130–1134 Shi, Mina Jilin Univ. This paper presents the adaptive hydraulic active suspension applied to the six-wheel off-road vehicle. Both four-link articu-lated mechanical structure and power transported hydraulic system are constructed. Nonlinear mathematical model is estab-lished for the nonlinear uncertain hydraulic system. The advantages of self adaptive suspensions and active suspensions are combined and introduced into the suspension system. The vehicle can reposition its center of mass by adjusting joint angles to enhance tipover stability during rough terrain traverse. A double loop auto disturbances rejection control (ADRC) method is employed and pressure control system is designed with displacement as random value responding to changes in load. The ex-perimental results show that the adaptive hydraulic active suspension has greatly improved the vehicle adaptability and stabil-ity in rough terrain. ◁ PFrB-83 Further Results On Delay-dependent Stability and Robust Stability of Linear System with Interval Time-varying Delay, pp.1166–1171 Wang, Jian-an School of Electronics Information Engineering, Taiyuan Univ. of Sci. & Tech. Yin, Zhi-gang Jiujiang Univ. This paper is concerned with the delay-dependent stability and robust stability of linear uncertain system with interval time-varying delay. By splitting the delay-interval into two segments of equal length, some new types of Lyapunov functional are constructed for each segment. Based on convex combination technique, several improved delay-dependent stability criteria are derived in terms of linear matrix inequality. The proposed method involves neither model transformation nor any free 133
Page 1 and 2:
WCICA 2012 The 10 th World Congress
Page 3 and 4:
WCICA 2012 Welcome Welcome It is ou
Page 5 and 6:
WCICA 2012 Sponsorships Sponsorship
Page 7 and 8:
WCICA 2012 Organizing Committee Org
Page 9 and 10:
WCICA 2012 Program Committee Progra
Page 11 and 12:
WCICA 2012 Program Committee Lilin
Page 13 and 14:
WCICA 2012 Instruction for Oral and
Page 15 and 16:
WCICA 2012 Transportation Fig. 1: L
Page 17 and 18:
WCICA 2012 Floor Plan of BICC Exhib
Page 19 and 20:
WCICA 2012 Plenary Lectures Multi-Z
Page 21 and 22:
WCICA 2012 Plenary Lectures Plenary
Page 23 and 24:
Page 25 and 26:
Page 27 and 28:
WCICA 2012 Plenary Panel Sessions P
Page 29 and 30:
WCICA 2012 Plenary Panel Sessions g
Page 31 and 32:
WCICA 2012 Plenary Panel Sessions a
Page 33 and 34:
WCICA 2012 Pre-conference Workshops
Page 35 and 36:
Page 37 and 38:
Page 39 and 40:
Page 41 and 42:
Page 43 and 44:
WCICA 2012 Best Paper Awards and Fi
Page 45 and 46:
41 WCICA 2012 Program Schedule July
Page 47 and 48:
WCICA 2012 Technical Program Techni
Page 49 and 50:
WCICA 2012 Technical Program: Frida
Page 51 and 52:
Page 53 and 54:
Page 55 and 56:
Page 57 and 58:
Page 59 and 60:
Page 61 and 62:
Page 63 and 64:
Page 65 and 66:
Page 67 and 68:
WCICA 2012 Technical Program: Satur
Page 69 and 70:
Page 71 and 72:
Page 73 and 74:
Page 75 and 76:
Page 77 and 78:
Page 79 and 80:
Page 81 and 82:
Page 83 and 84:
Page 85 and 86: WCICA 2012 Technical Program: Satur
Page 87 and 88: WCICA 2012 Technical Program: Sunda
Page 95 and 96: WCICA 2012 Book of Abstracts Book o
Page 97 and 98: WCICA 2012 Book of Abstracts: Frida
Page 135: WCICA 2012 Book of Abstracts: Frida
Page 153 and 154: WCICA 2012 Book of Abstracts: Satur
Page 187 and 188:
WCICA 2012 Book of Abstracts: Satur
Page 189 and 190:
Page 191 and 192:
Page 193 and 194:
Page 195 and 196:
Page 197 and 198:
Page 199 and 200:
Page 201 and 202:
Page 203 and 204:
Page 205 and 206:
Page 207 and 208:
Page 209 and 210:
WCICA 2012 Book of Abstracts: Sunda
Page 211 and 212:
Page 213 and 214:
Page 215 and 216:
Page 217 and 218:
Page 219 and 220:
Page 221 and 222:
Page 223 and 224:
Page 225 and 226:
Page 227 and 228:
Page 229 and 230:
WCICA 2012 Author Index Author Inde
Page 231 and 232:
WCICA 2012 Author Index . . . . . .
Page 233 and 234:
Page 235 and 236:
Page 237 and 238:
Page 239 and 240:
Page 241 and 242:
Page 243 and 244:
WCICA 2012 Author Index W Wan, Chua
Page 245 and 246:
Page 247 and 248:
Page 249 and 250:
Page 251 and 252:
Page 253 and 254:
WCICA 2012 Chair/Co-Chair Index Cha
show all

Conference Program of WCICA 2012

Create successful ePaper yourself

Delete template?

Save as template?