Johann Schumannt, Yan Liut, Nasa Ames, Moffett Field
{"title":"自适应飞机控制系统验证和验证的工具和方法","authors":"Johann Schumannt, Yan Liut, Nasa Ames, Moffett Field","doi":"10.1109/AERO.2007.352766","DOIUrl":null,"url":null,"abstract":"The appeal of adaptive control to the aerospace domain should be attributed to the neural network models adopted in online adaptive systems for their ability to cope with the demands of a changing environment. However, continual changes induce uncertainty that limits the applicability of conventional validation techniques to assure the reliable performance of such systems. In this paper, we present several advanced methods proposed for verification and validation (V&V) of adaptive control systems, including Lyapunov analysis, statistical inference, and comparison to the well-known Kalman filters. We also discuss two monitoring tools for two types of neural networks employed in the NASA F-15 flight control system as adaptive learners: the confidence tool for the outputs of a Sigma-Pi network, and the validity index for the output of a Dynamic Cell Structure (DCS) network.","PeriodicalId":6295,"journal":{"name":"2007 IEEE Aerospace Conference","volume":"59 1","pages":"1-8"},"PeriodicalIF":0.0000,"publicationDate":"2007-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"11","resultStr":"{\"title\":\"Tools and Methods for the Verification and Validation of Adaptive Aircraft Control Systems\",\"authors\":\"Johann Schumannt, Yan Liut, Nasa Ames, Moffett Field\",\"doi\":\"10.1109/AERO.2007.352766\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The appeal of adaptive control to the aerospace domain should be attributed to the neural network models adopted in online adaptive systems for their ability to cope with the demands of a changing environment. However, continual changes induce uncertainty that limits the applicability of conventional validation techniques to assure the reliable performance of such systems. In this paper, we present several advanced methods proposed for verification and validation (V&V) of adaptive control systems, including Lyapunov analysis, statistical inference, and comparison to the well-known Kalman filters. We also discuss two monitoring tools for two types of neural networks employed in the NASA F-15 flight control system as adaptive learners: the confidence tool for the outputs of a Sigma-Pi network, and the validity index for the output of a Dynamic Cell Structure (DCS) network.\",\"PeriodicalId\":6295,\"journal\":{\"name\":\"2007 IEEE Aerospace Conference\",\"volume\":\"59 1\",\"pages\":\"1-8\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2007-06-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"11\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2007 IEEE Aerospace Conference\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/AERO.2007.352766\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2007 IEEE Aerospace Conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/AERO.2007.352766","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Tools and Methods for the Verification and Validation of Adaptive Aircraft Control Systems
The appeal of adaptive control to the aerospace domain should be attributed to the neural network models adopted in online adaptive systems for their ability to cope with the demands of a changing environment. However, continual changes induce uncertainty that limits the applicability of conventional validation techniques to assure the reliable performance of such systems. In this paper, we present several advanced methods proposed for verification and validation (V&V) of adaptive control systems, including Lyapunov analysis, statistical inference, and comparison to the well-known Kalman filters. We also discuss two monitoring tools for two types of neural networks employed in the NASA F-15 flight control system as adaptive learners: the confidence tool for the outputs of a Sigma-Pi network, and the validity index for the output of a Dynamic Cell Structure (DCS) network.