메뉴 건너뛰기




Volumn , Issue , 2010, Pages

Validation and verification of future integrated safety-critical systems operating under off-nominal conditions

Author keywords

[No Author keywords available]

Indexed keywords

CONTRIBUTING FACTOR; FATAL ACCIDENTS; INTEGRATED SYSTEM TECHNOLOGY; INTEGRATED SYSTEMS; INTERVENTION STRATEGY; LOSS OF CONTROL; LOSS-OF-CONTROL ACCIDENTS; SAFE OPERATION; SAFETY CRITICAL SYSTEMS; SAFETY-CRITICAL; TECHNICAL CHALLENGES; VALIDATION AND VERIFICATION;

EID: 80051985298     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.2514/6.2010-8143     Document Type: Conference Paper
Times cited : (25)

References (71)
  • 4
    • 85088719943 scopus 로고    scopus 로고
    • On the validation of safety critical aircraft systems, part I: An overview of analytical & simulation methods
    • Belcastro, Christine M., and Belcastro, Celeste M., "On the Validation of Safety Critical Aircraft Systems, Part I: An Overview of Analytical & Simulation Methods, AIAA Conference on Guidance, Navigation, and Control, 2003.
    • (2003) AIAA Conference on Guidance, Navigation, and Control
    • Belcastro, C.M.1    Belcastro, C.M.2
  • 5
    • 85088722266 scopus 로고    scopus 로고
    • On the validation of safety critical aircraft systems, part II: An overview of experimental methods
    • Belcastro, Celeste M., and Belcastro, Christine M., "On the Validation of Safety Critical Aircraft Systems, Part II: An Overview of Experimental Methods", AIAA Conference on Guidance, Navigation, and Control, 2003.
    • (2003) AIAA Conference on Guidance, Navigation, and Control
    • Belcastro, C.M.1    Belcastro, C.M.2
  • 9
    • 0032140436 scopus 로고    scopus 로고
    • Constructing linear families from parameter-dependent nonlinear dynamics
    • Kwatny, H. G., and Chang, B.-C.: Constructing Linear Families from Parameter-Dependent Nonlinear Dynamics, IEEE Transactions on Automatic Control, vol. 43, pp. 1143-1147, 1998.
    • (1998) IEEE Transactions on Automatic Control , vol.43 , pp. 1143-1147
    • Kwatny, H.G.1    Chang, B.-C.2
  • 14
    • 0036061309 scopus 로고    scopus 로고
    • Uncertainty modeling for robustness analysis of failure detection & accommodation systems
    • Anchorage, Alaska
    • Belcastro, Christine M. and Chang, B.-C.: Uncertainty Modeling for Robustness Analysis of Failure Detection & Accommodation Systems; Proceedings of the American Control Conference, Anchorage, Alaska, 2002.
    • (2002) Proceedings of the American Control Conference
    • Belcastro, C.M.1    Chang, B.-C.2
  • 16
    • 84867768518 scopus 로고    scopus 로고
    • The Mathworks Inc., Natick MA
    • Matlab Robust Control Toolbox, The Mathworks Inc., Natick MA, 2002-2010.
    • (2002) Matlab Robust Control Toolbox
  • 17
    • 78651076696 scopus 로고    scopus 로고
    • Robustness analysis and reliable flight regime estimation of an integrated resilient control system for a transport aircraft
    • Honolulu, Hawaii, AIAA-2008-6656
    • Shin, J-Y. and Belcastro, C.: "Robustness Analysis and Reliable Flight Regime Estimation of an Integrated Resilient Control System for a Transport Aircraft," AIAA Guidance, Navigation and Control Conference, Honolulu, Hawaii, 2008, AIAA-2008-6656.
    • (2008) AIAA Guidance, Navigation and Control Conference
    • Shin, J.-Y.1    Belcastro, C.2
  • 18
    • 33845771286 scopus 로고    scopus 로고
    • Closed-loop evaluation of an integrated failure identification and fault tolerant control system for a transport aircraft
    • Keystone, CO, AIAA- 2006-6310
    • Shin, J-Y., Belcastro, C., and Khong, T. : "Closed-Loop Evaluation of An Integrated Failure Identification and Fault Tolerant Control System for a Transport Aircraft," AIAA Guidance, Navigation and Control Conference and Exhibit, Keystone, CO, AIAA-2006-6310, 2006.
    • (2006) AIAA Guidance, Navigation and Control Conference and Exhibit
    • Shin, J.-Y.1    Belcastro, C.2    Khong, T.3
  • 21
    • 0036060896 scopus 로고    scopus 로고
    • Stability analysis for reconfigurable systems with actuator saturation
    • Anchorage, AK, May 8-10
    • Bateman, A.J., Ward, D. G., Monaco, J. F., and Lin, Z., "Stability Analysis for Reconfigurable Systems with Actuator Saturation," Proc. American Control Conf., Anchorage, AK, May 8-10, 2002.
    • (2002) Proc. American Control Conf.
    • Bateman, A.J.1    Ward, D.G.2    Monaco, J.F.3    Lin, Z.4
  • 22
    • 1642379481 scopus 로고    scopus 로고
    • An analysis and design method for linear systems under nested saturation
    • Bateman, A. and Z. Lin: "An Analysis and Design Method for Linear Systems under Nested Saturation"; Systems & Control Letters, Vol. 48, No. 1, pp. 41-52, 2002.
    • (2002) Systems & Control Letters , vol.48 , Issue.1 , pp. 41-52
    • Bateman, A.1    Lin, Z.2
  • 23
    • 0036687844 scopus 로고    scopus 로고
    • An analysis and design method for discrete time linear systems under nested saturation
    • Aug.
    • Bateman, A. and Z. Lin: "An Analysis and Design Method for Discrete Time Linear Systems under Nested Saturation"; IEEE Trans. Automatic Control, Vol. 47, No. 8, Aug. 2002, pp. 1305-1310.
    • (2002) IEEE Trans. Automatic Control , vol.47 , Issue.8 , pp. 1305-1310
    • Bateman, A.1    Lin, Z.2
  • 25
    • 85089790959 scopus 로고    scopus 로고
    • Local stability analysis for uncertain nonlinear systems using a branch-and-bound algorithm
    • June
    • Topcu, U., Packard, A.K., Seiler, P., and Balas, G.J.: "Local stability analysis for uncertain nonlinear systems using a branch-and-bound algorithm", American Control Conference, June 2008, pp. 3428 - 3433.
    • (2008) American Control Conference , pp. 3428-3433
    • Topcu, U.1    Packard, A.K.2    Seiler, P.3    Balas, G.J.4
  • 28
    • 78049298753 scopus 로고    scopus 로고
    • Applications of linear and nonlinear robustness analysis techniques to the F/A-18 flight control laws
    • August, AIAA 2009-5675
    • Chakraborty, A., Seiler, P., and Balas, G.J.: "Applications of Linear and Nonlinear Robustness Analysis Techniques to the F/A-18 Flight Control Laws", AIAA Guidance, Navigation, and Control Conference, August 2009, AIAA 2009-5675.
    • (2009) AIAA Guidance, Navigation, and Control Conference
    • Chakraborty, A.1    Seiler, P.2    Balas, G.J.3
  • 30
    • 67349217772 scopus 로고    scopus 로고
    • Local stability analysis for uncertain nonlinear systems
    • May
    • Topcu, U. and Packard, A.: "Local Stability Analysis for Uncertain Nonlinear Systems", IEEE Transactions on Automatic Control, Vol. 54, No. 5, pp. 1042 - 1047, May 2009.
    • (2009) IEEE Transactions on Automatic Control , vol.54 , Issue.5 , pp. 1042-1047
    • Topcu, U.1    Packard, A.2
  • 31
    • 52949089284 scopus 로고    scopus 로고
    • Local stability analysis using simulations and sum-of-squares programming
    • September
    • Topcu, U., Packard, A.K., and Seiler, P.: "Local stability analysis using simulations and sum-of-squares programming", Automatica, Vol. 44, pp. 2669-2675, September 2008.
    • (2008) Automatica , vol.44 , pp. 2669-2675
    • Topcu, U.1    Packard, A.K.2    Seiler, P.3
  • 32
    • 70350347457 scopus 로고    scopus 로고
    • Parameter-dependent lyapunov functions for linear systems with constant uncertainties
    • October
    • Seiler, P., Topcu, U., Packard, A., and Balas, G.: "Parameter- Dependent Lyapunov Functions for Linear Systems With Constant Uncertainties", IEEE Transactions on Automatic Control, Vol. 54, No. 10, pp. 2410-2416, October 2009.
    • (2009) IEEE Transactions on Automatic Control , vol.54 , Issue.10 , pp. 2410-2416
    • Seiler, P.1    Topcu, U.2    Packard, A.3    Balas, G.4
  • 33
    • 77955181460 scopus 로고    scopus 로고
    • Decentralized state feedback design for large-scale linear systems subject to input saturation
    • to appear
    • Lu, L., Lin, Z., and Bateman, A.: "Decentralized state feedback design for large-scale linear systems subject to input saturation", IET Control Theory and Applications, to appear.
    • IET Control Theory and Applications
    • Lu, L.1    Lin, Z.2    Bateman, A.3
  • 34
    • 77549085668 scopus 로고    scopus 로고
    • A gain-based lower bound algorithm for real and mixed mu problems
    • accepted for publication
    • Seiler, P., Packard, A., and Balas, G.J.: "A gain-based lower bound algorithm for real and mixed mu problems", accepted for publication, Automatica.
    • Automatica
    • Seiler, P.1    Packard, A.2    Balas, G.J.3
  • 39
    • 0034325736 scopus 로고    scopus 로고
    • Control reconfigurability of linear time-invariant systems;
    • Wu, N. Eva, Zhou, Kemin, and Salomon, Gregory : Control reconfigurability of linear time-invariant systems; Automatica, vol.36, pp17670-1771, 2000.
    • (2000) Automatica , vol.36 , pp. 17670-21771
    • Wu, N.E.1    Zhou, K.2    Salomon, G.3
  • 42
    • 1242264922 scopus 로고    scopus 로고
    • Coverage in fault-tolerant control
    • Wu, N. Eva: Coverage in fault-tolerant control; Automatica, vol.40, pp. 537-548, 2004.
    • (2004) Automatica , vol.40 , pp. 537-548
    • Wu, N.E.1
  • 43
    • 29744447733 scopus 로고    scopus 로고
    • Reliability-based modeling and analysis of fault-tolerant flight control systems
    • Wu, N. Eva and Aydin, Oguz A.: Reliability-based modeling and analysis of fault-tolerant flight control systems; Proc. AIAA-GNC 2005.
    • (2005) Proc. AIAA-GNC
    • Wu, N.E.1    Aydin, O.A.2
  • 44
    • 0036060920 scopus 로고    scopus 로고
    • Reliability analysis for AFTI-F16 SRFCS using ASSIST and SURE
    • Wu, N. Eva, "Reliability analysis for AFTI-F16 SRFCS using ASSIST and SURE", Proc. American Control Conference, 2002.
    • (2002) Proc. American Control Conference
    • Wu, N.E.1
  • 45
    • 84867803973 scopus 로고    scopus 로고
    • Reliability-based analysis and design via failure domain bounding
    • accepted for publication
    • Crespo, L., Giesy, D., Kenny, S., "Reliability-Based Analysis and Design via Failure Domain Bounding", Journal of Safety Systems, accepted for publication.
    • Journal of Safety Systems
    • Crespo, L.1    Giesy, D.2    Kenny, S.3
  • 46
    • 0036059992 scopus 로고    scopus 로고
    • Verification and validation of neural networks for safety-critical applications
    • Anchorage, AK, May 8-10
    • Hull, J.R., D.G. Ward, "Verification and Validation of Neural Networks for Safety-Critical Applications," Proceedings of the American Control Conference, Anchorage, AK, May 8-10, 2002.
    • (2002) Proceedings of the American Control Conference
    • Hull, J.R.1    Ward, D.G.2
  • 47
    • 53349141987 scopus 로고    scopus 로고
    • A performance model for a distributed flight control system subject to random upsets
    • San Antonio, Texas
    • Gray, W. S., Wang, R., and González, O. R.: 'A Performance Model for a Distributed Flight Control System Subject to Random Upsets,' Proc. 2008 IEEE Conference on Control Applications, San Antonio, Texas, 2008, pp. 918-923.
    • (2008) Proc. 2008 IEEE Conference on Control Applications , pp. 918-923
    • Gray, W.S.1    Wang, R.2    González, O.R.3
  • 48
    • 52149098565 scopus 로고    scopus 로고
    • Stability of digital control systems implemented in error-recoverable computers
    • November
    • Tejada, A., O. R. González, and Gray, W. S.: 'Stability of Digital Control Systems Implemented in Error-Recoverable Computers,' International Journal of Control, vol. 81, no. 11, November 2008, pp. 1665-1681.
    • (2008) International Journal of Control , vol.81 , Issue.11 , pp. 1665-1681
    • Tejada, A.1    González, O.R.2    Gray, W.S.3
  • 49
    • 77957770488 scopus 로고    scopus 로고
    • Tracking performance analysis of a distributed recoverable boeing 747 flight control system subject to digital upsets
    • Baltimore, Maryland
    • Gray, W. S., Wang, R., González, O. R., and Chávez-Fuentes, J. R., "Tracking Performance Analysis of a Distributed Recoverable Boeing 747 Flight Control System Subject to Digital Upsets," Proc. 2010 American Control Conference, Baltimore, Maryland, 2010.
    • (2010) Proc. 2010 American Control Conference
    • Gray, W.S.1    Wang, R.2    González, O.R.3    Chávez-Fuentes, J.R.4
  • 50
    • 29744439890 scopus 로고    scopus 로고
    • Wind-tunnel investigation of commercial transport aircraft aerodynamics at extreme flight conditions
    • Phoenix, Arizona, November 5-7, SAE Technical Paper 2002- 01-2912
    • Shah, Gautam H., Cunningham, Kevin, Foster, John V., Fremaux, C. Michael, Stewart, Eric C., Wilborn, James E., Gato, William, and Pratt, Derek W.: Wind-Tunnel Investigation of Commercial Transport Aircraft Aerodynamics at Extreme Flight Conditions; World Aviation Congress & Display, Phoenix, Arizona, November 5-7, 2002, SAE Technical Paper 2002-01-2912.
    • (2002) World Aviation Congress & Display
    • Shah, G.H.1    Cunningham, K.2    Foster, J.V.3    Fremaux, C.M.4    Stewart, E.C.5    Wilborn, J.E.6    Gato, W.7    Pratt, D.W.8
  • 51
    • 29344465689 scopus 로고    scopus 로고
    • Simulation study of a commercial transport airplane during stall and post-stall flight
    • Reno, Nevada, SAE Technical Paper 2004- 01-3100
    • Cunningham, Kevin, Foster, John V., Shah, Gautam H., Stewart, Eric C., Rivers, Robert A., Wilborn, James E., and Gato, William: Simulation Study of a Commercial Transport Airplane During Stall and Post-Stall Flight; World Aviation Congress, Reno, Nevada, 2004, SAE Technical Paper 2004-01-3100.
    • (2004) World Aviation Congress
    • Cunningham, K.1    Foster, J.V.2    Shah, G.H.3    Stewart, E.C.4    Rivers, R.A.5    Wilborn, J.E.6    Gato, W.7
  • 55
    • 43649097970 scopus 로고    scopus 로고
    • Modeling projectile damage in transport aircraft wing structures
    • AIAA-26374-357, February
    • Hinrichsen, Ronald L., Kurtz, Alex G., Wang, John T., Belcastro, Christine M., and Parks, Jeffrey L.: Modeling Projectile Damage in Transport Aircraft Wing Structures; AIAA Journal, Vol. 46, No. 2, pp. 328 - 335, AIAA-26374-357, February, 2008.
    • (2008) AIAA Journal , vol.46 , Issue.2 , pp. 328-335
    • Hinrichsen, R.L.1    Kurtz, A.G.2    Wang, J.T.3    Belcastro, C.M.4    Parks, J.L.5
  • 65
    • 77957801831 scopus 로고    scopus 로고
    • A flight control system architecture for the NASA AirSTAR test infrastructure
    • Murch, Austin M.: A Flight Control System Architecture for the NASA AirSTAR Test Infrastructure; AIAA Guidance, Navigation, and Control Conference, 2008.
    • (2008) AIAA Guidance Navigation and Control Conference
    • Murch, A.M.1
  • 67
    • 78651103026 scopus 로고    scopus 로고
    • NASA langleys AirSTAR testbed a subscale flight test capability for flight dynamics and control system experiments
    • Honolulu, HI
    • Jordan, Thomas L., Bailey, Roger M.; NASA Langleys AirSTAR Testbed A Subscale Flight Test Capability for Flight Dynamics and Control System Experiments, AIAA-2008-6660, AIAA Guidance, Navigation and Control Conference, Honolulu, HI, 2008.
    • (2008) AIAA-2008-6660, AIAA Guidance, Navigation and Control Conference
    • Jordan, T.L.1    Bailey, R.M.2
  • 69
    • 16244402771 scopus 로고    scopus 로고
    • Ensuring control integrity of critical systems subjected to electromagnetic disturbances: Problem overview
    • Philadelphia PA, June
    • Belcastro, Celeste M., "Ensuring Control Integrity of Critical Systems Subjected to Electromagnetic Disturbances: Problem Overview", Proceedings of the American Control Conference, Philadelphia PA, June 1998
    • (1998) Proceedings of the American Control Conference
    • Belcastro, C.M.1
  • 70
    • 0036059067 scopus 로고    scopus 로고
    • Sistributed detection with data fusion for malfunction detection and isolation in fault tolerant flight control computers
    • Anchorage, Alaska, June
    • Belcastro, Celeste M., and Weinstein, B.: Sistributed Detection with Data Fusion for Malfunction Detection and Isolation in Fault Tolerant Flight Control Computers; Proceedings of the American Control Conference, Anchorage, Alaska, June 2002.
    • (2002) Proceedings of the American Control Conference
    • Belcastro, C.M.1    Weinstein, B.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.