Smart Icing Systems Research Organization Technologies Core Aerodynamcs Control and Aircraft Flight Human and Sensor Icing Mechanics Factors Propulsio

Similar documents
Aerodynamics and Flight Mechanics

Aerodynamics and Flight Mechanics

FAULT DETECTION AND FAULT TOLERANT APPROACHES WITH AIRCRAFT APPLICATION. Andrés Marcos

Übersetzungshilfe / Translation aid (English) To be returned at the end of the exam!

Aerodynamics and Flight Mechanics

Flight Test Data Analysis

Basic Concepts in Data Reconciliation. Chapter 6: Steady-State Data Reconciliation with Model Uncertainties

Sensor Tasking and Control

L06. LINEAR KALMAN FILTERS. NA568 Mobile Robotics: Methods & Algorithms

6.435, System Identification

CHAPTER 1. Introduction

Predictive Control of Gyroscopic-Force Actuators for Mechanical Vibration Damping

Aerodynamics and Flight Mechanics

Kalman Filter. Predict: Update: x k k 1 = F k x k 1 k 1 + B k u k P k k 1 = F k P k 1 k 1 F T k + Q

Fundamentals of Airplane Flight Mechanics

Linear System Theory. Wonhee Kim Lecture 1. March 7, 2018

14 - Gaussian Stochastic Processes

LQR, Kalman Filter, and LQG. Postgraduate Course, M.Sc. Electrical Engineering Department College of Engineering University of Salahaddin

Signal Denoising with Wavelets

Übersetzungshilfe / Translation aid (English) To be returned at the end of the exam!

Modeling and Control Overview

ECE276A: Sensing & Estimation in Robotics Lecture 10: Gaussian Mixture and Particle Filtering

Exam. 135 minutes, 15 minutes reading time

Experimental Aircraft Parameter Estimation

Dynamics and Control of Rotorcraft


What is flight dynamics? AE540: Flight Dynamics and Control I. What is flight control? Is the study of aircraft motion and its characteristics.

I. D. Landau, A. Karimi: A Course on Adaptive Control Adaptive Control. Part 9: Adaptive Control with Multiple Models and Switching

Chapter 2 Review of Linear and Nonlinear Controller Designs

VIII. Coherence and Transfer Function Applications A. Coherence Function Estimates

Analog Signals and Systems and their properties

DERIVATIVE FREE OUTPUT FEEDBACK ADAPTIVE CONTROL

Prüfung Regelungstechnik I (Control Systems I) Übersetzungshilfe / Translation aid (English) To be returned at the end of the exam!

Aircraft Flight Dynamics Robert Stengel MAE 331, Princeton University, 2018

Secure Control Against Replay Attacks

Aircraft Flight Dynamics!

A SIMPLIFIED ANALYSIS OF NONLINEAR LONGITUDINAL DYNAMICS AND CONCEPTUAL CONTROL SYSTEM DESIGN

Condensed Table of Contents for Introduction to Stochastic Search and Optimization: Estimation, Simulation, and Control by J. C.

FAULT-TOLERANT CONTROL OF CHEMICAL PROCESS SYSTEMS USING COMMUNICATION NETWORKS. Nael H. El-Farra, Adiwinata Gani & Panagiotis D.

Stochastic and Adaptive Optimal Control

Chapter 1 Fundamental Concepts

Envelopes for Flight Through Stochastic Gusts

9 Multi-Model State Estimation

Modeling and Analysis of Dynamic Systems

Cautious Data Driven Fault Detection and Isolation applied to the Wind Turbine Benchmark

System Identification: From Data to Model

Nonlinear Observers. Jaime A. Moreno. Eléctrica y Computación Instituto de Ingeniería Universidad Nacional Autónoma de México

Linearized Equations of Motion!

Why Should You Consider a Freezing Point Depressant Ice Protection System? Icing Certification Present and Future. CAV Aerospace Limited

NONLINEAR INTEGRAL MINIMUM VARIANCE-LIKE CONTROL WITH APPLICATION TO AN AIRCRAFT SYSTEM

On Input Design for System Identification

Aircraft Icing. FAR 25, Appendix C charts. Prof. Dr. Serkan ÖZGEN. Dept. Aerospace Engineering, METU Fall 2015

11. Further Issues in Using OLS with TS Data

Problem 1: Ship Path-Following Control System (35%)

Kalman Filter and Parameter Identification. Florian Herzog

Statistical signal processing

Aircraft Design I Tail loads

FLIGHT DYNAMICS. Robert F. Stengel. Princeton University Press Princeton and Oxford

Nonlinear State Estimation! Extended Kalman Filters!

ELEC system identification workshop. Behavioral approach

Estimation, Detection, and Identification CMU 18752

Dual Estimation and the Unscented Transformation

This homework will not be collected or graded. It is intended to help you practice for the final exam. Solutions will be posted.

Probabilistic Graphical Models

Time Series Analysis

Unsupervised Learning Methods

ADAPTIVE FILTER THEORY

H 2 Optimal State Feedback Control Synthesis. Raktim Bhattacharya Aerospace Engineering, Texas A&M University

Flight Test Results for Circular Path Following by Model Predictive Control

Exam. 135 minutes + 15 minutes reading time

1 Kalman Filter Introduction

Modeling and Analysis of Dynamic Systems

EE 565: Position, Navigation, and Timing

Duration-Based Volatility Estimation

Chap 4. State-Space Solutions and

7 Day 3: Time Varying Parameter Models

Mini-Course 07 Kalman Particle Filters. Henrique Massard da Fonseca Cesar Cunha Pacheco Wellington Bettencurte Julio Dutra

State Estimation using Moving Horizon Estimation and Particle Filtering

ANALYSIS OF THE USE OF LOW-PASS FILTERS WITH HIGH-GAIN OBSERVERS. Stephanie Priess

Intelligent Control. Module I- Neural Networks Lecture 7 Adaptive Learning Rate. Laxmidhar Behera

Introduction to Flight Dynamics

REGLERTEKNIK AUTOMATIC CONTROL LINKÖPING

Kalman-Filter-Based Time-Varying Parameter Estimation via Retrospective Optimization of the Process Noise Covariance

Evaluation of different wind estimation methods in flight tests with a fixed-wing UAV

A Tutorial on Recursive methods in Linear Least Squares Problems

Riccati difference equations to non linear extended Kalman filter constraints

Autopilot Analysis and EP Scheme for the Twin Otter under Iced Conditions.

Chapter 4 The Equations of Motion

New Developments in Tail-Equivalent Linearization method for Nonlinear Stochastic Dynamics

Data-driven methods in application to flood defence systems monitoring and analysis Pyayt, A.

A Free Wake Linear Inflow Model Extraction Procedure for Rotorcraft Analysis

Nonlinear buffeting response of bridge deck using the Band Superposition approach: comparison between rheological models and convolution integrals.

MECH 6091 Flight Control Systems Final Course Project

Development of a Pilot Model for Air-to-Surface Tracking from Flight Test Data

2. What are the tradeoffs among different measures of error (e.g. probability of false alarm, probability of miss, etc.)?

Nonlinear State Estimation Methods Overview and Application to PET Polymerization

6.435, System Identification

Power Systems Control Prof. Wonhee Kim. Modeling in the Frequency and Time Domains

Tracking and Identification of Multiple targets

Aircraft Stability & Control

Transcription:

Flight Controls and Sensors Investigators: Tamer Baοsar (CSL/ECE) Principal Perkins Λ (CSL/ECE) William Petros Voulgaris (CSL/AAE) Graduate Students: Li (NASA Support) Wen Melody Λ (CRI Support) James Eric Schuchard (Fellowship) Undergrad Students: Keller (NSF Support) Eric Hillbrand (Fellowship) Thomas Eduardo Salvador (NSF Support) * presenting 4-

Smart Icing Systems Research Organization Technologies Core Aerodynamcs Control and Aircraft Flight Human and Sensor Icing Mechanics Factors Propulsion Integration Technology IMS Functions Characterize Operate and Envelope Adaptive Icing Effects Monitor IPS Protection Control Safety and Economics Simulation Flight Demonstration Trade Study 4-2

Flight Controls and Sensors Develop fast and reliable methods and algorithms for inflight ) of aircraft flight dynamics. identification based on the identified parameters. Evaluate performance methods to timeliness and accuracy of icing characterization. according Improve the safety of aircraft in icing conditions. Goal: smart systems to improve ice tolerance. Develop Objectives: Develop robust ice detection and classification methods and algorithms 2) that incorporate identified parameters and other avail- sensor information. able Investigate utility of control reconfiguration to maintain flight 3) characteristics in the presence of icing. Approach: Apply existing parameter identification techniques to parameter identification of flight dynamics. Investigate detection 4-3

Smart Icing Systems Research Longitudinal LTI Detection Dynamics Longitudinal LTI ID Dynamics and Drag Sensor Integration Charact. Longitudinal LTV Detection Dynamics Longitudinal LTV ID Dynamics Dynamics Nonlinear Development - Linear, Time-Invariant LTI - Linear, Time-Varying LTV 6-axis Nonlinear Detection Dynamics 6-axis Nonlinear ID Dynamics Adaptation/Handling Recovery Event CONTROL AND SENSOR THE GROUP INTEGRATION Eric Keller, Eduardo Salvador, Prof. Baοsar Thomas Hillbrand, Prof. Baοsar Wen Li, Prof. Voulgaris Characterizaton Jim Melody, Prof. Baοsar Eric Schuchard, Prof. Perkins Flight Simulation Adaptation 4-4

Flight Controls and Sensors Outline Recursive Algorithm: H Ice detection & characterization overview Identification during maneuver Batch Algorithm Recursive Algorithm: EKF Neural network detection & classification during maneuver Identification during steady level flight Summary & Conclusions Future Plans 4-5

Ice Characterization Block Diagram ID Algorithm(s) Detection Ice Sensor Fusion & Prot Envelope IPS I/F & Flight χ parameters Controller ^χ parameter estimates Flight Pilot input + Dynamics output (depend on χ) ^χ Pilot IPS IMS other sensors 4-6

Icing Characterization Philosophy Icing detection will also incorporate aerodynamic sensors steady-state characterization hinge moment sensing ) Sensor Integration Icing matters to the extent that it affects the flight dynamics. Effect of icing on flight dynamics is captured by parameter χ. By observing behavior of dynamics, can infer the value of χ Parameter Identification (ID) ) From estimated parameter ^χ(t), detect and classify icing effects. external environmental sensors Inform pilot of icing directly and via envelope protection 4-7

Longitudinal Flight Dynamics Model u forward velocity w downward velocity where angle of attack q pitch rate ff pitch angle ffi E elevator angle trim conditions (i.e., linearization point) U, -7.86-0.44-3.055-378.7-40.30-9.70 3.7-0.08 Clean -7.08-9.40-2.948-342.7-36.45-9.43 3.90-0.020 Iced Linearized model of longitudinal flight dynamics _u = g cos( ) +(X u + X Tu )u + X ff ff + X ffie ffi E _w Uq = g sin( ) + Z u u + Z ff ff + Z _ff _ff + Z q q + Z ffie ffi E _q = M u u + M Tu u + M ff ff + M Tff ff + M _ff _ff + M q q + M ffie ffi E and fm Λ, Z Λ, X Λ g are stability and control (S/C) derivatives. v.0 clean and iced ( ice = ) S/C derivatives: Model ff M ffie M q Z ff Z ffie Z q X ff X u + X Tu M other derivatives are invariant to icing. Extensive simulation for this model has shown that only M ff, M ffie, and possibly M q are useful for icing characterization. 4-8

x + n = x = [q ff u] T state where v = ffi E n(t) represents inaccuracies in the measurement, instrument accuracy limitations e.g., w(t) represents unknown excitation of the flight dynamics, turbulence, modeling error e.g., unknown exogenous signals n(t) and w(t) limit accurately of parameter estimated ID Framework Parameter Review May 8-9, 999 NASA Smart Icing Systems Let χ := [M ff ; M ffi E ; M q; Z ff ; Z ffi E ; Z q; X ff ; (X u + X T u )]T parameters to identify and convert flight dynamics to be _x = A(x; v)χ + b(x; v) + w z input measured output z state disturbance (a.k.a., process noise) w measurement noise n system excitation is necessary for identification 4-9

Parameter ID Algorithm Categorization Given some information, Ω, (e.g., input, output, and Objective: measurements) identify χ accurately in the presence of w and n. state solve matrix equation no solution when dim(x)» dim(χ) Batch algorithms: static algorithms that process measurements batches: ^χ(t m ) depends on Ω ft mk ; ::: ;t m ;t mg in Recursive algorithms: parameter estimate is based on past and measurements: ^χ(t) depends on Ω [0;t] present characterized by differential equations with i.c.'s convergence rate is a function of excitation level Static algorithms: parameter estimate at any instant, ^χ(t n ), is solely on measurements at that instant, Ω t n. based noise sensitivity depends on excitation level and batch period 4-0

Full state derivative information (FSDI): input, state, and state derivative are available, Noise perturbed full-state information (NPFSI): input and noisy measurement state are available, of Noise perturbed partial-state information (NPPSI): input and noisy of only part of the state are available measurement Parameter ID Information Structures ID algorithm depends on type of information available Ω t := (x(t); _x(t);u(t)) i.e., n = 0 and ( _q, _ff, _u) and (q,, ff, u) are measured Full state information (FSI): input and state are available, Ω t := (x(t);u(t)) i.e., n = 0 and (q,, ff, u) are measured Ω t := (z(t);u(t)) i.e., n 6= 0 Ω t := (z(t);u(t)) where z = Cx + n, e.g., ff is not measured. 4-

n and w are zero-mean white Gaussian noise, hence Assume: characterized by their covariances completely only ff is directly affected. ) Assume noise covariance equal to energy of _ff for a 5 ffi doublet ff _q ff q ff _ff ff _u ff q ff ff ff ff u Characterization Noise Review May 8-9, 999 NASA Smart Icing Systems of w: Covariance Consider turbulence as a vertical velocity perturbation 0 ffi /s 2 0 ffi /s 0.026 ffi /s 0 knot/s of n: Covariance Instrument resolution specifications for NASA Twin Otter: 0.067 ffi /s 0.0293 ffi 0.003 ffi 0.076 knot 4-2

Identification during Maneuver Longitudinal LTI Detection Dynamics Longitudinal LTI ID Dynamics and Drag Sensor Integration Charact. Longitudinal LTV Detection Dynamics Longitudinal LTV ID Dynamics Dynamics Nonlinear Development - Linear, Time-Invariant LTI - Linear, Time-Varying LTV 6-axis Nonlinear Detection Dynamics 6-axis Nonlinear ID Dynamics Adaptation/Handling Recovery Event CONTROL AND SENSOR THE GROUP INTEGRATION Eric Keller, Eduardo Salvador, Prof. Baοsar Thomas Hillbrand, Prof. Baοsar Wen Li, Prof. Voulgaris Characterizaton Jim Melody, Prof. Baοsar Eric Schuchard, Prof. Perkins Flight Simulation Adaptation 4-3

Icing Scenario Maneuver Review May 8-9, 999 NASA During a period of steady level flight, ice accretes but lack of limits parameter ID effectiveness. excitation Afterwards, a maneuver is performed during which parameter ID place. takes Begin ID simulations at beginning of maneuver Parameters assumed constant over the maneuver Maneuver is modeled as an elevator doublet Use simple threshold (mean of clean and iced parameters) for Smart Icing Systems Icing Scenario: Model of Scenario: and dirty evaluation of algorithms quick Must also consider ID of clean aircraft for false alarms" Question: Is there a reliable indication of icing in a reasonable amount of time? 4-4

Static Least-Squares FSDI ID Assume that _x(t), x(t), and u(t) are known, and take w(t) equal its mean, i.e., w(t) 0. to At each time instant, t, we have the system of n linear equations r unknowns, χ: in A(x t ;v t )χ = _x t b(x t ;v t ) () where x t 2 IR n and χ 2 IR r. Solve directly for ^χ(t) using matrix least squares: ^χ = h A T Ai AT ( _x t b) (2) Solution will not exist if the rank of A is less than r, e.g., if r > n. 4-5

Batch Least-Squares FSDI ID t ;v t )χ = _x t b(x t ;v t ) A(x t2 ;v t2 )χ = _x t2 b(x t2 ;v t2 ) A(x. tm ;v tm )χ = _x tm b(x tm ;v tm ) A(x 9 >= >; ) A m χ = _X m B m Excitation ) nondegenerate equations for t, t2, :::, t m rank of A m is r with sufficient number of measurements, m. ) ^χ(t m ) = A T m A m Λ A T m _ X m B m If the system is poorly excited, or if the batch period is small, the error can very sensitive to w. be Collect several measurements in batch and concatenate equations Solve directly for ^χ(t m ) using matrix least squares: By including disturbances, the error in the estimate, ~χ(t m ), is given by ~χ(t m ) = A T m A mλ A T m W m with W T m := w(t) T w(t2) T w(t m ) T Λ. 4-6

Batch Least-Squares FSI ID With x(t) and v(t) known, integration yields x = μ At χ + μ bt + μw t where t = A(x(t);v(t)), _ μ bt = b(x(t);v(t)), and _μw t = w(t). _μa Then ~χ = μ A T μa Λ μa t χ = x t μ bt. tm χ = x tm μ btm μa ; ) μ Aχ = X μ B NPFSI? use measurement z in place of x, but sensitive to measurement noise. ) Extend to FSI case via integrating prefilter. Pure integrator is not stable. In order to stabilize, include pole at < 0 t = μ At + A(x(t);v(t)); μ Affi = 0 _μa t = μ bt + b(x(t);v(t)); μ bffi = x ffi _μb Apply matrix LS to prefiltered equation 9 = μ AT W where W is concatenated prefiltered noise _μw t = μw t + w(t); μw ffi = 0 4-7

LS Results: Clean & Iced w/ no Batch Noise Measurement Smart Icing Systems Batch LS FSI Algorithm with T b = 8 s, = 0, and sampling rate 30 Hz 5 ffi doublet maneuver over 0 seconds with process noise but no measurement noise.2.2 Iced Aircraft Clean Aircraft.5.5 Normalized Estimates..05 0.95 0.9 M ff M ffi E Normalized Estimates..05 0.95 0.9 M ff M ffi E 0.85 0.85 0.8 0 2 3 4 5 6 7 8 9 0 0.8 0 2 3 4 5 6 7 8 9 0 time (s) time (s) Notice: A reliable indication of icing is not given for either M ffi E or M ff. 4-8

LS Results: Clean & Iced w/ no Batch Noise Measurement Smart Icing Systems Batch LS FSI Algorithm with T b = 8 s, = 0, and sampling rate 30 Hz ffi doublet maneuver over 0 seconds with process noise but no measurement noise.2.2 Clean Aircraft Iced Aircraft Normalized Estimates.5..05 0.95 0.9 0.85 M ffi E Normalized Estimates.5..05 0.95 0.9 0.85 M ffi E M ff 0.8 0 2 3 4 5 6 7 8 9 0 M ff 0.8 0 2 3 4 5 6 7 8 9 0 time (s) time (s) Notice: A reliable indication of icing is not given for either M ffi E or M ff. 4-9

LS Results: Clean & Iced w/ no Batch Noise Measurement Smart Icing Systems Batch LS FSI Algorithm with T b = 8 s, = 0, and sampling rate 30 Hz 5 ffi doublet maneuver over 0 seconds with process noise reduced by a factor of 00 in energy and no measurement noise.2.2 Iced Aircraft Clean Aircraft.5.5 Normalized Estimates..05 0.95 0.9 M ff M ffi E Normalized Estimates..05 0.95 0.9 M ff M ffi E 0.85 0.85 0.8 0 2 3 4 5 6 7 8 9 0 0.8 0 2 3 4 5 6 7 8 9 0 time (s) time (s) Notice: A reliable indication of icing for both M ffi E and M ff is available in s. 4-20

Recursive Parameter ID Algorithms guaranteed disturbance attenuation between disturbances and parameter error estimation persistency of excitation results in asymptotic convergence of estimate time-invariant parameters for Extended Kalman filter (EKF): augment the state with the parameters and estimate this augmented state can accommodate both state disturbance and measurement noise estimate may diverge, a.k.a. lose lock" can be generalized to time-varying parameters very common in practice H identification: generalization of recursive least-squares (RLS) and least-mean-squares (LMS) can accommodate both state disturbance and measurement noise can be generalized to time-varying parameters 4-2

H FSDI Algorithm Guaranteed disturbance attenuation level fl for any fl greater than some fl Λ where k k Q _^χ = ± A(x; v) T [ _x A(x; v)^χ b(x; v)] ; ^χ(0) = ^χ ffi _± = A(x; v) T A(x; v) fl 2 Q(x; u); ±(0) = Q ffi However, Q(x; v) := A(x; v) T A(x; v) fl Λ = fl = ) generalized LMS estimator: ) = Q ffi A(x; v)t [ _x A(x; v)^χ b(x; v)] _^χ Smart Icing Systems 2 kχ ^χkq(x;v) ^χ 2 j 2» fl 2 Q kwk jχ ffi + ffi is an L 2 norm with a chosen weighting function Q(x; v) 0 and j j Qffi is a weighted Euclidean norm with Q ffi > 0. x, _x, and v are known. For fl > fl Λ parameter estimate ^χ is given by where ±(t) 2 IR r r. Generally, fl Λ is unknown and may be infinite. If fl " the limiting filter is the RLS estimator. 4-22

» _^x _^χ NPFSI Algorithm H Review May 8-9, 999 NASA» A 0 0 0» I 0 0 fl 2 Q + ± It can be shown that Q := ± T 2 ± 2 yields fl Λ =, where ± 2 2 IR n r is off-diagonal of ±. portion Smart Icing Systems input is known, but only noisy state measurement z = x + n is available. Guaranteed disturbance attenuation level fl > fl Λ, 2 kχ ^χkq(x;v) 2 + jχ ^χ 2 j 2 Q kwk + jx ffi ^x ffi j 2» fl 2 P + knk ffi ffi ffi where x ffi is actual initial state, ^x ffi is initial state estimate, and P ffi > 0. Both the state and the parameter must be estimated. For fl > fl Λ : b 0 I 0» ^x^χ» + ±» = (z ^x) ; + ±; 0 A 0 0 ±» = _±» 0 0 T 0 A I 0 0 0 ±» with ±(t) 2 IR (n+r) (n+r) and ±(0) = diag(p ffi ;Q ffi ). 4-23

Recursive H : Iced, No Measurement Noise Using simple threshold, both M ff and M ffi E Notice: indication in < s. give H FSDI Algorithm with fl = 3 and Q ffi = ( 0 6 )I 5 ffi doublet maneuver over 0 seconds with process noise but no measurement noise.2 Normalized Estimates.5..05 M ffi E M ff 0.95 0.9 0 5 0 5 time (s) 4-24

Recursive H : Clean, No Measurement Noise Notice: M ff and M ffi E H FSDI Algorithm with fl = 3 and Q ffi = ( 0 6 )I 5 ffi doublet maneuver over 0 seconds with process noise but no measurement noise false alarm scenario with various initial parameter estimation errors.03 ff parameter estimates M ffi E M.03 parameter estimates.02.02 Normalized Estimate.0 0.99 0.98 0.97 0.96 0.95 Normalized Estimate.0 0.99 0.98 0.97 0.96 0.95 0.94 0.94 0.93 0 5 0 5 0.93 0 5 0 5 time (s) time (s) estimates never yield false alarms using simple detection threshold. 4-25

M ffi E Using simple threshold, both M ff and M ffi E Notice: indication in < s. give Recursive H : Iced, w/ Measurement Noise H NPFSI Algorithm with fl = 3 and Q ffi = ( 0 7 )I 5 ffi doublet maneuver over 0 seconds with process noise and measurement noise.25 Normalized Estimates.2.5..05 M ff 0.95 0.9 0 5 0 5 time (s) 4-26

Notice: M ff and M ffi E Recursive H : Clean, w/ Measurement Noise H NPFSI Algorithm with fl = 3 and Q ffi = ( 0 7 )I 5 ffi doublet maneuver over 0 seconds with process noise and measurement noise false alarm scenario with various initial parameter estimation errors.03 ff parameter estimates M ffi E M.03 parameter estimates.02.02 Normalized Estimate.0 0.99 0.98 0.97 0.96 0.95 Normalized Estimate.0 0.99 0.98 0.97 0.96 0.95 0.94 0.94 0.93 0 5 0 5 0.93 0 5 0 5 time (s) time (s) estimates never yield false alarms using simple detection threshold. 4-27

Using simple threshold, both M ff and M ffi E Notice: give indication in < s. again Recursive H : Iced, w/ Measurement Noise H NPFSI Algorithm with fl = 3 and Q ffi = ( 0 7 )I ffi doublet maneuver over 0 seconds with process noise and measurement noise.25 Normalized Estimates.2.5..05 0.95 M ffi E M ff 0.9 0 5 0 5 time (s) 4-28

Notice: M ff Notice: M ffi E Recursive H : Clean, w/ Measurement Noise H NPFSI Algorithm with fl = 3 and Q ffi = ( 0 7 )I ffi doublet maneuver over 0 seconds with process noise and measurement noise false alarm scenario with various initial parameter estimation errors.03 ff parameter estimates M ffi E M.03 parameter estimates.02.02 Normalized Estimate.0 0.99 0.98 0.97 0.96 0.95 Normalized Estimate.0 0.99 0.98 0.97 0.96 0.95 0.94 0.94 0.93 0 5 0 5 0.93 0 5 0 5 time (s) time (s) gives false alarm for large estimates never cross the initial estimation errors. threshold. 4-29

Recursive EKF ID Algorithm Kalman filter provides state estimate. Recast the parameter ID problem into state estimation problem: a In the Kalman filter framework, the state disturbance, measurement noise, initial state, y ffi, are assumed to be Gaussian with: and fw(t)g 0 E fn(t)g 0 E fn(t);n(fi)g = R(t)ffi(t fi) cov fy ffi ;y ffi g = Q ffi cov w(t) and n(t) are assumed to be uncorrelated: Furthermore, fw(t);n(fi)g 0 cov For linear systems Kalman filter provides minimum-variance, unbiased state estimate.» w 0 _x = Aχ + b + w )» 8 x y := >< χ ) v)χ + b(x; v) A(x; 0 _y =» + _χ = 0 >: z = [I 0] y + n E fy ffi g = μy ffi cov fw(t);w(fi)g = P (t)ffi(t fi) However, augmented system is always nonlinear ) extended Kalman filter. 4-30

Extended Kalman filter: linearize the system about an estimated (augmented) trajectory. state» v)^χ + b(^x;v) A(^x; 0» (t) 0 ^P 0 0 " @ A(^x; v)^χ + @ @^x b(^x; v) 0 @^x ^R(t) = R(t); ^P (t) = P (t); & ±(0) = Qffi Recursive EKF ID Algorithm (cont'd) The resulting algorithm is: _^y = + ±(t)h T ^R(t) [z H^y] _±(t) = D(^y; v)±(t) +±(t)d(^y; v) T + μ P (t) ±(t)h T ^R(t) H±(t) where, ± 2 IR (n+r) (n+r), H = [I 0], # μp (t) = ; and; D(^y; v) = A(^x; v) T 0 For a linear system, ^P (t) = P (t) and ^R(t) = R(t) optimal, but not for a nonlinear system. Hence, ^P (t) = ^P (t)t 0, are = ^R(t) T > 0, and Q ffi = Q T ffi 0 are used as algorithm design parameters. ^R(t) 4-3

Using the simple threshold, both Notice: ff and M ffi E give an indication in < 2 s. M Recursive EKF Results: Iced EKF Algorithm with ^P (t) 0:I and ^R(t) ( 0 5 )I 5 ffi doublet maneuver over 0 seconds with process noise and measurement noise.25 Normalized Estimates.2.5..05 0.95 M ff M ffi E 0.9 0 5 0 5 time (s) 4-32

Recursive EKF Results: Clean EKF Algorithm with ^P (t) 0:I and ^R(t) ( 0 5 )I 5 ffi doublet maneuver over 0 seconds with process noise and measurement noise false alarm scenario with various initial parameter estimation errors M ff parameter estimates M ffie parameter estimates.25.06.2.04 Normalized Estimate.5..05 0.95 0.9 Normalized Estimate.02 0.98 0.96 0.94 0.92 0.85 0.9 0.8 0 5 0 5 0.88 0 5 0 5 time (s) time (s) Notice: Using simple threshold, both M ff and M ffie give false alarms for all initial errors. 4-33

Notice: Using simple threshold, only M ffie Recursive EKF Results: Iced EKF Algorithm with ^P (t) 0:I and ^R(t) ( 0 5 )I ffi doublet maneuver over 0 seconds with process noise and measurement noise.25 Normalized Estimates.2.5..05 0.95 M ff M ffie 0.9 0 5 0 5 time (s) yields a reliable indication of icing. 4-34

Recursive EKF Results: Clean EKF Algorithm with ^P (t) 0:I and ^R(t) ( 0 5 )I ffi doublet maneuver over 0 seconds with process noise and measurement noise false alarm scenario with various initial parameter estimation errors M ff parameter estimates M ffie parameter estimates.5.5 Normalized Estimate..05 0.95 0.9 0.85 Normalized Estimate..05 0.95 0.8 0 5 0 5 0.9 0 5 0 5 time (s) time (s) Notice: Using simple threshold, both M ff and M ffie give false alarms for all initial errors. 4-35

Detection and Classification during Maneuver Longitudinal LTI Detection Dynamics Longitudinal LTI ID Dynamics and Drag Sensor Integration Charact. Longitudinal LTV Detection Dynamics Longitudinal LTV ID Dynamics Dynamics Nonlinear Development - Linear, Time-Invariant LTI - Linear, Time-Varying LTV 6-axis Nonlinear Detection Dynamics 6-axis Nonlinear ID Dynamics Adaptation/Handling Recovery Event CONTROL AND SENSOR THE GROUP INTEGRATION Eric Keller, Eduardo Salvador, Prof. Baοsar Thomas Hillbrand, Prof. Baοsar Wen Li, Prof. Voulgaris Characterizaton Jim Melody, Prof. Baοsar Eric Schuchard, Prof. Perkins Flight Simulation Adaptation 4-36

Given parameter estimate, ^χ(t), and other sensor information, reliably Objective: the presence of icing and classify its severity in a timely manner. detect Train neural networks (NN) to recognize correlations between parameter estimates, other sensor information, and icing. NN will take advantage of trends in parameter estimates, improving over detection. threshold Detection and Classification Formulation Approach: Activate the NN at beginning of maneuver Feed batch of sampled parameter estimates to NN. Use separate detection and classification networks for efficiency Results to date: NN have been applied to H NPFSI identification. Other sensor information has not yet been incorporated. 4-37

NN are layered networks of interconnected nodes. Nodes ) activation functions, lines ) weights, multiple lines are summed. Weighted sum of inputs to node plus a bias are input to activation function. sigmoidal activation functions are used. Often, For a given structure (# of layers and nodes) training refers to optimization biases and weights based on a suite of test cases. of NN are general enough to recognize complex nonlinear relationships, such as our sensor information and icing. between Networks Neural Review May 8-9, 999 NASA Smart Icing Systems Neural Network Sigmoidal Activation Function 0.8 Output Nodes 0.6 0.4 0.2 0 0.2 0.4 0.6 0.8 Input Nodes 2.5 0.5 0 0.5.5 2 Sigmoidal activation functions generalize discrete switching. 4-38

For detection based on parameter estimates alone, NN will take advantage any consistent temporal patterns in parameter estimates. of If no consistent trends, NN will not perform better than thresholding at the estimate sample. final Evaluate consistency of trends by running same simulations for various noise realizations: Neural Network vs. Threshold.6.2 Recursive H NPFSI M ffie estimates Batch LS M ffie parameter estimates Normalized Estimate.4.2..08.06.04.02 0.98 Normalized Estimate.5..05 0.95 0.9 0.85 0.96 0 5 0 5 0.8 0 2 3 4 5 6 7 8 9 0 time (s) time (s) 4-39

Network Results Detection five seconds of M ffie and M ff estimates as input using Recursive H Detection Network elevator input doublets varying from ffi to 0 ffi and from 5s to 5s 0.9 Actual Icing Level ice 0.8 0.7 0.6 0.5 0.4 0.3 0.2 mark fl indication clean iced 0. ψ smaller amplitude doublets 0 0 0 20 30 40 50 60 70 80 90 00 0 simulation case # 4-40

Classification Network Results Four-level five seconds of M ffie and M ff estimates as input using Recursive H Classification Network elevator input doublets varying from ffi to 0 ffi and from 5s to 5s 0.9 Actual Icing Level ice 0.8 0.7 0.6 0.5 0.4 0.3 0.2 mark ice class. 0 fl /3 2 2/3 + Λ 0. ψ smaller amplitude doublets 0 0 0 20 30 40 50 60 70 80 90 00 0 simulation case # 4-4

Identification during Steady-Level Flight Longitudinal LTI Detection Dynamics Longitudinal LTI ID Dynamics and Drag Sensor Integration Charact. Longitudinal LTV Detection Dynamics Longitudinal LTV ID Dynamics Dynamics Nonlinear Development - Linear, Time-Invariant LTI - Linear, Time-Varying LTV 6-axis Nonlinear Detection Dynamics 6-axis Nonlinear ID Dynamics Adaptation/Handling Recovery Event CONTROL AND SENSOR THE GROUP INTEGRATION Eric Keller, Eduardo Salvador, Prof. Baοsar Thomas Hillbrand, Prof. Baοsar Wen Li, Prof. Voulgaris Characterizaton Jim Melody, Prof. Baοsar Eric Schuchard, Prof. Perkins Flight Simulation Adaptation 4-42

Steady-Level Flight Icing Scenario During steady level flight the clean aircraft passes through a cloud" of icing and ice accretes continuously. conditions Assume that airplane flies through icing cloud" in time T c, and that the LWC flight path has raised-cosine shape. along Then A c E as a function of time is the solution of d dt A ce = ν 2 [ cos (2ßt=T c)] ; A c E(0) = 0 assumed value of ice (T c ) determines ν from where ice (t) = Z (n)a c E(t)+Z 2 (n)[a c E(t)] 2 Can parameter ID augment steady-state characterization during Question: turbulence? moderate Icing Scenario: Model of Scenario: Use A c E accretion model with freezing fraction n = 0:2. 4-43

T c d A ce ο LWC ο cos(2ßt=t c ) dt ) ) ice (t) = Z (n)a c E(t)+Z 2 (n)[a c E(t)] 2 T c T c Steady-Level Flight Icing Scenario (cont'd) freezing fraction n = 0:2 Assume: icing cloud length T c and ice (T c ) Choose: LWC A c E(t) R dt c E(t) ο t T c 2ß sin(2ßt=t c) A ice (T c ) ice (t) 4-44

Recursive H Time-varying Algorithm H and K are assumed to be known and d is (unknown) parametric where disturbance. For fl > fl Λ _^χ = H ^χ +± A T [ _x A^χ b] ; ^χ(0) = ^χ ffi _± = ±H H T ± ±KK T ± + A T A fl 2 Q(x; u); ±(0) = Q ffi In this case, H = 0 and K can be calculated from Z (n), Z 2 (n), and the S/C ice -coefficients. derivative Note: M ffie The actual parameters are allowed to vary with time, according to _χ = Hχ + Kd For the FSDI case, we have guaranteed disturbance attenuation level fl > fl Λ, 2 ^χ(t)k kχ(t) Q(x;v) 2 2 jχ ^χ ffi j 2» fl 2 Q kwk + kdk + ffi the algorithm is is an input coefficient and cannot be estimated without input. 4-45

Recursive H Results: Moderate Icing minute icing cloud with final icing value of ice = 5 process noise but no measurement noise with H FSDI Algorithm with fl = :000, Q = A T A, and Q ffi = ( 0 4 )I.02 Actual and Estimated M ff Normalized Mff Estimate 0.98 0.96 0.94 0.92 0.9 ^M ff (t) M ff (t) actual M ff estimated M ff classification levels classification delays ice Level Delay 7 s 0.2 24 s 0.4 3 s 0.6 43 s 0.8 > 00 s.0 0 2 3 4 5 6 time (min) 4-46

Recursive H Results: Rapid/Severe Icing minute icing cloud with final icing value of ice = :5 2 process noise but no measurement noise with H FSDI Algorithm with fl = :000, Q = A T A, and Q ffi = ( 0 4 )I.02 Actual and Estimated M ff Normalized Mff Estimate 0.98 0.96 0.94 0.92 0.9 0.88 0.86 M ff (t) ^M ff (t) actual M ff estimated M ff classification levels classification delays ice Level Delay 2 s 0.25 7 s 0.50 20 s 0.75 28 s.00 64 s.25 0.84.50 < 80 s 0 0.5.5 2 2.5 3 time (min) 4-47

Recursive H and EKF algorithms yield timely estimates during with measurement noise. maneuver Batch estimation performs poorly with and without measurement noise NN applied to recursive H during maneuver detected tailplane correctly 97% of the time, for doublet inputs greater than ffi. icing NN applied to recursive H during maneuver classified tailplane correctly 97% of cases, for doublet inputs greater than ffi. icing For batch detection and classification, NN will not improve over applied after some fixed period. threshold Smart Icing Systems Conclusions 4-48

Term Plans Issues/Near Review May 8-9, 999 NASA Smart Icing Systems Refine turbulence process noise model H NPFSI algorithm during steady-level flight Batch LS algorithm during steady-level flight NN accuracy/excitation/batch time tradeoff ID of lateral dynamics Sliding or expanding window for NN detection during maneuver Detection with parameter ID and steady-state characterization 4-49

Smart Icing Systems Future Plans Unified approach to various icing event types: lateral/longitudinal, handling/performance Integrate sensor info into detection and classification Extend ID and detection/classification to full nonlinear dynamics Apply linear-based algorithms to nonlinear model at trim point Develop algorithms based on direct parameterization of non- linear model Investigate adaptive control for handling event recovery, not just prevention Support incorporation of algorithms into Icing Encounter Flight Simulator 4-50

Flight Controls and Sensors Waterfall Chart Fiscal Years Federal 99 00 0 02 03 98 ID of LTI Dynamics Support IE Flight Simulator ID of LTV Dynamics Ice Detection for LTI Dynamics Ice Detection for LTV Dynamics ID of Nonlinear Dynamics Detection for Nonlinear Dynamics Sensor Integration Adaptation/Event Recovery 4-5