Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Kerianne H. Gross"'
Publikováno v:
Journal of Aerospace Information Systems. 14:232-246
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 evi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4d6e68ba6d5210badb01040d35c8ccbc
https://doi.org/10.2514/1.i010471
https://doi.org/10.2514/1.i010471
Autor:
Kerianne H. Gross
Publikováno v:
2017 IEEE Aerospace Conference.
The cost to develop software in aerospace systems is on an exponential curve driven by increasing system complexity, which is exacerbated by a systems engineering process that discovers the majority of design errors late in the design process. Implem
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1d96ed6f7bdaee330d6569ec96b33bf2
https://doi.org/10.1109/aero.2017.7943573
https://doi.org/10.1109/aero.2017.7943573
Autor:
Eric D. Swenson, Matthew Clark, Jonathan A. Hoffman, Aaron W. Fifarek, Michael W. Whalen, Lucas G. Wagner, Kuldip S. Rattan, Kerianne H. Gross
Publikováno v:
AIAA Infotech @ Aerospace.
Intelligent controller designs based on artificial intelligence and machine learning promise superior performance over traditional control techniques; however, the lack of transparency in intelligent control systems and the opportunity for emergent b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9a9c9d4def3e397467769e958e6ab3d0
https://doi.org/10.2514/6.2016-0222
https://doi.org/10.2514/6.2016-0222
Publikováno v:
AIAA Modeling and Simulation Technologies Conference.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2037884a3cb5a339606ff7bf5755b3a8
https://doi.org/10.2514/6.2016-0174
https://doi.org/10.2514/6.2016-0174
Autor:
Eric D. Swenson, Lucas G. Wagner, Kerianne H. Gross, Jonathan A. Hoffman, Michael W. Whalen, Richard G. Cobb, Matthew Clark
Publikováno v:
AIAA SPACE 2015 Conference and Exposition.
Exhaustive test of complex and autonomous systems is intractable and cost prohibitive; however, incorporating formal methods analysis throughout the system design process provides a means to identify faults as they are introduced and drastically redu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2726e3be011c553f7932d2cf1e64f39d
https://doi.org/10.2514/6.2015-4529
https://doi.org/10.2514/6.2015-4529
Verification and Validation techniques will need to be adapted to address the unique challenges of developing autonomous systems. Looking towards the future, the question must be asked, how do we supplement traditional test and evaluation methods? In
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::399de1e0400fa11cf272487bef97e805
https://doi.org/10.21236/ada614199
https://doi.org/10.21236/ada614199
