Skip to main content
The AIG web pages make heavy use of cascading style sheet features for formatting. You may still browse the text of the site, but for best results, please use a CSS enabled browser. Netscape 6 and Mozilla 5 are good. IE 5 will do.

JPL Header



Navigation Sidebar



Main Content


Publications

Ingham

A Control Architecture for Safe Human-Robotic Interactions During Lunar Surface Operations ABSTRACT - Long duration human-robotic missions to the Moon and beyond will require increased use of automation beyond current Space Shuttle and International Space Station practice. This paper explores the appl ... D. Wagner, D. Dvorak, L. Baroff, A. Mishkin, M. Ingham, M. Bennett, D. Mittman AIAA Infotech@Aerospace 2009. Seattle, WA. April 2009 . + PDF CL#09-1177
An Architectural Pattern for Goal-Based Control ABSTRACT - Time-based command sequencing is the time-honored paradigm for control of spacecraft and rovers in NASA's robotic missions, but the paradigm has been increasingly strained to accommodate today's miss ... M. Bennett, D. Dvorak, J. Hutcherson, M. Ingham, R. Rasmussen, D. Wagner IEEE Aerospace Conference. Big Sky, MT. March 2008 . + PDF CL#07-3810
Goal-Based Operations of an Antenna Array for Deep Space Communication ABSTRACT - NASA is currently evaluating the benefits of transitioning to a highly reconfigurable network of arrayed disk antennas to support an increasing number of deep space missions. The next-generation Deep ... J. Choi, A. Coleman, D. Dvorak, J. Hutcherson, M. Ingham, C.Y. Lee, P. Wolgast iSAIRAS. Los Angeles, CA. Feb 2008 . + PDF CL#07-4366
Application of a Safety-Driven Design Methodology to an Outer Planet Exploration Mission ABSTRACT - Traditional requirements specification and hazard analysis techniques have not kept pace with the increasing complexity and constraints of modern space systems development. These techniques are incom ... B.D. Owens, M.S. Herring, N. Dulac, N.G. Leveson, M. Ingham, K. Weiss IEEE Aerospace Conference. Big Sky, MT. March 2008 . + PDF CL#07-3687
Verification Procedure for Generalized Goal-Based Programs ABSTRACT - Safety verification of fault-tolerant control systems is essential for the success of autonomous robotic systems. A control architecture called Mission Data System, developed at the Jet Propulsion L ... J. Braman, R. Murray, M. Ingham AIAA Infotech@Aerospace Conference. Rohnert Park, CA. May 2007 . + PDF CL#07-1653
Goal-Based Operations: An Overview ABSTRACT - Operating robotic space missions via time-based command sequences has become a limiting factor in the exploration, defense, and commercial sectors. Command sequencing was originally designed for comp ... D. Dvorak, M. Ingham, J.R. Morris, J. Gersh AIAA Infotech@Aerospace Conference. Rohnert Park, CA. May 2007 . + PDF CL#07-1392
Practical Application of Model-based Programming and State-based Architecture to Space Missions ABSTRACT - Innovative systems and software engineering solutions are required to meet the increasingly challenging demands of deep-space robotic missions. While recent advances in the development of integrated s ... G. Horvath, M. Ingham, S. Chung, O. Martin, B. Williams IEEE International Conference on Space Mission Challenges for Information Technology. Pasadena, CA. July 2006 . + PDF CL#06-1577
Application of State Analysis and Goal-Based Operations to a MER Mission Scenario ABSTRACT - State analysis is a model-based systems engineering metholodogy employing a rigorous discovery process which articulates operations concepts and operability needs as an integrated part of system desi ... J.R. Morris, M. Ingham, A. Mishkin, R. Rasmussen, T. Starbird SpaceOps Conference. Rome, IT. June 2006 . + PDF CL#06-1566
A Model-Based Requirements Database Tool for Complex Embedded Systems ABSTRACT - It has become clear that spacecraft system complexity is reaching a threshold where customary methods of control are no longer affordable or sufficiently reliable. At the heart of this problem are th ... M. Bennett, R. Rasmussen, M. Ingham International Council on Systems Engineering (INCOSE) International Symposium. Washington DC. May 2005 . + PDF CL#04-3613
State-Based Models for Planning and Execution ABSTRACT - Many traditional planners are build on top of existing execution engines that were not necessarily intended to be operated by a planner. The Mission Data System has been designed from the onset to ha ... M. Bennett, R. Knight, R. Rasmussen, M. Ingham International Conference on Automated Planning and Scheduling (ICAPS). Monterey, CA. June 2005 . + PDF CL#05-0762
A Unifying Framework for Systems Modeling, Control Systems Design, and System Operation ABSTRACT - Current engineering practice in the analysis and design of large-scale multi-disciplinary control systems is typified by some form of decomposition -- whether functional or physical or discipline-base ... D. Dvorak, M. Indictor, M. Ingham, R. Rasmussen, M. Stringfellow IEEE System, Man, and Cybernetics Conference. Kona, HI. October 2005 . + PDF CL#05-0805
Achieving Control and Interoperability Through Unified Model-Based Engineering and Software Engineering ABSTRACT - This paper describes the control challenge faced by future exploration systems and outlines a realistic approach to solving it, based upon a unified, principled architectural approach to both software ... R. Rasmussen, M. Ingham, D. Dvorak AIAA Infotech@Aerospace Conference. Arlington, VA. September 2005 . + PDF CL#05-2806
Planning for V&V of the Mars Science Laboratory Rover Software ABSTRACT - NASA's Mars Science Laboratory (MSL) rover mission is planning to make use of advanced software technologies in order to support fulfillment of its ambitious science objectives. The mission plans to a ... M. Feather, L. Fesq, M. Ingham, S. Klein, S. Nelson IEEE Aerospace Conference. Big Sky, MT. March 2004 . + PDF CL#03-2911
Engineering Complex Embedded Systems with State Analysis and the Mission Data System ABSTRACT - It has become clear that spacecraft system complexity is reaching a threshold where customary methods of control are no longer affordable or sufficiently reliable. At the heart of this problem are th ... M. Ingham, R. Rasmussen, M. Bennett, A. Moncada AIAA Intelligent Systems Technical Conference. Chicago, IL. September 2004 . AIAA Journal of Aerospace Computing, Information and Communication . Vol. 2, No. 12, December 2005 , pp-507-536. + PDF CL#04-2815
Generating Requirements for Complex Space Systems Using State Analysis ABSTRACT - It has become clear that spacecraft system complexity is reaching a threshold where customary methods of control are no longer affordable or sufficiently reliable. At the heart of this problem are th ... M. Ingham, R. Rasmussen, M. Bennett, A. Moncada International Astronautical Federation Congress. Vancouver, Canada. October 2004 . Acta Astronautica . Vol. 58, No. 12, June 2006 , pp-648-661. + PDF CL#04-2816

Publications

+ Complete Bibliography
+ Featured Publications
+ MDS TSPA Docushare Repository

By Year

+ 2010
+ 2009
+ 2008
+ 2007
+ 2006
+ 2005
+ 2004
+ 2003
+ 2002
+ 2001
+ 2000

By Author

+ Choi
+ Barrett
+ Bennett
+ Dvorak
+ Horvath
+ Ingham
+ Lee
+ Knight
+ Kordon
+ Mishkin
+ Morris
+ Murray
+ Rasmussen
+ Reeves
+ Reinholtz
+ Starbird
+ Wagner
+ Weiss
+ Wolgast


Copyright Notice

This material is provided for your personal use only and may not be retransmitted or redistributed without permission in writing from the paper's publisher and/or author.

You may not upload this material to any public server, on-line service, network, or bulletin board without prior written permission from the publisher and/or author. You may not make copies for any commercial purpose.

This material is not public domain. Reproduction or storage of materials retrieved from this web site are subject to the U.S. Copyright Act of 1976, Title 17 U.S.C.


Footer