Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking

A Publication, Prognostics CoE Publications - 11 years, 10 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, 10 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, 10 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 ...

Optimizing Battery Life for Electric UAVs using a Bayesian Framework

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

Shared By: Miryam Strautkalns

In summary, this paper lays a simple flight plan optimization strategy based on the particle filtering framework described in [5]. This is meant as a ...

Autonomous Decision Making for Planetary Rovers Using Diagnostic and Prognostic Information

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

Shared By: Miryam Strautkalns

During rover operations, when a fault occurs, it may require changes to low-level control, system usage, or the overall mission plan. In this paper, we ...

Prognostics Health Management and Physics based failure Models for Electrolytic Capacitors

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

Shared By: Miryam Strautkalns

This paper proposes first principles based modeling and prognostics approach for electrolytic capacitors. Electrolytic capacitors and MOSFETs are the two major components, which cause degradations ...

A Discussion on Uncertainty Representation and Interpretation in Model-based Prognostics Algorithms based on Kalman Filter ...

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

Shared By: Miryam Strautkalns

This article presented a discussion on uncertainty representation and management for model-based prog- nostics methodologies based on the Bayesian tracking framework and specifically for a ...

Using Markov Models of Fault Growth Physics and Environmental Stresses to Optimize Control Actions

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

Shared By: Miryam Strautkalns

A contrived example of a dice throwing game was considered in order to provide some insight into the general problem developing prognostics-based control routines that ...

Exploration of Risks in Autonomous Decision-Making Applied to Aeronautics

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

Shared By: Miryam Strautkalns

Prior research into metrics and design for autonomy were presented. At this time, the prospect of adding significant autonomous decision-making on a piloted aircraft is ...