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

Publications for the year 2013 (69 out of 710)

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
Combining Reward Shaping and Hierarchies for Scaling to Large Multiagent Systems
Chris Holmes Parker, Adrian Agogino, Kagan Tumer
Published at: Publication: Journal Article; Knowledge Engineering Review
Date: 05/09/13
Memoise: A Tool for Memoized Symbolic Execution
Guowei Yang, Sarfraz Khurshid, Corina Pasareanu
Published at: Conference: 35th International Conference on Software engineering (ICSE 2013); San Francisco, CA
Date: 05/08/13
Uncertanity Quanitification in Remaining Useful Life of Aerospace Components using State Space Models and Inverse FORM
Shankar Sankararaman, Kai Goebel
Published at: Conference: AIAA Non-Deterministic Approaches Conference; Boston, MA
Date: 04/08/13
Learning to Control Complex Tensegrity Robots
Atil Iscen, Adrian Agogino, Kagan Tumer
Published at: Conference: Twelfth International Conference on Autonomous Agents and Multiagent Systems (AAMAS): St. Paul MN
Date: 03/31/13
Failure Consequence Assessment System (FCAS) Experiment Summary and Lesson Learned
Lilijana Spirkovska, Gordon Aaseng, Vijayakumar Baskaran, Silvano Colombano, John Ossenfort
Published at: NASA STI Report Series: TM ~ 216507
Date: 03/30/13
Embedding Temporal Constraints For Coordinated Execution In Habitat Automation
Paul Morris, Mark Schwabacher, Michael Dalal, Charles Fry
Published at: Conference: 2013 International Workshop on Planning & Scheduling for Space: Moffett Field, CA
Date: 03/25/13
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

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 -