{"title":"Decentralized Message Passing Algorithm for Distributed Minimum Sensor Cover","authors":"Dae-Sung Jang, Han-Lim Choi","doi":"10.2514/1.I010512","DOIUrl":"https://doi.org/10.2514/1.I010512","url":null,"abstract":"This paper addresses a decentralized message passing approach for a sensor placement problem in a continuous plane, named minimum sensor cover problem: given pointwise tasks and omnidirectional cov...","PeriodicalId":179117,"journal":{"name":"J. Aerosp. Inf. Syst.","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125772924","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":"Satellite and Vision-Aided Sensor Fusion for Cooperative Navigation of Unmanned Aircraft Swarms","authors":"A. R. Vetrella, G. Fasano, D. Accardo","doi":"10.2514/1.I010474","DOIUrl":"https://doi.org/10.2514/1.I010474","url":null,"abstract":"This paper presents a cooperative unmanned aerial vehicle navigation algorithm that allows a chief vehicle (equipped with inertial and magnetic sensors, a Global Positioning System receiver, and a ...","PeriodicalId":179117,"journal":{"name":"J. Aerosp. Inf. Syst.","volume":"8 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-04-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114111676","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}
K. Gross, M. Clark, Jonathan A. Hoffman, E. Swenson, Aaron Fifarek
{"title":"Run-Time Assurance and Formal Methods Analysis Nonlinear System Applied to Nonlinear System Control","authors":"K. Gross, M. Clark, Jonathan A. Hoffman, E. Swenson, Aaron Fifarek","doi":"10.2514/1.I010471","DOIUrl":"https://doi.org/10.2514/1.I010471","url":null,"abstract":"Exhaustive testing of complex and autonomous systems is intractable and cost prohibitive; however, design analysis techniques such as formal methods and design methodologies, including run-time assurance, could provide supplementary certification evidence early in system design. Incorporating formal methods analysis throughout the system design process provides an offline verification method to identify faults as they are introduced, which may drastically reduce the overall system development cost. In the event of a fault not identified during development, run-time assurance is a proposed online verification methodology to allow unproven autonomous controllers to perform within a predetermined envelope of acceptable behavior. In this research, a six-unit CubeSat attitude control subsystem is used as a challenge problem to evaluate the application of nontraditional verification methodologies, such as formal methods analysis and run-time assurance architectures. Strengths and weaknesses of the verification ...","PeriodicalId":179117,"journal":{"name":"J. Aerosp. Inf. Syst.","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-04-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127000692","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":"Evaluating Risk to People and Property for Aircraft Emergency Landing Planning","authors":"Pedro F. A. Di Donato, E. Atkins","doi":"10.2514/1.I010513","DOIUrl":"https://doi.org/10.2514/1.I010513","url":null,"abstract":"General aviation and small unmanned aircraft systems are less redundant, may be less thoroughly tested, and are flown at lower cruise altitudes than commercial aviation counterparts. These factors ...","PeriodicalId":179117,"journal":{"name":"J. Aerosp. Inf. Syst.","volume":"218 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-04-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123506176","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. Kremen, B. Kostov, Miroslav Blasko, Jana Ahmad, Vladimír Plos, A. Lališ, Slobodan Stojić, P. Vittek
{"title":"Ontological Foundations of European Coordination Centre for Accident and Incident Reporting Systems","authors":"P. Kremen, B. Kostov, Miroslav Blasko, Jana Ahmad, Vladimír Plos, A. Lališ, Slobodan Stojić, P. Vittek","doi":"10.2514/1.I010441","DOIUrl":"https://doi.org/10.2514/1.I010441","url":null,"abstract":"The European Coordination Centre for Accident and Incident Reporting Systems develops an information system for reporting aviation occurrences on the European scale. The system makes use of various...","PeriodicalId":179117,"journal":{"name":"J. Aerosp. Inf. Syst.","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121190138","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":"Forward Adaptive Transfer of Gaussian Process Regression","authors":"Neeti Wagle, E. Frew","doi":"10.2514/1.I010437","DOIUrl":"https://doi.org/10.2514/1.I010437","url":null,"abstract":"This paper proposes a forward adaptive transfer learning method, referred tp as forward adaptive transfer learning for Gaussian process regression, which allows robots to leverage previously learne...","PeriodicalId":179117,"journal":{"name":"J. Aerosp. Inf. Syst.","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130291364","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":"Reliability Analysis of Field-Programmable Gate-Array-Based Space Computer Architectures","authors":"J. Hogan, R. Weber, B. Lameres","doi":"10.2514/1.I010481","DOIUrl":"https://doi.org/10.2514/1.I010481","url":null,"abstract":"This paper presents an analysis of the radiation tolerance of field-programmable gate-array-based space computers. The primary failure mechanism studied in this paper is single-event effects due to...","PeriodicalId":179117,"journal":{"name":"J. Aerosp. Inf. Syst.","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116100829","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":"Dual Radio Autopilot System for Lightweight, Swarming Micro/Miniature Aerial Vehicles","authors":"A. Bingler, K. Mohseni","doi":"10.2514/1.I010445","DOIUrl":"https://doi.org/10.2514/1.I010445","url":null,"abstract":"This paper presents the autonomous micro aerial vehicle pilot, a new autopilot platform weighing 6.25 g and measuring 11.3 cm2, specifically designed for use on micro/miniature aerial vehicle mobile sensing platforms. An overview of the hardware, firmware, ground station, and validation testing used to demonstrate this autopilot as a viable research instrument for atmospheric thermodynamic sensing on micro/miniature aerial vehicles is presented. The autonomous micro aerial vehicle pilot incorporates a 16 bit 140 MHz processor, global positioning system, dual radios, inertial measurement unit, pressure sensor, humidity sensor, and temperature sensor. Through these components, the autonomous micro aerial vehicle pilot is capable of full-state feedback, vehicle state estimation, localization, and wireless networking. Notable features of this autopilot are its dual-radio configuration, providing redundancy and adaptability in communication, and the detachable sensor breakout design that allows for increased ...","PeriodicalId":179117,"journal":{"name":"J. Aerosp. Inf. Syst.","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124855733","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":"Confiscating Flight Control System by Stealthy Output Injection Attack","authors":"Abhishek Dutta, Cédric Langbort","doi":"10.2514/1.I010494","DOIUrl":"https://doi.org/10.2514/1.I010494","url":null,"abstract":"The problem of designing a false-data injection attack on a model predictive controlled system is considered with 1) limited knowledge of the plant, constraints, and controller characteristics; and...","PeriodicalId":179117,"journal":{"name":"J. Aerosp. Inf. Syst.","volume":"108 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122532868","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}