Prognostics CoE Publications

Accelerated Aging with Electrical Overstress and Prognostics for Power MOSFETs

A Publication, Prognostics CoE Publications - 11 years, 5 months ago

Shared By: Miryam Strautkalns

Power electronics play an increasingly important role in energy applications as part of their power converter circuits. Understanding the behavior of these devices, especially their ...

Adaptive Load-Allocation for Prognosis-Based Risk Management

A Publication, Prognostics CoE Publications - 11 years, 5 months ago

Shared By: Miryam Strautkalns

It is an inescapable truth that no matter how well a system is designed it will degrade, and if degrading parts are not re- paired ...

Prognostics of Power MOSFETs under Thermal Stress Accelerated Aging using Data-Driven and Model-Based Methodologies

A Publication, Prognostics CoE Publications - 10 years, 8 months ago

Shared By: Miryam Strautkalns

An approach for predicting remaining useful life of power MOSFETs (metal oxide field effect transistor) devices has been developed. Power MOSFETs are semiconductor switching devices ...

A Mobile Robot Testbed for Prognostics-Enabled Autonomous Decision Making

A Publication, Prognostics CoE Publications - 11 years, 5 months ago

Shared By: Miryam Strautkalns

The work described in this paper is aimed at providing an inexpensive, safe platform for development, validation, evaluation, and comparison of prognostics-enabled decision making algorithms. ...

Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking

A Publication, Prognostics CoE Publications - 11 years, 5 months ago

Shared By: Miryam Strautkalns

The translation of temporal logic specifications constitutes an essen- tial step in model checking and a major influence on the efficiency of formal verification via ...

Formal Specification and Verification of a Coordination Protocol for an Automated Air Traffic Control System

A Publication, Prognostics CoE Publications - 11 years, 5 months ago

Shared By: Miryam Strautkalns

We detail all of the facets of adapting classical model checking to a real aerospace system, in- cluding deriving the formal model and a set ...

Adaptive Contingency Control: Wind Turbine Operation Integrated with Blade Condition Monitoring

A Publication, Prognostics CoE Publications - 11 years, 5 months ago

Shared By: Miryam Strautkalns

We report here on first steps towards integrating systems health monitoring with adaptive contingency controls. In the scenario considered, the adaptive controller receives specific information ...