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

Publications for All Years (716 out of 716)

Planning and Monitoring Solar Array Operations on the ISS
Sudhakar Reddy, Michael Iatauro, Elif Kurklu, Matthew Boyce, Jeremy Frank, Ari Jonsson
Published at: Int'l Conference on Automated Planning
Date: 09/14/08
Use of Program Property Assertions for V&V of ISHM
Larry Markosian, Martin Feather
Published at: SAS 08 Verification Workshop
Date: 09/12/08
Field Testing of Utilty Robots for Lunar Surface Operations
Terry Fong, Maria Bualat, Matt Deans, Mark Allan, Xavier Bouyssounouse
Published at: Space 2008
Date: 09/08/08
Safe Reactive Navigation for Lunar and Planetary Robots
Hans Utz
Published at: Space 2008
Date: 09/08/08
FootFall: A Ground Based Operations Toolset Enabling Walking for the ATHLETE Rover
Vytas SunSprial, Daniel Chavez-Clemente, Michael Broxton, Leslie Keely, Patrick Milhelich
Published at: Space 2008
Date: 09/08/08
Automated Data Assimilation and Flight Planning for Multi-Platform Observation Missions
Nikunj Oza, Robert Morris, Anthony Strawa, Elif Kurklu, Leslie Keely
Published at: NASA Earth Science technology Conference
Date: 08/24/08
Towards Certification of a Space System Application of Fault Detection and Isolation
Larry Markosian, Martin Feather
Published at: International Conference on Prognostics and Health
Date: 08/20/08
An Optimal Control Modification to Model-Reference Adaptive Control for fast Adaptation
Nhan Nguyen
Published at: AIAA Guidance, Navigation, and Control Conference
Date: 08/18/08
Modeling-Error-Driven Performance-Seeking Direct Adaptive Control
Nilesh Kulkarni
Published at: AIAA Guidance Navigation and Control Conf.
Date: 08/18/08
Closing the Certification Gaps in Adaptive Flight Control Software
Steven Jacklin
Published at: 2008 GNC CONFERENCE
Date: 08/18/08
Voyages of Discovery with the Mars Exploration Rovers
William Clancey
Published at: Mars Society Annual Convention
Date: 08/15/08
AutoBayes Program Synthesis System Users Manual
Johann Schumann
Published at: TM
Date: 08/08/08
Workflow Agents vs. Expert Systems: Problem solving methods in work systems design
William Clancey
Published at: Journal Article
Date: 08/01/08
Generating Customized Verifiers for Automatically Generated Code
Ewen Denney
Published at: Seventh International Conference on Generative
Date: 07/28/08
Development of an On-Board Failure Diagnostics and Prognostics System for Solid Rocket Booster
Vadim Smelyanskiy, Dimitry Luchinsky, Viatcheslav Osipov, Dogan Timucin, Serdar Uckun
Published at: 44th AIAA JPC
Date: 07/24/08

Filter by year

2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008

Publications Search


2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998

First Gov logo
NASA Logo -