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

Publications for All Years (509 out of 509)

Deisgn 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
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
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
Automated Testcase Generation for Numerical Support Functions in Embedded Systems
Johann Schumann, Stefan-Alexander Schnieder
Published at: Conference: NASA Formal Methods 2014; Houston, TX
Date: 04/08/14
BioSentinel: Enabling CubeSat-Scale Biogical Research Beyond Low Earth Orbit
Matthew Sorgenfrei, Brian Lewis
Published at: Conference: Interplanetary Small Satellite Conference: Pasadena, CA
Date: 04/08/14
Concurrent Bounded Model Checking
Corina Pasareanu, Quoc-Sang Phan, Pasquale Malacaria
Published at: Conference: TACAS 2014; Grenoble, France
Date: 04/05/14
Learning the Task Management Space of an Aircraft Approach Model
Joseph Krall, Tim Menzies, Misty Davies
Published at: Conference: Modeling in Human-Machine Systems: Challenges for Formal Verification; Palo Alto, CA
Date: 03/24/14
Wireless Space Plug-and-Play Archtecture (SPA-Z)
Richard Alena, John Ossenfort, Thom Stone, Jarren Baldwin
Published at: Conference: IEEE Aerospace Conference 2014; Big Sky, MT
Date: 03/01/14
Hererogeneous Spacecraft Networks: Wireless Network Technology Assessment
Richard Alena, Yosuke Nakamura, Nicolas Faber, David Mauro
Published at: Conference: IEEE Aerospace Conference 2014; Big Sky, MT
Date: 03/01/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