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

Publications for All Years (521 out of 521)

Querying Safety Cases
Ewen Denney, Dwight Naylor, Ganeshmadhav Pai
Published at: Conference: SafeComp 2014: Firenza, Italy
Date: 09/10/14
Determining Mission Effects of Equipment Failures
Paul Morris, Minh Do, Robert McCann, Lilijana Spirkovska, Mark Schwabacher
Published at: Conference: Space 2014; San Diego, CA
Date: 08/03/14
Design and Control of Compliant Tensegrity Robots through Simulation and Hardware Validation
Vytas SunSpiral, Ken Caluwaerts, Jeremie Despraz, Atil Iscen, Andrew Sabelhaus, Jonathan Bruce, Benjamin Schrauwen
Published at: Journal Article: Journal of the Royal Society Interface
Date: 07/29/14
Feedback-driven Dynamic Invariant Discovery
Neha Rungta, Lingming Zhang, Guowei Yang, Suzette Person, Sarfraz Khurshid
Published at: Conference: ISSTA '14: International Symposium on Software Testing and Analysis; San Jose, CA
Date: 07/23/14
Hardware Design and Testing of SUPERball, a Modular Tensegrity Robot
Andrew Sabelhaus, Jonathan Bruce, Ken Caluwaerts, Yangxin Chen, Dizhou Lu, Yuejia Liu, Adrian Agogino, Vytas SunSpiral, Alice Agogino
Published at: Conference: 6th edition of the World Conference of the International Association for Structural Control and Monitoring (IACSM); Barcelona, Spain
Date: 07/15/14
Design and Control of Modular Spine-Like Tensegrity Structures
Brian Mirletz, In Won Park, Thomas Flemons, Adrian Agogino, Roger Quinn
Published at: Conference: The Sixth World Conference on Structural Control and Monitoring (6WCSCM); Barcelona, Spain; Barcelona, Spain
Date: 07/14/14
Evolutionary Agent-Based Simulation of the Introduction of New Technologies in Air Traffice Management
Logan Yliniemi, Adrian Agogino, Kagan Tumer
Published at: Conference: Genetic and Evolutionary Algorithms Conference; Vancouver, BC
Date: 07/12/14
Controlling Tenesgrity Robots through Evolution
Atil Iscen, Adrian Agogino, Vytas SunSpiral, Irem Tumer
Published at: Conference: Genetic and Evolutinary Algorithms Conference; Amsterdam, Holland, The Netherlands
Date: 07/11/14
Diagnosability-based Sensor Placement through Structural Model Decomposition
Matthew Daigle, Indranil Roychoudhury, Anibal Bregon
Published at: Conference: Second European Conference of the PHM society 2014; Nantes, France
Date: 07/08/14
SUPERball: Exploring Tensegrities for Planetary Probes
Jonathan Bruce, Andrew Sabelhaus, Yangxin Chen, Dizhou Lu, Kyle Morse, Sophie Milam, Ken Caluwaerts, Adrian Agogino, Vytas SunSpiral
Published at: Conference: 12th International Symposium on Artificial Intelligence, Robotics and Automation in Space - i-SAIRAS 2014; Montreal, Canada
Date: 06/17/14
Helping System Engineers Bridge the Peaks
Neha Rungta, Oksana Tkachuk, Jason Biatek, Michael Whalen, Joseph Castle, Karen Gundy-Burlet
Published at: Conference: Fourth International Workshop on the Twin Peaks of Requirements and Architecture; Hyderabad, India
Date: 06/01/14
Distributed Prognostics based on Structural Model Decomposition
Matthew Daigle, Anibal Bregon, Indranil Roychoudhury
Published at: Journal Article: IEEE Transactions on Reliability
Date: 05/31/14
Property Differencing for Incremental Checking
Neha Rungta, Suzette Person, Guowei Yang, Sarfraz Khurshid
Published at: Conference: 36th ICSE 2014; Hyderabad, India
Date: 05/30/14
Dynamic Controllability and Dispatchability Relationships
Paul Morris
Published at: Conference: Eleventh International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) techniques in Constraint Programming; Cork, Ireland
Date: 05/18/14
Model Checking Degrees of Belief in a System of Agents
Neha Rungta, Franco Raimondi, Giuseppe Primero
Published at: Conference: AAMAS 2014; Paris France
Date: 05/05/14


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