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

Publications for All Years (655 out of 655)

Simple Sensitivity Analysis for Orion GNC
Tom Pressburger, Brian Hoelscher, Rodney Martin, Sricharan Kumar
Published at: Conference: AIAA Guidance, Navigation and Control Conference; Boston, MA
Date: 08/18/13
Validating an Air Traffic Management Concept of Operation Using Statistical Modeling
Yuning He, Misty Davies
Published at: Conference: AIAA Modeling and Simulation Technologies; Boston MA
Date: 08/17/13
Super Ball Bot-structures for Planetary Landing and Exploration - Final Report
Adrian Agogino, Vytas SunSpiral, David Atkinson
Published at: Other Technical Report; Grantee Report
Date: 08/01/13
Photos of June 2013 Parabolic Flight Campaign (Flight Opportunities Program)
Alex Van Dijk
Published at: Publication: Public Web Site;
Date: 08/01/13
Data Mining for Understanding and Improving Decision-making Affecting Ground Delay Programs
Deepak Kulkarni, Yao Wang, Banavar Sridhar
Published at: NASA STI Report Series: TM
Date: 07/31/13
The Role and Impact of Software Coding Standards On System Integrity
Andre Goforth
Published at: Publication: Journal Article; AIAA Info Tech 2013
Date: 07/31/13
Evolving Systems: Nonlinear adaptive key component control with persistent disturbance rejection
Susan Frost, Mark Balas
Published at: Journal Article: Special Issue in Honor of Jer-Nan Juang, Journal of Astronautical Science
Date: 07/13/13
Regression Verification using Impact Summaries
John David Backes, Suzette Person, Neha Rungta, Oksana Tkachuk
Published at: Conference: 25th International Conference on Computer Aided Verification (CAV 2013); St. Petersburg, Russia
Date: 07/12/13
OCSEGen: Open Components and Systems Environment Generator
Oksana Tkachuk
Published at: Conference: International Workshop on the State Of the Art in Java Program Analysis (SOAP); Seattle, WA
Date: 06/20/13
Adaptive disturbance tracking theory with state estimation and state feedback for region II control of large wind turbines
Mark Balas, Kaman Thapa Magar, Susan Frost
Published at: Conference: 2013 American Control Conference; Washington, D.C
Date: 06/17/13
Human and Robotic Mission to Small Bodies: Mapping, Planning and Exploration
Ara Nefian, Julie Bellerose, Ross Beyer, Terry Fong, Brent Archinal, Laurence Edwards, Pascal Lee, Anthony Colaprete
Published at: NASA STI Report Series: TM–2013–216538
Date: 06/14/13
Work Practice Simulation of Complex Human-Automation Systems in Safety Critical Situations: The Brahms Generalized Überlingen Model
William Clancey, Charlotte Linde, ChinHua Seah, Michael Shafto
Published at: NASA STI Report Series: TP-2013-216508
Date: 06/01/13
Aviation Safety: Modeling and Analyzing complex Interactions between Humans and Automated Systems
Neha Rungta, Guillaume Brat, William Clancey, Charlotte Linde, Franco Raimondi
Published at: Conference: 3rd International Conference on Application and Theory of Automation in Command and Control Systems; Naples Italy
Date: 05/28/13
Reliability Analysis in Symbolic Pathfinder
Antonio Filieri, Corina Pasareanu, Willem Visser
Published at: International Conference on Software Engineering (ICSE); San Francisco, CA
Date: 05/18/13
Hierarchical Safety Cases
Ewen Denney, Ganeshmadhav Pai, Iain Whiteside
Published at: Conference: 5th NASA Formal Methods Symposium; NASA Ames Research Center, Moffett Field, CA
Date: 05/14/13

Filter by year

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 -