Embedded Fault Detection for Low-Cost, Safety-Critical Systems

Gary Balas, Jaideep Srivastava, Mats Heimdahl, Antonia Zhai, and Peter Seiler (U of Minnesota)

---

MATLAB Software

• Robust Filter Design

  This file contains Matlab software to solve the robust Hinfty filter design problem as a convex optimization. It also contains
  several example files. Details on the algorithm can be found in the following reference:
  
  Peter Seiler, Balint Vanek, Jozsef Bokor, and Gary J. Balas, Robust H_infty Filter Design Using Frequency Gridding.
  American Control Conference, 2011. [pdf]
  
  The default solver for the robust filter design code is LMILab. It can also be configured to run using Sedumi.
  Sedumi solves some filter design problems with signficantly less computation. SeDuMi is maintained by Lehigh University.
  See their website for downloads, installation instructions, etc. The tools have been tested with version 1.1 of
  Sedumi so this version should be selected for installation.

Journal Publications

• Arda Ozdemir, Peter Seiler, and Gary J. Balas, Wind Turbine Fault Detection Using Counter-Based Residual Thresholding,
  Submitted to the Journal of Control Science and Engineering, 2011 [pdf]

Book(s) or Other One-Time Publications

• Matt Staats, Michael W. Whalen, Ajitha Rajan, and Mats P.E. Heimdahl. Coverage Metrics for Requirements-Based
  Testing: Evaluation of Effectiveness. Proceedings of the Second NASA Formal Methods Conference (NFM'10).
  Washington D.C., USA, April 13 - 15, 2010. [pdf]

• Ajitha Rajan, Michael W. Whalen, Matt Staats, and Mats P.E. Heimdahl. The Effect of Program and Model Structure
  on the Effectiveness of MC/DC Test Adequacy Coverage.
  Submitted to ACM Transactions on Software Engineering and Methodology [pdf]

• Nisheeth Srivastava and Jaideep Srivastava, A hybrid-logic approach towards fault detection in complex
  cyber-physical systems. Accepted to Prognostics and Health Management (PHM), 2010. [pdf]

• Peter Seiler, Balint Vanek, Jozsef Bokor, and Gary J. Balas, Robust H_infty Filter Design Using Frequency Gridding.
  American Control Conference, 2011. [pdf]

• Peter Seiler, Balint Vanek, Jozsef Bokor, and Gary J. Balas, Robust Model Matching for Geometric Fault Detection Filters.
  American Control Conference, 2011. [pdf]

• Paul Freeman, Peter Seiler, and Gary J. Balas, Robust Fault Detection for Commercial Transport Air Data Probes.
  Accepted to the 18th IFAC World Congress, 2011. [pdf]

• Arda Ozdemir, Peter Seiler, and Gary J. Balas, Wind Turbine Fault Detection Using Counter-Based Residual Thresholding.
  Accepted to the 18th IFAC World Congress, 2011. [pdf]

• Timothy J. Wheeler, Peter Seiler, Andrew K. Packard, and Gary J. Balas, Performance Analysis of Fault Detection Systems
  Based on Linear Time-Invariant Sensor Dynamics with Additive Faults.
  American Control Conference, 2011. [pdf]

• Timothy J. Wheeler, Peter Seiler, Andrew K. Packard, and Gary J. Balas, Analysis of LTV Fault Detection Schemes with Additive Faults.
  Accepted to the IEEE Conference on Decision and Control, 2011. [pdf]

• Balint Vanek, Peter Seiler, Jozsef Bokor, and Gary J. Balas, Robust Fault Detection Filter Design for Commercial Aircraft.
  European Conference in Guidance, Navigation and Control in Aerospace, 2011. [pdf]

• A. Dorobantu, AM. Murch, B. Mettler and GJ. Balas, Frequency Domain System Identification for a Small, Low-Cost, Fixed-Wing UAV.
  AIAA Guidance, Navigation and Control Conference, 2011. [pdf]

• Yangchun Luo, Venkatesan Packirisamy, Wei-Chung Hsu and Antonia Zhai, Energy-Efficient Speculative Threads: Dynamic Thread
  Allocation in Same-ISA Heterogeneous Multicore System.
  Proc. the Parallel Architectures and Compilation Techniques (PACT), 2010.

• Guojin He and Antonia Zhai, Improving the Performance of Program Monitors with Compiler Support in Multi-Core Systems.
  Proc. the IEEE International Parallel \& Distributed Processing Symposium (IPDPS), 2010.

• N. Srivastava and J. Srivastava, Composite risk measures for adaptive dimensionality reduction in system health monitoring.
  Conference on Intelligent Data Understanding (CIDU), 2010.