traclabs.com/publications
Publications
| Title | Date Published | Authors | Related Research Categories |
|---|---|---|---|
| Integrated Mission Operation Concepts for the Dream Chaser Cargo System, in International Space Operations Conference 2023. | 2023 |
|
|
| Change Management and Verification of Electronic, Automated Procedures, in International Space Operations Conference 2021. | 2021 |
|
|
| Integrated Mission Operation Concepts for the Dream Chaser Spacecraft, in International Space Operations Conference 2020 (postponed to 2021). | 2020 |
|
|
| Procedure Automation: Sharing Work with Users, in AAAI Spring Symposium Designing the User Experience of Artificial Intelligence. | 2018 |
|
|
| Alternate Realities for Mission Operations Plan Execution, in International Conference on Automated Planning and Scheduling Workshop on User Interfaces and Scheduling and Planning. | 2017 |
|
|
| In-Situ Domain Modeling with Fact Routes, in International Conference on Automated Planning and Scheduling Workshop on User Interfaces and Scheduling and Planning. | 2017 |
|
|
| PRONTOE - A Case Study for Developing Ontologies for Operations, in Proceedings of the International Conference on Knowledge Engineering and Ontology Development | 2013 |
|
|
| "Ontological Models to Support Space Operations," in Workshop on AI in Space at the 2013 International Joint Conferences on Artificial Intelligence (IJCAI) | 2013 |
|
|
| Adjustably Automated Ground Control Procedure Execution for ECLSS Systems, in International Conference on Environmental Systems (ICES), 2012 | 2012 |
|
|
| Improving Decision Support Systems Through Development of a Modular Autonomy Architecture, in International Symposium on Artificial Intelligence, Robotics and Automation in Space (ISAIRAS) | 2012 |
|
|
| "Prediction of Reliability of Environmental Control and Life Support Systems," Journal of Spacecraft and Rockets, Vol. 48, No. 2, 2011. | 2011 |
|
|
| Embedding planning technology into satellite systems, in Proceedings of the AIAA Infotech@Aerospace (I@A) Conference | 2011 |
|
|
| Electronic Procedures for Medical Operations in Space, in Proceedings of the AIAA 2011 Conference | 2011 |
|
|
| Embedding Procedure Assistance into Mission Control Tools, in Proceedings of the International Joint Conference on Artificial Intelligence Workshop on AI in Space, 2011. | 2011 |
|
|
| Data Abstraction Architecture for Mission Operations, in The 10th International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS-10) 2010. | 2010 |
|
|
| Real-time Monitoring of ECLSS Flight Rules, in International Conference on Environmental Systems (ICES), 2010. | 2010 |
|
|
| Data Abstraction Architecture for Spacecraft Autonomy, in AIAA Infotech, 2009. | 2009 |
|
|
| A Data Abstraction Architecture for Monitoring and Control of Lunar Habitats, in International Conference on Environmental Systems (ICES), 2009. | 2009 |
|
|
| ``Robotic Systems Architectures and Programming,'' Springer Handbook of Robotics, Springer-Verlag, 2008. | 2008 |
|
|
| Adjustable Automation for Lunar Habitat Control, in International Conference on Environmental Systems, 2008. | 2008 |
|
|
| A Procedure Representation Language for Human Spaceflight Operations, in The 9th International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS-08) | 2008 |
|
|
| A Testbed for Evaluating Lunar Habitat Autonomy Architectures, in 6th Conference on Human/Robotic Technology and the Vision for Space Exploration (STAIF2008) | 2008 |
|
|
| Adjustable Autonomy with NASA Procedures, in The 9th International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS-08) | 2008 |
|
|
| "Self-repairing Control System for Future Exploration Missions", in International Conference on Environmental Systems, 2008. | 2008 |
|
|
| "Optimal Cost and Reliability Design for Exploration Life Support Systems", in International Conference on Environmental Systems, 2008. | 2008 |
|
|
| Prediction of Reliability and Cost for Environmental Control and Life Support Systems, in AIAA Space Conference, 2008. | 2008 |
|
|
| Developing and Executing Goal-Based, Adjustably Autonomous Procedures, in AIAA InfoTech@Aerospace Conference 2007 | 2007 |
|
|
| ``Validation of Heuristic Techniques for Design of Life Support Systems,'' in Conference on Systems Engineering Research, 2007. | 2007 |
|
|
| Managing Life Support Systems Using Procedures, in International Conference on Environmental Systems, 2007. | 2007 |
|
|
| Modeling Stochastic Performance and Random Failure, in International Conference on Environmental Systems, 2007. | 2007 |
|
|
| Testing Heuristic Tools for Life Support System Analysis, in International Conference on Environmental Systems, 2007. | 2007 |
|
|
| "Use of Genetic Algorithms and Transient Models for Life Support Systems Analysis," in AIAA Journal of Spacecraft and Rockets, Vol. 43, No. 6, 2006. | 2006 |
|
|
| ``Achieving Life Support Robustness Through Operational Methods,'' in Habitation 2006: An international conference on space habitation research and technology development, 2006. | 2006 |
|
|
| Procedures as a Gateway to Spacecraft Autonomy, in AAAI Fall Symposium on Spacecraft Autonomy, 2006. | 2006 |
|
|
| Issues in Integrated Health Management of Life Support Systems, in Proceedings 1st First International Forum on Integrated System Health Engineering and Management for Aerospace (ISHEM'05), 2005. | 2005 |
|
|
| Simulating Lunar Habitats and Activities to Derive System Requirements, in Proceedings 1st AIAA Space Exploration Conference, 2005. | 2005 |
|
|
| Using AI and simulations to design and control space habitats, poster paper in Proceedings International Joint Conference on Artificial Intelligence (IJCAI) (www.ijcai.org), 2005. | 2005 |
|
|
| Using Dynamic Simulations and Automated Decision Tools to Design Lunar Habitats, in Proceedings 35th International Conference on Environmental Systems, SAE Paper Number 2005-01-2962, 2005. | 2005 |
|
|
| Requirements for an Autonomous Control Architecture for Advanced Life Support Systems, in Proceedings 35th International Conference on Environmental Systems, SAE Paper Number 2005-01-3010, 2005. | 2005 |
|
|
| Planner-Based Control of Advanced Life Support Systems, in Proceedings 35th International Conference on Environmental Systems, SAE Paper Number 2005-01-2961, 2005. | 2005 |
|
|
| Multi-scale Modeling of Advanced Life Support Systems, in Proceedings 35th International Conference on Environmental Systems, SAE Paper Number 2005-01-2962, 2005. | 2005 |
|
|
| Collecting and Analyzing Data from Distributed Control Programs, in Formal Methods and Systems Design Journal, 24, pp. 157-188, 2004. | 2004 |
|
|
| Trusted Autonomy for Spaceflight Systems, in Proceedings 1st Space Exploration Conference: Continuing the Voyage of Discovery available from American Institute of Aeronautics and Astronautics. | 2004 |
|
|
| Using Reinforcement Learning to Control Life Support Systems, in Proceedings of the International Conference on Environmental Systems, 2004. | 2004 |
|
|
| A Day in an Astronaut's Life: Reflections on Advanced Planning and Scheduling Technology, in IEEE Intelligent Systems Magazine, April/March, 2003. | 2003 |
|
|
| Intelligent Control of a Water Recovery System: Three Years in the Trenches, in AI Magazine, Vo. 24, No. 1, Spring 2003. | 2003 |
|
|
| Simulating advanced life support systems for integrated controls research, in Proceedings 33rd International Conference on Environmental Systems (ICES), July 2003. | 2003 |
|
|
| Activities of the NASA Exploration Team Human-Robotics Working Group, in Proceedings of the AIAA Space Conference 2003, 2003. | 2003 |
|
|
| BioSim: An Integrated Simulation of an Advanced Life Support System for Intelligent Control Research, in The 7th International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS-03), 2003. | 2003 |
|
|
| A Survey of Space Robotics, The 7th International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS-03), 2003. | 2003 |
|
|
| Experiments with an EVA Assistant Robot, in The 7th International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS-03), 2003. | 2003 |
|
|
| Helping Humans: Agents for Distributed Space Operations, in The 7th International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS-03), 2003. | 2003 |
|
|
| Aiding Collaboration Among Humans and Complex Software Agents, Working Notes, AAAI Spring Symposium on Human Interaction with Autonomous Systems in Complex Environments , 2003. | 2003 |
|
|
| Supporting group interactions among humans and autonomous agents, in Connection Science, Vol. 14, Number 4, 2002, pages 361 -- 369. | 2002 |
|
|
| Intelligent Control of Life Support for Space Missions, in IEEE Intelligent Systems Magazine, September/October, 2002. | 2002 |
|
|
| A Suite of Tools for Debugging Distributed Autonomous Systems, in Proceedings of the IEEE International Conference on Robotics and Automation, 2002. | 2002 |
|
|
| User Interaction with Multi-Robot Systems, in Workshop on Multi-Robot Systems, 2002. | 2002 |
|
|
| Designing an Architecture for Adjustably Autonomous Robot Teams, in PRICAI Workshop Reader, LNAI 2112, eds. R. Kowalcyk, S. W. Lake, N. Reed, and G. Williams, Springer-Verlag, New York, 2001. | 2001 |
|
|
| Designing Human-Centered Autonomous Agents, in PRICAI Workshop Reader, LNAI 2112, eds. R. Kowalcyk, S. W. Lake, N. Reed, and G. Williams, Springer-Verlag, New York, 2001. | 2001 |
|
|
| Distributed, Autonomous Control of Space Habitats, in IEEE Aerospace Conference, 2001. | 2001 |
|
|
| Collecting and Analyzing Data from Distributed Control Programs, in Workshop on Run-time Verification (also in Electronic Notes in Theoretical Computer Science Vol. 55, no. 2, 2001. | 2001 |
|
|
| The Roles of Machine Learning in Robust Autonomous Systems, in Working Notes AAAI Spring Symposium on Robust Autonomy, 2001. | 2001 |
|
|
| Distributed Visual Servoing with a Roving Eye, in Intelligent Robotics and Systems (IROS), 2000. | 2000 |
|
|
| Designing visualization tools for a distributed control architecture, in Intelligent Autonomous Systems Conference (IAS-6), 2000. | 2000 |
|
|
| Adjustable Control Autonomy for Manned Space Flight, in IEEE Aerospace Conference, 2000. | 2000 |
|
|
| Real-time autonomous control of space habitats, in AAAI 2000 Spring Symposium on Real-Time Autonomous Control | 2000 |
|
|
| Activity Planning for Long Duration Space Missions, in AAAI-2000 Workshop on Representational Issues for Real-World Planning Systems | 2000 |
|
|
| Integrating Active Perception with an Autonomous Robot ArchitectureRobotics and Automation Journal, Vol. 29, pp. 175-186, 1999. | 1999 |
|
|
| Integrating a Behavior-based Approach to Active Stereo Vision with an Intelligent Control Architecture for Mobile Robots, to appear in Hybrid Information Processing in Adaptive Autonomous Vehicles, ed. Gerhard K. Kraetzschmar and Gunther Palm, Springer-Verlag, 1998. | 1999 |
|
|
| An Intelligent Software Architecture for Semi-autonomous Robot Control,3rd International Conference on Autonomous Agents Workshop on Autonomy Control Software, May 1999. | 1999 |
|
|
| A Behavior-based Approach to Active Stereo Vision for Mobile Robots, in Engineering Applications of Artificial Intelligence, Vol. 11, pp. 229-243, 1998. | 1998 |
|
|
| "Integrating High Speed Obstacle Avoidance, Global Path Planning and Vision Sensing on a Mobile Robot" in Mobile Robots and Artificial Intelligence, ed. David Kortenkamp, R. Peter Bonasso, and Robin Murphy, AAAI Press, 1998. | 1998 |
|
|
| "Mobile Robots: A Proving Ground for Artificial Intelligence" in Mobile Robots and Artificial Intelligence, ed. David Kortenkamp, R. Peter Bonasso, and Robin Murphy, AAAI Press, 1998. | 1998 |
|
|
| Integrating Active Perception with an Autonomous Robot Architecture, International Conference on Autonomous Agents'98, 1998. | 1998 |
|
|
| Adjustable Autonomy for Human-Centered Autonomous Systems on Mars, Mars Society Conference>, August, 1998. | 1998 |
|
|
| Integrating Robotics Research, 1998 AAAI Spring Symposium, March, 1998. | 1998 |
|
|
| A Behavior-based, Visual Architecture for Autonomous Robots, in IEEE Workshop on Perception for Mobile Agents, June, 1998. | 1998 |
|
|
| Three NASA Application Domains for Integrated Planning, Scheduling and Execution, in AIPS Workshop on Integrating Planning, Scheduling and Execution in Dynamic and Uncertain Environments, 1998. | 1998 |
|
|
| "Applying a Layered Control Architecture to a Freeflying Space Camera" IEEE Symposium on Intelligence in Automation and Robotics, 1998. | 1998 |
|
|
| "Three Tier Architecture for Controlling Space Life Support Systems," IEEE Symposium on Intelligence in Automation and Robotics, 1998. | 1998 |
|
|
| Software Architecture for Hardware Agents," Journal of Experimental and Theoretical Artificial Intelligence, Vol. 9, No. 1, 1997. | 1997 |
|
|
| Experiences with an Architecture for Intelligent, Reactive Agents, Journal of Experimental and Theoretical Artificial Intelligence, Vol. 9, No. 1, 1997. | 1997 |
|
|
| The 1996 AAAI Mobile Robot Competition and Exhibition, AI Magazine, Vol. 18, No. 1, 1997. | 1997 |
|
|
| Using a Robot Control Architecture to Automate Space Shuttle Operations, 9th Conference on Innovative Applications of AI (IAAI97), July, 1997. | 1997 |
|
|
| Traded Control with Autonomous Robots as Mixed Initiative Interaction AAAI Spring Symposium on Mixed Initiative Interaction, March, 1997. | 1997 |
|
|
| A Planning, Scheduling and Control Architecture for Advanced Life Support Systems, NASA Workshop on Planning and Scheduling for Space, October, 1997. | 1997 |
|
|
| The 1995 IJCAI Robot Competition and Exhibition in AI Magazine, Vol. 17, No. 1, Spring 1996. | 1996 |
|
|
| Recognizing and Interpreting Gestures on a Mobile Robot, AAAI-96, 1996. | 1996 |
|
|
| Using a Layered Control Architecture to Alleviate Planning with Incomplete InformationAAAI Spring Symposium on Planning with Incomplete Information for Robot Problems, March, 1996. | 1996 |
|
|
| Experiences with an Architecture for Intelligent, Reactive Agents In Intelligent Agents II: Agent Theories, Architectures, and Languages, ed. Michael Wooldridge, Joerg P. Mueller, and Milind Tambe, Springer-Verlag, 1995. | 1995 |
|
|
| "Issues on Building Software for Hardware Agents" Knowledge Engineering Reviews Vol. 10, No. 3, 1995. | 1995 |
|
|
| Prototypes, Location and Associative Networks (PLAN): Towards a Unified Theory of Cognitive Mapping, The Journal of Cognitive Science, Vol. 19, No. 1, 1995. | 1995 |
|
|
| A Mobile Robot That Recognizes People 1995 IEEE International Conference on Tools with Artificial Intelligence, 1995. | 1995 |
|
|
| Using stereo vision to pursue moving agents with a mobile robot 1995 IEEE International Conference on Robotics and Automation, May, 1995. | 1995 |
|
|
| Vision for Mobile Robots, Advances in Image Processing and Machine Vision, ed. Jorge Sanz, Springer-Verlag, 1995. | 1995 |
|
|
| Recognizing and Interpreting Gestures within the Context of an Intelligent Robot Control Architecture Working Notes: 1995 AAAI Fall Symposium on Embodied Language and Action, 1995. | 1995 |
|
|
| "Characterizing an Architecture for Intelligent, Reactive Agents," Working Notes: 1995 AAAI Spring Symposium on Lessons Learned from Implemented Software Architectures for Physical Agents, March, 1995. | 1995 |
|
|
| Topological mapping for mobile robots using a combination of sonar and vision sensing Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI-94), July, 1994. | 1994 |
|
|
| Mobile robot exploration and navigation of indoor spaces using sonar and vision. In Proceedings of the 1994 AIAA/NASA Conference on Intelligent Robots in Field, Factory, Service, and Space (CIRFFSS '94), March, 1994. | 1994 |
|
|
| Perception for mobile robot navigation: A survey of the state of the art.Proceedings of the NASA Dual-Use Space Technology Transfer Conference, 1994. | 1994 |
|
|
| An Intelligent Agent Architecture In Which to Pursue Robot Learning.Working Notes: MCL-COLT '94 Robot Learning Workshop., July, 1994. | 1994 |
|
|
| Integrated Mobile Robot Design: Winning the AAAI-92 Robot Competition. IEEE Expert 8(4), 61-73. | 1993 |
|
|
| CARMEL Versus Flakey: A Comparison of Two Winners. AI Magazine, 14(1), 49-57. | 1993 |
|
|
| A directional spreading activation network for mobile robot navigation. From Animals to Animats 2: Proceedings of the Second International Conference on Simulation of Adaptive Behavior. Ed. J. A. Meyer, H. L. Roitblat and S. W. Wilson,, MIT Press, 1993. | 1993 |
|
|
| MICE and the Science of Vacuuming, Working Notes of the AAAI Fall Symposium on Instantiating Real-World Agents, October 1993. | 1993 |
|
|
| Cognitive maps for mobile robots: A representation for mapping and navigation. PhD Thesis, University of Michigan, 1993. | 1993 |
|
|
| "Using Gateways to Build a Route Map," Proceedings IEEE/RSJ International Conference on Intelligent Robots and Systems, 1992. | 1992 |
|
|
| "Integrating High-Speed Obstacle Avoidance, Global Path Planning, Visual Cue Detection and Landmark Triangulation in a Mobile Robot," Proceedings SPIE Mobile Robots VII, 1992. | 1992 |
|
|
| "Computer Vision for CARMEL," Proceedings SPIE Mobile Robots VII, 1992. | 1992 |
|
|
| "Applying Computational Theories of Cognitive Mapping to Mobile Robots," Working Notes: AAAI Fall Symposium on Applications of Artificial Intelligence to Real-World Mobile Robots, 1992. | 1992 |
|
|
| CARMEL vs. Flakey: A comparison of two robots. American Association for Artificial Intelligence Technical Report RC-92-01, 1992. | 1992 |
|
