{"title":"Reliability of cyber physical systems assessment of the aircraft fuel management system","authors":"Xiaolei Sun, N. Huang, Baoqing Wang, Jian Zhou","doi":"10.1109/CYBER.2014.6917501","DOIUrl":"https://doi.org/10.1109/CYBER.2014.6917501","url":null,"abstract":"Cyber physical systems (CPSs) are integrations of computation and physical processes. As a complex hybrid system, the reliability of CPSs is very important. Some work on the reliability of CPSs has been done, but most of them just present abstract ideas or models based on single component. In this paper, we use a phased-mission system (PMS) model to analyze the reliability of CPSs. The model consists of Markov models for components, and a binary decision diagram (BDD) for the system structure function. Moreover, a CPSs architecture model of an aircraft fuel management system (AFMS) is also presented. At last, we compute the reliability of a specific AFMS based on the PMS model.","PeriodicalId":183401,"journal":{"name":"The 4th Annual IEEE International Conference on Cyber Technology in Automation, Control and Intelligent","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134126178","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}
Hao Xu, Xiangrong Xu, Yan Li, Xiaosheng Zhu, Liming Jia, Dongqing Shi
{"title":"Trajectory planning of Unmanned Aerial Vehicle based on A* algorithm","authors":"Hao Xu, Xiangrong Xu, Yan Li, Xiaosheng Zhu, Liming Jia, Dongqing Shi","doi":"10.1109/CYBER.2014.6917508","DOIUrl":"https://doi.org/10.1109/CYBER.2014.6917508","url":null,"abstract":"The trajectory planning of Unmanned Aerial Vehicle (UAV) and Aerial Robots generally refers to a series of optimization problems. This paper presents a method of trajectory planning and design for UAV based on the A* algorithm. Using grids to process the trajectory path planning of UAV under the environment with presence of obstacles, and then search the shortest path from the initial point to the target point based on rasterized environment using A* algorithm. The simulation of trajectory planning is implemented in the Microsoft Visual C++ 6.0 developing environment. Through the simulation of trajectory planning, it can be proved that UAV can find the shortest path from the initial point to the target point based on A* algorithm.","PeriodicalId":183401,"journal":{"name":"The 4th Annual IEEE International Conference on Cyber Technology in Automation, Control and Intelligent","volume":"223 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123871840","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}
{"title":"Modeling and deterministic robust control of a three-phase four-switch PWM voltage-source rectifier based on direct power control","authors":"Xin Zhou, Hongjun Chen, Hao Xu, Lin Li","doi":"10.1109/CYBER.2014.6917442","DOIUrl":"https://doi.org/10.1109/CYBER.2014.6917442","url":null,"abstract":"This paper proposes a mathematical model of the three-phase four-switch pulse width modulated (PWM) voltage-source rectifier (VSR) based on direct power control (DPC). The derived model has the advantages of specific physical meaning, more versatile and precise, and most nonlinear control strategies of six-switch VSR could be utilized for four-switch VSR. By analyzing the proposed model, the dynamic of voltage difference between the two capacitors is considered a second-order dynamic. A compensation algorithm is applied to arrange its transition process to balance the voltage of the two capacitors. The filter inductors may be uncertain and the grid angular frequency changes slowly. That would lead to undesired high-order dynamic which generates more harmonics and affects the stability of the system. Deterministic robust control (DRC) is introduced to provide affordable performance under the dynamic of uncertain nonlinearities or above-mentioned parameters uncertainty. Test result shows the deterministic robust control based on proposed model is of excellent performance and robustness.","PeriodicalId":183401,"journal":{"name":"The 4th Annual IEEE International Conference on Cyber Technology in Automation, Control and Intelligent","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130213623","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}
{"title":"A blind user-centered navigation system with crowdsourced situation awareness","authors":"Samleo L. Joseph, Jizhong Xiao, Bhupesh Chawda, Kanika Narang, Padmashri Janarthanam","doi":"10.1109/CYBER.2014.6917458","DOIUrl":"https://doi.org/10.1109/CYBER.2014.6917458","url":null,"abstract":"This article presents a novel approach of utilizing the Internet of things (IoT) to create situational awareness to the blind user. Our previous work uses wearable sensors in the physical world to estimate the user location based on metric and landmark localization. Currently, we augment our system with streaming data from the cyber world to provide situational awareness by summarizing the events around the user based on the proposed crowdsourced localization. Our localization algorithm quickly gauge the relevant aspects of an event and renders a positional-audio feedback in a virtual 3D space around the user. This enhances the user to actively participate in an interesting social event by navigating towards them or avoid any mishaps on their path. Our results shown that it is feasible to make a blind user to travel independently by integrating our real-time localization technologies with the fusion of wearable sensors and social sensors.","PeriodicalId":183401,"journal":{"name":"The 4th Annual IEEE International Conference on Cyber Technology in Automation, Control and Intelligent","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127276424","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}
{"title":"Feature extraction based on EMD for Insulated Gate Bipolar Transistor","authors":"Genqian Cao, Ping Xu, Sheng Hong","doi":"10.1109/CYBER.2014.6917535","DOIUrl":"https://doi.org/10.1109/CYBER.2014.6917535","url":null,"abstract":"In this paper, empirical mode decomposition (EMD) is used in feature extraction on Insulated Gate Bipolar Transistor (IGBT). Dynamic changes of the degradation parameters such as collector-emitter voltage (VCE) and collector-emitter current (ICE) were got by temperature cycling test. Having conducted data compression and preliminary processing, we proceed the decomposition by using the EMD method. Then IGBT degradation trends can be found through the curve after treatment and the degenerate point can be found through energy analysis. The results show that EMD method can be well suited for feature extraction of IGBT data, and lay a foundation for further study of the data.","PeriodicalId":183401,"journal":{"name":"The 4th Annual IEEE International Conference on Cyber Technology in Automation, Control and Intelligent","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130025172","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}
{"title":"Cooperative path planning for multiple UAVs formation","authors":"Z. Zhen, Chen Gao, Q. Zhao, Ruyi Ding","doi":"10.1109/CYBER.2014.6917509","DOIUrl":"https://doi.org/10.1109/CYBER.2014.6917509","url":null,"abstract":"A systematic online path planning method based on the rapidly-exploring random tree (RRT) algorithm to solve the problem of cooperative path replanning for multiple UAVs under timing constraints is proposed in this paper. An improved RRT algorithm based on chaotic sequence is put forward to improve the ergodicity of the traditional RRT algorithm. The improved RRT algorithm is used to partly replan the path to avoid the unexpected threats detected on the way of pre-path. Moreover, a time cooperative reconstruction strategy is put forward to deal with the problem of time cooperativity being destroyed by path replanning. Finally, the simulations are carried out to verify the effectiveness of the proposed cooperative path planning method.","PeriodicalId":183401,"journal":{"name":"The 4th Annual IEEE International Conference on Cyber Technology in Automation, Control and Intelligent","volume":"49 8","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120988126","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}
{"title":"Cyber-physical avionics systems and its reliability evaluation","authors":"Zhitao Wu, N. Huang, Xiaoyan Zheng, Xinkun Li","doi":"10.1109/CYBER.2014.6917502","DOIUrl":"https://doi.org/10.1109/CYBER.2014.6917502","url":null,"abstract":"Avionics systems play a significant role in civil aircraft, and its reliability is directly related to the flight safe. In this paper, integrated modular avionics (IMA), as the most advanced avionics systems, is analyzed. Via exploration of the interaction mechanism of IMA and real physical system, its property of cyber-physical systems (CPS) is determined. Hence, according to different functional modules, a cyber-physical avionics systems model is established for IMA, meanwhile task-oriented state spaces of sub-units in CPS architecture are assigned to construct the hierarchical model for reliability model of IMA. A mathematic formula is presented to calculate reliability. The key contribution is that task-oriented cyber-physical idea is applied, and a hierarchical model for reliability analysis of IMA is presented. At last, reliability model is applied to a case study, which shows that two different way to raise IMA reliability.","PeriodicalId":183401,"journal":{"name":"The 4th Annual IEEE International Conference on Cyber Technology in Automation, Control and Intelligent","volume":"385 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122780926","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}
{"title":"Sensor-assisted Monte Carlo localization for Wireless Sensor Networks","authors":"Salke Hartung, S. Taheri, D. Hogrefe","doi":"10.1109/CYBER.2014.6917464","DOIUrl":"https://doi.org/10.1109/CYBER.2014.6917464","url":null,"abstract":"Localization in Wireless Sensor Networks (WSNs) denotes the procedure of a single sensor node to determine its geographical position in space. As these nodes are limited in computational power, battery lifetime and communication range, there is the requirement for efficient localization algorithms which is an ongoing topic in research. Nearly all algorithms are based on the usage of seed nodes which are aware of their location and help other nodes approximating their own position. In this paper we extend an existing Monte Carlo particle filter approach (Monte Carlo Localization, MCL) to account for situations where the degree of seed nodes is low, i.e. the location estimation of a node cannot be updated. For this purpose we make use of comparatively cheap sensors to determine the movement direction and velocity of a node. With this obtained information we can update a nodes recent position estimation even in the absence of seed nodes. We simulate our approach and compare our results to the originally proposed algorithm, MCL.","PeriodicalId":183401,"journal":{"name":"The 4th Annual IEEE International Conference on Cyber Technology in Automation, Control and Intelligent","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128744235","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}
{"title":"Control of bilateral teleoperation system for robotic manipulators with uncertain kinematics and dynamics","authors":"Yen‐Chen Liu","doi":"10.1109/CYBER.2014.6917518","DOIUrl":"https://doi.org/10.1109/CYBER.2014.6917518","url":null,"abstract":"The control problem for task-space bilateral teleoperation system with uncertain kinematics and dynamics is studied in this paper. We first demonstrate that based on the proposed controller and adaptive laws, the teleoperation system is stable and the position tracking in the task space is guaranteed when robots are in free motion or subject to passive force. Furthermore, if the human and environmental forces are bounded and square integrable, then all signals of the teleoperation system are bounded and the task-space tracking errors converge to zero asymptotically. The force reflection of the addressed bilateral teleoperation and the issue of communication delays are also studied in this paper. Numerical simulations are presented to validate the performance of the developed control algorithms.","PeriodicalId":183401,"journal":{"name":"The 4th Annual IEEE International Conference on Cyber Technology in Automation, Control and Intelligent","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128669313","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}
P. Roy, Aatreyi Bal, Tamosa Chakraborty, Mriganka Chakraborty, H. Rahaman, P. Dasgupta
{"title":"Optical detection in Biochips: A fuzzy based detection analyzer for homogeneous samples in DMFBs","authors":"P. Roy, Aatreyi Bal, Tamosa Chakraborty, Mriganka Chakraborty, H. Rahaman, P. Dasgupta","doi":"10.1109/CYBER.2014.6917523","DOIUrl":"https://doi.org/10.1109/CYBER.2014.6917523","url":null,"abstract":"In this work, we propose an architecture for optical detection based analyzer to be integrated with Digital Microfluidic Biochips (DMFB). A reference memory has been integrated with the device to define pre-characterized data for the multiple reference levels. The architecture has been developed towards the implementation of the fuzzy based control of the process flow for extending the analysis to multiple levels and determination of the extent of infestation of the targeted parameters for a set of homogeneous samples subjected to specified Bioassay protocol. The design is implemented on FPGA platform using Xilinx Spartan 3E for the detection of the blood glucose on a group of homogeneous samples. The simulation results are found to be satisfactory and the detection results are found to be in conformance with the conventional benchtop laboratory procedures.","PeriodicalId":183401,"journal":{"name":"The 4th Annual IEEE International Conference on Cyber Technology in Automation, Control and Intelligent","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129043643","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}