On-Board Battery Monitoring and Prognostics for Electric-Propulsion Aircraft

The reliability of the propulsion system of an aircraft is paramount for the aircraft safety and hence the aircraft health must be monitored continuously. In contrast to fuel-operated aircraft, electric battery-operated propulsion system poses specific problems, such as, the remaining battery power does not linearly decrease and cannot be measured directly. In this paper, we describe a combined monitoring and prognostics architecture that can continuously monitor all components of the electric propulsion system with respect to safety and performance properties as well as state of charge and rest of useful life for the battery. Our system combines a detailed electrochemical battery model for Li-ion batteries with a powerful prognostics engine based upon an Unscented Kalman Filter with the R2U2 monitoring device, which provides efficient observers for metric temporal logic and Bayesian reasoning. R2U2 is a real-time, REALIZABLE, RESPONSIVE, UNOBTRUSIVE UNIT, which continuously monitors sensor readings, outputs of the prognostics engine, as well as the flight software status for safety, performance, and security properties. We illustrate our architecture with two case studies, one reporting actual flight tests with an X8+ octo-copter and the other a software-in-the-loop simulation with an unmanned Edge 540 electric aircraft model.

[1]  Ole J. Mengshoel,et al.  Towards Real-Time, On-Board, Hardware-Supported Sensor and Software Health Management for Unmanned Aerial Systems , 2015 .

[2]  Johann Schumann,et al.  Iowa State University From the SelectedWorks of Kristin Yvonne Rozier 2014 Runtime Observer Pairs and Bayesian Network Reasoners On-board FPGAs : Flight-Certifiable System Health Management for Embedded Systems , 2017 .

[3]  Jose R. Celaya,et al.  Verification of a Remaining Flying Time Prediction System for Small Electric Aircraft , 2015 .

[4]  Grigore Rosu,et al.  An overview of the MOP runtime verification framework , 2012, International Journal on Software Tools for Technology Transfer.

[5]  Moshe Y. Vardi,et al.  Optimized temporal monitors for SystemC , 2010, RV.

[6]  Chetan S. Kulkarni,et al.  Verification of Prognostic Algorithms to Predict Remaining Flying Time for Electric Unmanned Vehicles , 2018, International journal of prognostics and health management.

[7]  Krishna R. Pattipati,et al.  Model-Based Prognostic Techniques Applied to a Suspension System , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[8]  Alwyn E. Goodloe,et al.  Copilot: monitoring embedded systems , 2013, Innovations in Systems and Software Engineering.

[9]  Matthew Daigle,et al.  An Efficient Deterministic Approach to Model-based Prediction Uncertainty Estimation , 2012 .

[10]  Matthew J. Daigle,et al.  Current/pressure transducer application of model-based prognostics using steady state conditions , 2014, 2014 IEEE Aerospace Conference.

[11]  Johann Schumann,et al.  Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems , 2014, TACAS.

[12]  Kai Goebel,et al.  SILHIL Replication of Electric Aircraft Powertrain Dynamics and Inner-Loop Control for V&V of System Health Management Routines , 2013 .

[13]  Matthew Daigle,et al.  Electrochemistry-based Battery Modeling for Prognostics , 2013 .

[14]  Moshe Y. Vardi,et al.  Optimized temporal monitors for SystemC , 2012, Formal Methods Syst. Des..

[15]  Gabor Karsai,et al.  Design Considerations for a Variable Autonomy Executive for UAS in the NAS , 2018 .

[16]  Doron Drusinsky,et al.  The Temporal Rover and the ATG Rover , 2000, SPIN.

[17]  Matthew Daigle,et al.  Validation of Model-Based Prognostics for Pneumatic Valves in a Demonstration Testbed , 2014 .

[18]  Chetan S. Kulkarni,et al.  Experimental Validation of Model-Based Prognostics for Pneumatic Valves , 2017, International journal of prognostics and health management.

[19]  B. Saha,et al.  A comparison of filter-based approaches for model-based prognostics , 2012, 2012 IEEE Aerospace Conference.

[20]  Matthew Daigle,et al.  Application of model-based prognostics to a pneumatic valves testbed , 2014, 2014 IEEE Aerospace Conference.

[21]  Mu De-jun Measurement and Control of Web QoS , 2007 .

[22]  Grigore Rosu,et al.  Hardware Runtime Monitoring for Dependable COTS-Based Real-Time Embedded Systems , 2008, 2008 Real-Time Systems Symposium.

[23]  J. Celaya,et al.  Battery Charge Depletion Prediction on an Electric Aircraft , 2013 .

[24]  Kai Goebel,et al.  Model-Based Prognostics With Concurrent Damage Progression Processes , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[25]  P. W. Strike,et al.  Measurement and control , 1991 .

[26]  Chetan S. Kulkarni,et al.  Diagnostic Reasoning using Prognostic Information for Unmanned Aerial Systems , 2015 .

[27]  Kristian Kolding Foged-Ladefoged Real-Time Embedded Systems in Java , 2014 .

[28]  Iain Bate,et al.  Real-time embedded systems , 2002 .