A decentralized information feedback mechanism was introduced to a group of mobile robots such that the robots asymptotically converge to a given moving formation. While various distributed cooperative control strateg...A decentralized information feedback mechanism was introduced to a group of mobile robots such that the robots asymptotically converge to a given moving formation. While various distributed cooperative control strategies have been studied in theory,few of them have been systematically validated on experimental platforms. This paper demonstrates the experimental results of consensus-based decentralized information feedback mechanism on a multiple mobile robotic fish platform. In this paper, we firstly introduced a fundamental consensus algorithm for systems model and the cooperative control experimental platform,and then experimentally implemented and validated the formation control algorithm through setting transit point and lookup table method and so on. The experimental results show the effectiveness of the consensus-based decentralized information feedback control strategies.展开更多
A precise representation for attacks can benefit the detection of malware in both accuracy and efficiency.However,it is still far from expectation to describe attacks precisely on the Android platform.In addition,new ...A precise representation for attacks can benefit the detection of malware in both accuracy and efficiency.However,it is still far from expectation to describe attacks precisely on the Android platform.In addition,new features on Android,such as communication mechanisms,introduce new challenges and difficulties for attack detection.In this paper,we propose abstract attack models to precisely capture the semantics of various Android attacks,which include the corresponding targets,involved behaviors as well as their execution dependency.Meanwhile,we construct a novel graph-based model called the inter-component communication graph(ICCG)to describe the internal control flows and inter-component communications of applications.The models take into account more communication channel with a maximized preservation of their program logics.With the guidance of the attack models,we propose a static searching approach to detect attacks hidden in ICCG.To reduce false positive rate,we introduce an additional dynamic confirmation step to check whether the detected attacks are false alarms.Experiments show that DROIDECHO can detect attacks in both benchmark and real-world applications effectively and efficiently with a precision of 89.5%.展开更多
A group of cooperative agents can finish complicated missions that are difficult for a large machine.In the past two decades,spacecraft attitude coordination has attracted significant research attention owing to its w...A group of cooperative agents can finish complicated missions that are difficult for a large machine.In the past two decades,spacecraft attitude coordination has attracted significant research attention owing to its wide potential applications.This paper presents a survey of recent research progress on the spacecraft attitude consensus problem,paying particular attention to the papers published in major aerospace,dynamics,automation,and robotics journals since 2015.Attitude consensus concepts for centralized,decentralized,and distributed cases are reviewed.This overview summarizes results on system dynamics and consensus algorithms based on frequently used attitude representations,such as Euler angles,modified Rodrigues parameters,unit quaternions,and rotation matrices.Studies conducted under complicated operating conditions are also covered.Experimental results on attitude consensus are discussed.In the final section,the main conclusions are drawn and several potential research directions are provided.展开更多
基金Sponsored by the National Natural Science Foundation of China(Grant No.61174096)
文摘A decentralized information feedback mechanism was introduced to a group of mobile robots such that the robots asymptotically converge to a given moving formation. While various distributed cooperative control strategies have been studied in theory,few of them have been systematically validated on experimental platforms. This paper demonstrates the experimental results of consensus-based decentralized information feedback mechanism on a multiple mobile robotic fish platform. In this paper, we firstly introduced a fundamental consensus algorithm for systems model and the cooperative control experimental platform,and then experimentally implemented and validated the formation control algorithm through setting transit point and lookup table method and so on. The experimental results show the effectiveness of the consensus-based decentralized information feedback control strategies.
基金supported in part by National Key R&D Program of China(No.2016QY04W0805)NSFC U1536106,61728209+3 种基金National Top-notch Youth Talents Program of ChinaYouth Innovation Promotion Association CASBeijing Nova Program and a research grant from Ant Financialpartly supported by International Cooperation Program on CyberSecurity,administered by SKLOIS,Institute of Information Engineering,Chinese Academy of Sciences,China(No.SNSBBH-2017111036).
文摘A precise representation for attacks can benefit the detection of malware in both accuracy and efficiency.However,it is still far from expectation to describe attacks precisely on the Android platform.In addition,new features on Android,such as communication mechanisms,introduce new challenges and difficulties for attack detection.In this paper,we propose abstract attack models to precisely capture the semantics of various Android attacks,which include the corresponding targets,involved behaviors as well as their execution dependency.Meanwhile,we construct a novel graph-based model called the inter-component communication graph(ICCG)to describe the internal control flows and inter-component communications of applications.The models take into account more communication channel with a maximized preservation of their program logics.With the guidance of the attack models,we propose a static searching approach to detect attacks hidden in ICCG.To reduce false positive rate,we introduce an additional dynamic confirmation step to check whether the detected attacks are false alarms.Experiments show that DROIDECHO can detect attacks in both benchmark and real-world applications effectively and efficiently with a precision of 89.5%.
基金This work was supported by the National Natural Science Foundation of China under Grant No.12102174the Science and Technology on Space Intelligent Control Laboratory(Grant No.2021-JCJQ-LB-010-17)+1 种基金the Fundamental Research Funds for the Central Universities(No.NP2022301)the Research Fund of State Key Laboratory of Mechanics and Control of Mechanical Structures(Nanjing University of Aeronautics and astronautics)(Grant No.MCMS-I-0122K01).
文摘A group of cooperative agents can finish complicated missions that are difficult for a large machine.In the past two decades,spacecraft attitude coordination has attracted significant research attention owing to its wide potential applications.This paper presents a survey of recent research progress on the spacecraft attitude consensus problem,paying particular attention to the papers published in major aerospace,dynamics,automation,and robotics journals since 2015.Attitude consensus concepts for centralized,decentralized,and distributed cases are reviewed.This overview summarizes results on system dynamics and consensus algorithms based on frequently used attitude representations,such as Euler angles,modified Rodrigues parameters,unit quaternions,and rotation matrices.Studies conducted under complicated operating conditions are also covered.Experimental results on attitude consensus are discussed.In the final section,the main conclusions are drawn and several potential research directions are provided.