Robust model-based execution of critical spacecraft sequences

Collection of Technical Papers - AIAA 1st Intelligent Systems Technical Conference

Volumn 2, Issue , 2004, Pages 563-593

  Ingham, Michel D ^a,b  

^a CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

^b Flight Software Development and Technology Group   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED PROGRAMMING; GRAPHICAL LANGUAGES; ROBOTIC SPACECRAFT; TIMED MODEL-BASED EXECUTION ARCHITECTURE; TIMED MODEL-BASED PROGRAMMING;

COMPUTATIONAL COMPLEXITY; COMPUTER ARCHITECTURE; COMPUTER SIMULATION; CONSTRAINT THEORY; DECISION MAKING; EMBEDDED SYSTEMS; MARKOV PROCESSES; REAL TIME SYSTEMS; ROBOTICS; ROBUSTNESS (CONTROL SYSTEMS); SPACECRAFT;

SUPERVISORY AND EXECUTIVE PROGRAMS;

EID: 19944406807     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (32)

1. Watson, D., "Model-based Autonomy in Deep Space Missions," IEEE Intelligent Systems, Vol. 18, No. 3, 2003, pp. 8-11.
2. Rouquette, N., Gluck, P., and Kanefsky, R., "The 13th Technology of Deep Space One," Proceedings of the 5th International Symposium on Artificial Intelligence, Robotics and Automation in Space (ISAIRAS'99), 1999.
3. Gat, E., "The MDS Autonomous Control Architecture," Proceedings of the Fourth World Automation Congress (WAC), International Symposium on Intelligent Automation and Control (ISIAC'2000), No. ISIAC-062, 2000.
4. Dvorak, D., Rasmussen, R., Reeves, G., and Sacks, A., "Software Architecture Themes in JPL's Mission Data System," Proceedings of the AIAA Guidance, Navigation, and Control Conference, No. AIAA-99-4553, 1999.
5. Rasmussen, R., "Goal-based Fault Tolerance for Space Systems Using the Mission Data System," Proceedings of the IEEE Aerospace Conference, Big Sky, MT, 2001.
6. Mahadevan, S., "Partially Observable Semi-Markov Decision Processes: Theory and Applications in Engineering and Cognitive Science," Proceedings of the 1998 AAAI Fall Symposium on Planning with Partially Observable Markov Decision Processes, 1998.
7. Ingham, M., "Timed Model-based Programming: Executable Specifications for Robust Mission-Critical Sequences," Sc.D. Thesis, Massachusetts Institute of Technology, Department of Aeronautics and Astronautics, Cambridge, MA, 2003.
8. Williams, B. Ingham, M., Chung, S., and Elliott, P., "Model-based Programming of Intelligent Embedded Systems and Robotic Space Explorers," Proceedings of the IEEE, Vol. 91, No. 1, 2003, pp. 212-237.
9. Berry, G. and Gonthier, G., "The Synchronous Programming Language Esterel: Design, Semantics, Implementation," Science of Computer Programming, Vol. 19, No. 2, 1992, pp. 87-152.
10. Fesq, L., Ingham, M., Pekala, M., Eepoel, J. V., Watson, D., and Williams, B., "Model-based Autonomy for the Next Generation of Robotic Spacecraft," Proceedings of the 53rd International Astronautical Congress of the International Astronautical Federation (IAC'02), No. IAC-02-U.5.04, October 2002.
11. Ingham, M., Williams, B., Lockhart, T., Oyake, A., Clark, M., and Aljabri, A., "Autonomous Sequencing and Model-based Fault Protection for Space Interferometry," Proceedings of the 6th International Symposium on Artificial Intelligence, Robotics and Automation in Space (ISAIRAS'01), 2001.
12. Harel, D., "Statecharts: A Visual Formulation for Complex Systems," Science of Computer Programming, Vol. 8, No. 3, 1987, pp. 231-274.
13. Kesten, Y. and Pnueli, A., "Timed and Hybrid Statecharts and their Textual Representation," Proceedings of the 2nd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Vol. 571 of Lecture Notes in Computer Science, Springer-Verlag, 1992, pp. 591-619.
14. Williams, B., Chung, S., and Gupta, V., "Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior," Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI'01), 2001, pp. 579-590.
15. Williams, B. and Nayak, P., "A Model-based Approach to Reactive Self-configuring Systems," Proceedings of the 13th National Conference on Artificial Intelligence (AAAI'96), 1996, pp. 971-978.
16. Williams, B. and Nayak, P., "A Reactive Planner for a Model-based Executive," Proceedings of the 15th International Joint Conference on Artificial Intelligence (UCAI'97), Vol. 2, 1997, pp. 1178-1185.
17. Firby, R., "The RAP Language Manual," Animate Agent Project Working Note AAP-6, University of Chicago, March 1995.
18. Simmons, R. and Apfelbaum, D., "A Task Description Language for Robot Control," Proceedings of the Conference on Intelligent Robotics and Systems, Vancouver, Canada, October 1998.
19. Alur, R. and Dill, D., "A Theory of Timed Automata," Theoretical Computer Science, Vol. 126, No. 2, 1994, pp. 183-235.
20. Henzinger, T., Manna, Z., and Pnueli, A., "Timed Transition Systems," Proceedings of the 1991 REX Workshop on Real-Time: Theory in Practice, Vol. 600 of Lecture Notes in Computer Science, Springer-Verlag, 1992, pp. 226-251.
21. Ingham, M. and Williams, B., "Timed Model-based Programming: Executable Specifications for Robust Critical Sequences," Proceedings of the International Workshop on Self-Adaptive Software, 2003.
22. Williams, B. and Ingham, M., "Model-based Programming: Controlling Embedded Systems by Reasoning About Hidden State," Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming (CP'02), Vol. 2470 of Lecture Notes in Computer Science, Springer-Verlag, 2002, pp. 508-524.
23. Abadi, M. and Lamport, L., "An Old-fashioned Recipe for Real-time," Proceedings of the 1991 REX Workshop on Real-Time: Theory in Practice, Vol. 600 of Lecture Notes in Computer Science, Springer-Verlag, 1992, pp. 1-27.
24. Kurien, J. and Nayak, P., "Back to the Future for Consistency-based Trajectory Tracking," Proceedings of the 18th National Conference on Artificial Intelligence (AAAI'02), 2000, pp. 370-377.
25. Kaelbling, L., Littman, M., and Cassandra, A., "Planning and Acting in Partially Observable Stochastic Domains," Artificial Intelligence, Vol. 101, No. 1-2, 1998, pp. 99-134.
26. Papadimitriou, C. and Tsitsiklis, J.,"The Complexity of Markov Decision Processes," Mathematics of Operations Research, Vol. 12, No. 3, 1987, pp. 441-450.
27. Sondik, E., The Optimal Control of Partially Observable Markov Decision Processes, Ph.D. thesis, Stanford University, Stanford, CA, 1971.
28. de Kleer, J. and Williams, B., "Diagnosing Multiple Faults," Artificial Intelligence, Vol. 32, No. 1, 1987, pp. 97-130.
29. de Kleer, J. and Williams, B., "Diagnosis with Behavioral Modes," Proceedings of the 11th International Joint Conference on Artificial Intelligence (IJCAI'89), 1989, pp. 1324-1330.
30. Ragno, R., "Solving Optimal Satisfiability Problems through Clause-directed A*," M.Eng. Thesis, Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, Cambridge, MA, 2002.
31. Weld, D., "An Introduction to Least Commitment Planning," AJ Magazine. Vol. 15, No. 4, 1994, pp. 27-61.
32. Schoppers, M., "Universal Plans for Reactive Robots in Unpredictable Environments," Proceedings of the 10th International Joint Conference on Artificial Intelligence (IJCAI'87), Vol. 2, 1987, pp. 1039-1046.