Model-Based Programming of Fault-Aware Systems

AI Magazine

Volumn 24, Issue 4, 2003, Pages 61-75

  Williams, Brian C ^a   Ingham, Michel D ^a   Chung, Seung ^b   Elliott, Paul ^c   Hofbaur, Michael ^b   Sullivan, Gregory T ^b  

^a CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^c Caltech Jet Propulsion Laboratory ^*

Author keywords

[No Author keywords available]

Indexed keywords

FAULT-AWARE SYSTEMS; MODEL-BASED PROGRAMMING;

COMPUTER PROGRAMMING LANGUAGES; CONTROL EQUIPMENT; EMBEDDED SYSTEMS; FAILURE ANALYSIS; LEARNING SYSTEMS; MATHEMATICAL MODELS; SENSORS;

COMPUTER PROGRAMMING;

EID: 0347316816     PISSN: 07384602     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (22)

1. Bernard, D.; Dorais, G.; Gamble, E.; Kanefsky, B.; Kurien, J.; Man, G.; Millar, W.; Muscettola, N.; Nayak, P.; Rajan, K.; Rouquette, N.; Smith, B.; Taylor, W.; and Tung, Y. 1999. Spacecraft Autonomy Flight Experience: The DS1 Remote Agent Experiment. Paper presented at the Thirty-Fifth American Institute of Aeronautics and Astronautics Joint Propulsion Conference, 20-24 June, Los Angeles, California.
2. Berry, G. 1989. Real-Time Programming: General-Purpose or Special-Purpose Languages. In Information Processing '89, ed. G. Ritter, 11-17. New York: Elsevier.
3. Davis, R. 1984. Diagnostic Reasoning Based on Structure and Behavior, Artificial Intelligence 24(3): 347-410.
4. de Kleer, J., and Williams, B. C. 1989. Diagnosis with Behavioral Modes. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI-89), 1324-1330. Menlo Park, Calif.: International Joint Conferences on Artificial Intelligence.
5. de Kleer, J., and Williams, B. C. 1987. Diagnosing Multiple Faults. Artificial Intelligence 32(1): 97-130.
6. de Kleer, J.; Mackworth, A.; and Reiter, R. 1992. Characterizing Diagnoses and Systems. Artificial Intelligence 56(2-3): 197-222.
7. Firby, R. J. 1995. The RAP Language Manual, Animate Agent Project Working Note, AAP-6, University of Chicago.
8. Harel, D. 1987. Statecharts: A Visual Approach to Complex Systems. In Science of Computer Programming, Volume 8, 231-274. Amsterdam, The Netherlands: Elsevier North-Holland.
9. Henzinger, T. 1996. The Theory of Hybrid Automata. Paper presented at the Eleventh IEEE Symposium on Logic in Computer Science (LICS '96), 27-30 July, New Brunswick, New Jersey.
10. Hofbaur, M., and Williams, B. C. 2002. Mode Estimation of Probabilistic Hybrid Systems. Paper presented at the Fifth International Workshop, Hybrid Systems: Computation and Control (HSCC2002), 25-27 March, Stanford, California.
11. Kim, P.; Williams, B. C.; and Abramson, M. 2001. Executing Reactive, Model-Based Programs through Graph-Based Temporal Planning. In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 487-493. Menlo Park, Calif.: International Joint Conferences on Artificial Intelligence.
12. Li, S., and Bar-Shalom, Y. 1996. Multiple-Model Estimation with Variable Structure. IEEE Transactions on Automatic Control 41(4): 478-493.
13. Maybeck, P., and Stevens, R. 1991. Reconfigurable Flight Control via Multiple Model Adaptive Control Methods. IEEE Transactions on Aerospace and Electronic Systems 27(3): 470-480.
14. Tsamardinos, I.; Muscettola, N.; and Morris, P. 1998. Fast Transformation of Temporal Plans for Efficient Execution. In Proceedings of the Fifteenth National Conference on Artificial Intelligence, 254-261. Menlo Park, Calif.: American Association for Artificial Intelligence.
15. Williams, B. C., and Nayak, P. 1997. A Reactive Planner for a Model-Based Executive. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97), 1178-1185. Menlo Park, Calif.: International Joint Conferences on Artificial Intelligence.
16. Williams, B. C., and Nayak, P. 1996a. A Model-Based Approach to Reactive Self-Configuring Systems. In Proceedings of the Thirteenth National Conference on Artificial Intelligence, 971-978. Menlo Park, Calif.: American Association for Artificial Intelligence.
17. Williams, B. C., and Nayak, P. P. 1996b. Immobile Robots: Al in the New Millennium. AI Magazine 17(3): 16-35.
18. Williams, B. C., and Ragno, R. 2004. CONFLICT-DIRECTED A* and Its Role in Model-Based Embedded Systems. Journal of Discrete Applied Mathematics (Special issue on Theory and Applications of Satisfiability Testing). Forthcoming.
19. Williams, B. C.; Chung, S.; and Gupta, V. 2001. Mode Estimation of Model-Based Programs: Monitoring Systems with Complex Behavior. In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 579-585. Menlo Park, Calif.: International Joint Conferences on Artificial Intelligence.
20. Williams, B. C.; Ingham, M.; Chung, S.; and Elliott, P. 2003. Model-Based Programming of Intelligent Embedded Systems and Robotic Explorers. IEEE Proceedings (Special issue on Modeling and Design of Embedded Software) 9(1): 212-237.
21. Williams, B. C.; Kim, P.; Hofbaur, M.; How, J.; Kennell, J.; Loy, J.; Ragno, R.; Stedl, J.; and Walcott, A. 2001. Model-Based Reactive Programming of Cooperative Vehicles for Mars Exploration. Paper presented at the 2001 International Symposium on Artificial Intelligence, Robotics, and Automation in Space, 18-22 June, Montreal, Canada.
22. Young, T.; Arnold, J.; Brackey, T.; Carr, M.; Dwoyer, D.; Fogelman, R.; Jacobsen, R.; Kottler, H.; Lyman, P.; Maguire, J.; Pattishall, R.; Soderblom, L.; Staudhammer, P.; Thornton, K.; Wilhelm, P.; Williams, B.; and Zuber, M. 2000. Mars Program Independent Assessment, Technical report to the NASA Administrator and Congress, National Aeronautics and Space Administration, Washington, D.C.