NASA Logo, National Aeronautics and Space Administration
Intelligent Systems Division Banner

Publications for All Years (525 out of 525)

Anomaly Detection in Flight Recorder Data: A Dynamic Data-driven Approach
Santanu Das, Soumalya Sarkar, Asok Ray, Ashok Srivastava, Donald Simon
Published at: Other: Publication American Control Conference; Washington D.C
Date: 03/23/13
Polyglot: Systematic Analysis for Multiple Statechart Formalisms
Daniel Balasubramanian, Corina Pasareanu, Gabor Karsai, Michael Lowry
Published at: Conference: 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS); Rome Italy
Date: 03/16/13
Advanced Caution and Warning System, Final Report -- 2011
Lilijana Spirkovska, Gordon Aaseng, David Iverson, Robert McCann, Peter Robinson
Published at: NASA STI Report Series: TM ~ 216510
Date: 03/15/13
Advanced Caution and Warning System, Final Report -- 2010
Lilijana Spirkovska, Peter Robinson, Sotirios Liolios, Charles Lee, John Ossenfort
Published at: NASA STI Report Series: TM ~ 216509
Date: 03/15/13
Analytical Algorithms to Quantify the Uncertainty in Remaining Useful Life Prediction
Shankar Sankararaman, Matthew Daigle, Abhinav Saxena, Kai Goebel
Published at: Conference: IEEE Aerospace Conference, Big Sky, MT
Date: 03/01/13
A Structural Model Decomposition Framework for Systems Health Management
Indranil Roychoudhury, Matthew Daigle, Anibal Bregon, Belarmino Puildo
Published at: Conference: IEEE Aerospace Conference, Big Sky, MT
Date: 03/01/13
Model-Based Diagnosis and Prognosis of a Water Recycling System
Indranil Roychoudhury, Vasyl Hafiychuk, Kai Goebel
Published at: Conference: IEEE Aerospace Conference, Big Sky, MT
Date: 03/01/13
Hierachical Safety Cases
Ewen Denney, Iain Whiteside
Published at: NASA STI Report Series: TM ~ 216481
Date: 02/14/13
Novel Attitude control Challenges for an Earth-Observing CubeSat
Matthew Sorgenfrei, Matthew Nehrenz
Published at: Conference: IAA Symposium on Small Spacecraft for Earth Observation; Berlin Germany
Date: 01/31/13
Validation and Verification of LADEE Models and Software
Karen Gundy-Burlet
Published at: Conference: AIAA 51st Aerospace Sciences Meeting; Grapevine, TX
Date: 01/07/13
Counter-Factual Reinforcement Learning: How To Model Decision-Makers That Anticipate The Future
Ritchie Lee, David Wolpert, James Bono, Scott Backhaus, Russell Bent
Published at: Book Chapter: Decision Making with Multiple Imperfect Decision Makers; Springer
Date: 01/01/13
Disturbance Accommodating Adaptive Control with Application to Wind Turbines
Susan Frost
Published at: Oral or Visual Presentation: IEEE Computational Intelligence Society, Santa Clara Valley Chapter; Moffett Field, CA
Date: 12/05/12
Symbolic Quantitative Information Flow
Quoc-Sang Phan, Pasquale Malacaria, Oksana Tkachuk, Corina Pasareanu
Published at: Conference: JPF Workshop at FSE-20; Cary NC
Date: 11/09/12
Computing and Visualizing the Impact of Change with Java PathFinder Extensions
Eric Mercer, Suzette Person, Neha Rungta
Published at: Conference: JPF Workshop at FSE-20; Cary NC
Date: 11/09/12
Abstract Pathfinder
Artem Khyzha, Pavel Parizek, Corina Pasareanu
Published at: Conference: JPF Workshop at FSE-20; Cary NC
Date: 11/09/12


Filter by year

2014 2013 2012 2011 2010 2009 2008

Publications Search

Archive

2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998

+NASA Home

+Ames Home

Intelligent Systems Division
First Gov logo
NASA Logo - nasa.gov