Closing the certification gaps in adaptive flight control software

AIAA Guidance, Navigation and Control Conference and Exhibit

Volumn , Issue , 2008, Pages

  Jacklin, Stephen A ^a,b  

^a NASA AMES RESEARCH CENTER   (United States)

^b Intelligent Systems Division   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ADAPTIVE CONTROLLERS; AEROSPACE SYSTEMS; ALGORITHM STABILITY; CERTIFICATION PROCESS; CERTIFICATION REQUIREMENTS; COMMERCIAL DEPLOYMENT; FLIGHT CONDITIONS; FLIGHT CONTROL; FLIGHT CONTROL SOFTWARE; GAIN-SCHEDULED CONTROL; HEALTH ASSESSMENTS; HYBRID SIMULATION; NATIONAL AIR SPACES; ON-LINE SYSTEM IDENTIFICATION; OTHER APPLICATIONS; PERFORMANCE METRICS; RESEARCH EFFORTS; SOFTWARE ASSURANCE; SOFTWARE MONITORING; SYSTEM SAFETY; VERIFICATION METHODOLOGY;

BEHAVIORAL RESEARCH; COMPUTER CONTROL; COMPUTER SOFTWARE; CONTROL THEORY; CONTROLLERS; CONVERGENCE OF NUMERICAL METHODS; FLIGHT CONTROL SYSTEMS; FLIGHT SIMULATORS; FORMAL METHODS; IDENTIFICATION (CONTROL SYSTEMS); LEARNING ALGORITHMS; NAVIGATION; REMOTE CONTROL;

ADAPTIVE CONTROL SYSTEMS;

EID: 78650026764     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (59)

1. Åström, K. J. and Wittenmark, B. Adaptive Control, 2nd ed. Reading, MA: Addison-Wesley, 1995.
2. Ioannou, P. A. and Sun, J. Robust Adaptive Control. Englewood Cliffs, NJ: Prentice Hall, 1996.
3. Landau, I. D., Adaptive Control: The Model Reference Approach, New York, NY: Marcel Dekker, 1979.
4. Narendra, K. S. and Annaswamy, A. M., Stable Adaptive Systems, Englewood Cliffs, NJ:Prentice Hall, 1989.
5. Sastry, S. and Bodson, M., Adaptive Control: Stability, Convergence, and Robustness, Englewood Cliffs, New Jersey: Prentice-Hall, 1994.
6. Ogata, K., Modern Control Engineering, 4th Edition, Pearson Education, Nov 2001.
7. Bryson, A. E. and Ho, Y. C., Applied Optimal Control, Taylor and Francis, 1975.
8. Kaneshige, John, and Gundy-Burlet Karen, "Integrated Neural Flight and Propulsion Control System," Proceedings of the AIAA Guidance, Navigation, and Control Conference, AIAA-2001-4386, August 2001.
9. Williams-Hayes, P.S., "Flight Test Implementation of a Second Generation Intelligent Flight Control System," Technical Report NASA/TM-2005-213669, 2005.
10. Nguyen, N., Krishnakumar, K., Kaneshige, J., and Nespeca, P., "Dynamic and Adaptive Control for Stability Recovery of Damaged Asymmetric Aircraft," Proceedings of AIAA Guidance, Navigation and Control Conf., Keystone, CO, Aug. 2006. AIAA 2006-6049.
11. Kaneshige, J., Bull, J., and Totah, J., "Generic Neural Flight Control and Autopilot System," AIAA-2000-4281.
12. Hall, R., Barrington, R., Kirchwey, K. and Alaniz, A., "Shuttle Stability and Control During the Orbiter Repair Maneuver," AIAA Guidance, Navigation and Control Conference and Exhibit, 2005, AIAA 2005-5852.
13. Johnson, E. N. and Calise, A. J., "Limited Authority Adaptive Flight Control for Reusable Launch Vehicles," Journal of Guidance Control and Dynamics, vol. 26, pp. 906-913, 2003.
14. Hovakimyan, N., Kim, N., Calise, A.J., Prasad, J.V.R., and Corban, E.J., "Adaptive Output Feedback for High-Bandwidth Control of an Unmanned Helicopter," AIAA Guidance, Navigation and Control Conference, AIAA-2001-4181, 2001.
15. Lavretsky, E. and Wise, K., "Adaptive Flight Control for Manned/Unmanned Military Aircraft," Proceedings of American Control Conference, Portland, OR, June 2005.
16. Rysdyk, R.T. and Calise, A.J., "Fault Tolerant Flight Control via Adaptive Neural Network Augmentation," AIAA Guidance, Navigation, and Control Conference, AIAA-1998-4483, 1998.
17. Johnson, E.N., Calise, A.J., El-Shirbiny, H.A., and Rysdyk, R.T., "Feedback Linearization with Neural Network Augmentation Applied to X-33 Attitude Control," AIAA Guidance, Navigation, and Control Conference, AIAA-2000-4157, 2000.
18. Calise, A. J., Lee, S., and Sharma, M., "Development of a Reconfigurable Flight Control Law for the x-36 Tailless Fighter Aircraft," Proceedings of the AIAA Guidance, Navigation, and Control Conference, Denver, CO, Aug. 2000.
19. Calise, A. J., Sharma, M., and Corban, J. E. "Adaptive Autopilot Design for Guided Munitions," Journal of Guidance, Control, and Dynamics, vol. 23, pp. 837-843, 2000.
20. Jacklin, S. A., Schumann, J., Gupta, P., Richard, M., Guenther, K., and Soares, F., "Development of Advanced Verification and Validation Procedures and Tools for the Certification of Learning Systems in Aerospace Applications," Proceedings of the AIAA Infotech@Aerospace Conference, Crystal City, VA, Sept. 2005.
21. Software Considerations in Airborne Systems and Equipment Certification, Document No RTCA (Requirements and Technical Concepts for Aviation) /DO-178B, December 1, 1992.
22. Santhanam, V. "Can Adaptive Flight Control Software be Certified to DO-178B Leve A?", NASA and FAA Software and CEH Conference, Norfolk, VA, July 26-28, 2005.
23. MATLAB, The MathWorks Inc. http://www.mathworks.com/products.
24. Pires, C., Cannon, H., Christa, S., Limes, G., Dorais, G., Branson, M., Kulkarni, N., Viazzo, D., Brown, J., Kelly, A., and Logan, M., "Verification and Validation Strategies and Vision," NASA Ames Live Webinar for The Mathworks, June 26, 2008.
25. Garey, M. R., and Johnson, D. S., Computers and Intractability: A Guide to the Theory of NP-Completeness, W. H. Freeman and Company, 1979.
26. Jacklin, S. A., "Comparison of Five System Identification Algorithms for Rotorcraft Higher Harmonic Control," NASA TP 1998-207687, May 1998.
27. Belcastro, Christine, and Belcastro, Celeste, "On the Validation of Safety Critical Aircraft Systems, Part I: Analytical & Simulation Methods," Proceedings of AIAA Guidance Navigation and Control Conference, Austin TX, August 2003.
28. Bird, R.: RASCLE Version 2.0: Design Specification, Programmer's Guide, and User's Guide. Baron Associates, Inc., February, 2002.
29. Belcastro, Christine, and Belcastro, Celeste, "On the Validation of Safety Critical Aircraft Systems, Part I: Analytical & Simulation Methods," Proceedings of AIAA Guidance Navigation and Control Conference, Austin TX, August 2003.
30. Schumann, J., Burlet, K. G., Pasareanu, C., Menziers, T., and Barrett, T., "Tool Support for Parametric Analysis of Large Software Simulation Systems," submitted to Automated Software Engineering Conference, L'Aquila, Italy, Sept. 2008.
31. Crespo, L. G. and Kenny, S. P., "Robust Control Design for Systems with Probabilistic Uncertainty," NASA/TP-2005-213531, March 2005.
32. Nguyen, N., and Jacklin, S. A., "Neural Net Adaptive Flight Control Stability, Verification and Validation Challenges, and Future Research," IJCNN Conference, Orland Florida, 2007.
33. Tomlin, C. and Greenstreet, M. R., editors. Hybrid Systems: Computation and Control, 5th International Workshop, HSCC 2002, Proceedings, volume 2289 of Lecture Notes in Computer Science. Springer, 2002.
34. Clarke, E. M., Fehnker, A., Han, Z., Krogh, B. H., Stursberg, O., and Theobald, M., "Verification of Hybrid Systems based on Counterexample- Guided Abstraction Refinement," in Tools and Algorithms for the Construction and Analysis of Systems, 9th Intl. Conf., TACAS 2003, pages 192-207. Springer, 2003.
35. Holzmann, G. J., The Spin Model Checker Primer and Reference Manual, Addison-Wesley, Boston, MA, 2004.
36. McMillan, K., Symbolic Model Checking. Kluwer Academic Publishers, Boston, MA, 2003.
37. Visser, W., Havelund, K., Brat, G., Park, S., and Lerda, F., Model Checking Programs, Kluwer Academic Publisher, 2002.
38. Havelund, K., "Using Runtime Analysis to Guide Model Checking of Java Programs," SPIN Model Checking and Software Verification, Vol. 1885 of Lecture Notes in Computer Science. pp. 245-264, Springer, 2000.
39. Kailath, T., Linear Systems, Prentice-Hall Information and System Sciences Series, 1979.
40. Wise, K. A., Lavretsky, E., and Hovakimyan, N., Robust and Adaptive Control Workshop, American Control Conference, Seattle, WA, June 11-13, 2008.
41. Khalil, H. K., Nonlinear Systems, Prentice Hall, 3rd Edition, 2001.
42. Slotine, J-J. E. and Li, W., Applied Nonlinear Control, Prentice Hall, New Jersey, 1991.
43. Prajna, S., Papachristodoulou, A., and Parrilo, P. A., "Introducing SOSTOOLS: A general purpose sum of squares programming solver," in Proceedings IEEE Conference on Decision and Control, 2002, available at http://www.cds.caltech.edu/sostools.
44. Prajna, S., Jadbabaie, A., and Pappas, G. J., "Stochastic Safety Verification Using Barrier Certificates," Proceedings of 43rd IEEE Conference on Decision and Control, Atlantis, Paradise Island, Bahamas, December 2004.
45. Prajna, S., and Jadbabaie, A., "Safety Verification of Hybrid Systems Using Barrier Certificates," in Hybrid Systems: Computation and Control. Heidelberg: Springer-Verlag, 2004.
46. Jacklin, S. A., Schumann, J., Bosworth, J, Williams, P., and Larson, D., "Test Results of a Tool and Method for In-Flight, Adaptive Control System Verification on a NASA F-15 Flight Research Aircraft," 7th World Congress on Computational Mechanics, Los Angeles, CA, July 2006.
47. Bosworth, J. T., and Stachowiak, S. J., "Real-Time Stability Margin Measurements for X-38 Robustness Analysis," NASA/TP-2005-212856, Feb 2005.
48. Bosworth, J. T. and Burken, J. J., "Tailored Excitation for Multivariable Stability-Margin Measurement Applied to the X-31A Nonlinear Simulation," NASA TM-113085, 1997.
49. Scherer, S., Lerda, F., and Clarke, E., "Model Checking of Robotic Control Systems," Proceedings of ISAIRAS 2005 Conference, Munich, Germany, Sept. 5-8, 2005
50. Cao, C. and Hovakimyan, N., "Design and Analysis of a Novel L1 Adaptive Control Architecture, Part I: Control Signal and Asymptotic Stability," Proceedings of American Control Conference, pages 3397-3402, Minneapolis, MN, June 2006.
51. Krishnakumar, K., Limes, G., Gundy-Burlet, K., and Bryant, D., "An Adaptive Critic Approach to Reference Model Adaptation," AIAA Guidance, Navigation, and Control Conference, AIAA-2003-5790, 2003.
52. Tao, G., Chen, S. H., Fei, J. T., and Joshi, S. M., "An Adaptive Actuator Failure Compensation Scheme for Controlling a Morphing Aircraft Model," Proceedings of the 42nd IEEE Conference on Decision and Control, Maui, Hawaii, 2003.
53. Liu, Y., Tang, X. D., Tao, G., and Joshi, S. M., "Adaptive Failure Compensation for Aircraft Tracking Control Using Engine Differential Model," Proceedings of the 2006 American Control Conference, Minneapolis, MN, June 2006.
54. Buffington, J. M., Crum, V., Krogh, B., Plaisted, C., and Prasanth, R., "Verification and Validation of Intelligent and Adaptive Control Systems," 2nd AIAA Unmanned Unlimited Systems Conference, San Diego, CA, Sept. 2003.
55. Totah, J., Krishnakumar, K., and Viken, S., "Stability, Maneuverability, and Safe Landing in the Presence of Adverse Conditions," Report of NASA Integrated Resilient Aircraft Control Project, April 13 2007.
56. Jacklin, S. A., Lowry, M. R., Hayden, S., Day, L., Hicks, K. A., and Brinza, D. E., "Vehicle and System-Level Design Considerations to Facilitate the CEV Hardware-Software Integration, V&V, and Certification Processes," NASA Ames Research Center, Intelligent Systems Division, Final Report to JSC Task 3, October, 2006.
57. ARINC Specification 653-1, "Avionics Application Software Standard Interface," Airlines Electronic Engineering Committee, October 16, 2003.
58. Williams, D. K. and Neilan, P. J., "The Role of Safety Cases in Risk Management," European Convention on Security and Detection, Brighton, UK, May 1995.
59. Handbook, Preparation and Evaluation of Safety Cases, Bentham Technical Training Course, published by Balogh International, Inc., May 1994.