The livingstone model of a main propulsion system

Bajwa, Anupa; Sweet, Adam

doi:10.1109/aero.2003.1235498

Cited by 16 publications

(9 citation statements)

References 2 publications

(2 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In that context, the PITEX experiment has demonstrated the application of Livingstonebased diagnosis to the main propulsion feed subsystem of the X-34 space vehicle [1,8], and LPF has been successfully applied to the PITEX model of X-34. This particular Livingstone model consists of 535 components and 823 attributes, 250 transitions, compiling to 2022 propositional clauses.…”

Section: Resultsmentioning

confidence: 99%

See 1 more Smart Citation

Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder

Lindsey

Pecheur

2004

Tools and Algorithms for the Construction and Analysis of Systems

View full text Add to dashboard Cite

Abstract. AI software is often used as a means for providing greater autonomy to automated systems, capable of coping with harsh and unpredictable environments. Due in part to the enormous space of possible situations that they aim to address, autonomous systems pose a serious challenge to traditional test-based verification approaches. Efficient verification approaches need to be perfected before these systems can reliably control critical applications. This publication describes Livingstone PathFinder (LPF), a verification tool for autonomous control software. LPF applies state space exploration algorithms to an instrumented testbed, consisting of the controller embedded in a simulated operating environment. Although LPF has focused on NASA's Livingstone model-based diagnosis system applications, the architecture is modular and adaptable to other systems. This article presents different facets of LPF and experimental results from applying the software to a Livingstone model of the main propulsion feed subsystem for a prototype space vehicle.

show abstract

Section: Resultsmentioning

confidence: 99%

“…1 Each attribute x ∈ X ranges over a finite domain D x . A state s of model associates to each x ∈ X a value s(x) ∈ D x .…”

Section: Livingstonementioning

confidence: 99%

Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder

Lindsey

Pecheur

2004

Tools and Algorithms for the Construction and Analysis of Systems

View full text Add to dashboard Cite

show abstract

“…Livingstone (ARC) to address a propulsion system composed of tanks, valves, and other elements and tested using simulated data [1]. Work at JPL included the BEAM (Beacon-based Exception Analysis for Multi-missions) and SHINE (Spacecraft Health Inference Engine) [2]. These capabilities will need to be transferred from the ground operations centers to the vehicle's flight systems.…”

Section: Iivm Frameworkmentioning

confidence: 99%

Integrated Intelligent Vehicle Management Framework

Paris

Trevino

2008

2008 IEEE Aerospace Conference

View full text Add to dashboard Cite

The success of NASA's exploration activities hinges on the ability to make space systems safer, more affordable, and more self-sufficient. As these missions expand to ever increasing distances from earth, the systems that support these missions will be required to become more self-sufficient. Integrated Vehicle Health Management (IVHM) is an approach that supports vehicle selfsufficiency. The architecture presented in this paper integrates advanced computational techniques with technologies for spacecraft that can generate responses through detection, diagnosis, reasoning, and adapt to system faults in support of Integrated Intelligent Vehicle Management (IIVM). This paper presents an Integrated Intelligent Vehicle Management (IIVM) concept which provides for the complete integration and management of all vehicle functions and subsystems 12This research presents architecture for vehicle level interaction between subsystem functions and vehicle level functions. This paper presents an IIVM framework that encompasses all vehicle functions and subsystems. Furthermore, this paper presents vehicle management system interactions and subsystem management functions. Each of the subsystems have the following functions: performance, diagnostics, prognostics, monitoring, and control.This paper presents a framework which conceptualizes how these subsystems interact with the various system management functions. This is accomplished by supplying new information in real time to the vehicle avionics real-time to allow responses to vehicle subsystem failures and performance degradation. This framework can potentially achieve autonomous operation capabilities necessary to assure crew safety and mission safety.

show abstract

“…The current C++ version of L2 is an enhancement and reengineering of the original Livingstone diagnosis engine. Over the years, Livingstone has had some successful applications [2]:…”

Section: Introductionmentioning

confidence: 99%

The Livingstone Model of a Spacecraft Power System

Gao

Zhang

Ning

et al. 2010

2010 International Conference on Measuring Technology and Mechatronics Automation

View full text Add to dashboard Cite

Livingstone is a qualitative, discrete, propositional logic-based, reusable inference engine. The model built in this paper is used by Livingstone in order to implement a diagnostic system for integrated vehicle health management (IVHM) for spacecraft power system. We couple compositional constraint-based modeling with the concurrent transition systems used to model reactive software. The model is composed of component transition systems and some connections between component transition systems. Component transition system consists of a set of modes with explicit transitions between modes. Each mode is associated with a set of constraints that describe the component's behavior in that mode. This model not only includes static information, but also provides dynamic information, and can be computed with efficiently in real time. Some experiments done on spacecrafts have demonstrated that this qualitative model can be used for diagnosis of a real-world system with continuous sensor values.

show abstract

The livingstone model of a main propulsion system

Cited by 16 publications

References 2 publications

Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder

Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder

Integrated Intelligent Vehicle Management Framework

The Livingstone Model of a Spacecraft Power System

Contact Info

Product

Resources

About