-
Flight Software for the LADEE Mission
- Published at: Conference: Aerospace Guidance and Control Systems Committee; Charlotte, NC
- Date: 10/13/15
- Authors:
Howard Cannon
Publications for All Years (721 out of 721)
-
Towards a Formal Basis for Modular Safety Cases
- Published at: Conference: SAFECOMP 2015; Delft, Netherlands
- Date: 09/22/15
- Authors:
Ewen Denney,
Ganeshmadhav Pai
-
Development of Variable Camber Continuous Trailing Edge Flap for Performance Adaptive Aeroelastic Wing
- Published at: Conference: SAE Aero Tech Congress & Exhibition; Seattle, WA
- Date: 09/21/15
- Authors:
Nhan Nguyen,
Upender Kaul,
Eric Bi-Wen Ting,
Sonia Lebofsky,
Daniel Chaparro Espinoza
-
Argument-based Airworthiness Assurance of Small UAS
- Published at: Conference: 34th DASC; Prague, Czech Republic
- Date: 09/13/15
- Authors:
Ewen Denney,
Ganeshmadhav Pai
-
Adaptive Stress Testing of Airborne Collision Avoidance Systems
- Published at: Conference: Digital Avionics Systems Conference; Prague, Czech Republic
- Date: 09/13/15
- Authors:
Ritchie Lee,
Mykel Kochenderfer,
Ole Mengshoel,
Guillaume Brat,
Michael Owen
-
Lunar COTS: An Economical and Sustainable Approach to Reaching Mars
- Published at: Conference: AIAA Space 2015; Pasadena, CA
- Date: 08/31/15
- Authors:
Allison Zuniga,
Daniel Rasky,
Robert Pittman,
Edgar Zapata,
Roger Lepsch
-
Scaling Up Model-Based Diagnostic and Fault Effects Reasoning for Spacecraft
- Published at: Conference: AIAA Space 2015; Pasadena, CA
- Date: 08/31/15
- Authors:
Gordon Aaseng,
Eric Barszcz,
Henry Valdez,
Haifa Moses
-
A Structural Model Decomposition Framework for Hybrid Systems Diagnosis
- Published at: Conference: 26th International Workshop on Principles of Diagnosis; Paris France
- Date: 08/30/15
- Authors:
Matthew Daigle,
Anibal Bregon,
Indranil Roychoudhury
-
NASA's ATM Ontology: Semantic Integration and Querying across NAS Data Sources
- Published at: Conference: 2015 Air Transportation Information Exchange Conference; Silver Spring, MD
- Date: 08/25/15
- Authors:
Richard Keller
-
A Methodology for the Development of Assurance Arguments for Unmanned Aircraft Systems
- Published at: Conference: 33rd International System Safety Conference; San Diego, CA
- Date: 08/14/15
- Authors:
Ewen Denney,
Ganeshmadhav Pai
-
Space Technology Game Changing Development Human Exploration Telerobotics 2 NASA Facts
- Published at: Publication NASA Facts
- Date: 07/30/15
- Authors:
Maria Bualat
-
Space Technology Game Changing Development Astrobee: ISS Robotic Free Flyer NASA Facts
- Published at: Other: NASA Facts
- Date: 07/30/15
- Authors:
Maria Bualat
-
A Fast Goal Recognition Technique based on Interaction Estimates
- Published at: Conference: International Joint Conferences on Artificial Intelligence: Buenos Aires, Argentina
- Date: 07/25/15
- Authors:
Yolanda Escudero Martin,
Maria Rodriguez-Moreno,
David Smith
-
The SeaHorn Verification Framework
- Published at: Conference: CAV-15; San Francisco, CA
- Date: 07/18/15
- Authors:
Jorge Navas Laserna,
Arie Gurfinkel,
Temesghen KahsaiAzene,
Anvesh Komuravelli
-
Predicting Time Series Outputs and Time-to-Failure for an Aircraft Controller Using Bayesian Modeling
- Published at: Conference: Society for Industrial and Applied Mathematics; Paris, France
- Date: 07/08/15
- Authors:
Yuning He