Dependable execution control for autonomous robots

2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)

Volumn 2, Issue , 2004, Pages 1136-1141

  Py, Frédéric ^a   Ingrand, Félix ^a  

^a LAAS CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SOFTWARE; CONTROL EQUIPMENT; DATA STRUCTURES; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; ROBOTICS; SATELLITES;

AUTONOMOUS SYSTEMS; DESIGN ERRORS; REAL-TIME EXECUTION CONTROL; SOFTWARE ARCHITECTURE;

ROBOTS;

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

References (16)

1. N. Muscettola, P. P. Nayak, B. Pell, and B. Williams, "Remote agent : To boldly go where no ai system has gone before," Aritificial Intelligence, vol. 103, 1998.
2. P. Klein, "The Safety Bag Expert System in the Electronic Railway Interlocking System ELEKTRA," Expert Systems with Applications, pp. 499-560, 1991.
3. R. Alami, R. Chatila, S. Fleury, M. Ghallab, and F. Ingrand, "An architecture for autonomy," International Journal of Robotics Research, Special Issue on Integrated Architectures for Robot Control and Programming, vol. 17, no. 4, pp. 315-337, April 1998.
4. R. Volpe, I.A.D. Nesnas, T. Estlin, D. Mutz, R. Petras, and H. Das, "The CLARAty Architecture for Robotic Autonomy.," in Proceedings of the 2001 IEEE Aerospace Conference, Big Sky Montana, March 2001.
5. A. D. de Medeiros, R. Chatilla, and S. Fleury, "Specification and Validation of a Control Architecture for Autonomous Mobile Robots," in IROS. 1996, pp. 162-169, IEEE.
6. B. Espiau, K. Kapellos, and M. Jourdan, "Formal verification in robotics: Why and how," in The International Foundation for Robotics Research, editor, The Seventh International Symposium of Robotics Research, Munich, Germany, October 1995, pp. 201-213, Cambridge Press.
7. F. Boussinot and R. de Simone, "The ESTEREL Language," Proceeding of the IEEE, pp. 1293-1304, September 1991.
8. B. C. Williams, M. D. Ingham, S. Chung, P. Elliott, M. Hofbaur, and G. T. Sullivan, "Model-Based Programming of Fault-Aware Systems," Artificial Intelligence, pp. 61-75, winter 2003.
9. F. Maraninchi K. Altisen, A. Clodic and E. Rutten, "Using controller synthesis to build property-enforcing layers," in European Symposium on Programming (ESOP), Apr. 2003.
10. R. P. Goldman and D. J. Musliner, "Using Model Checking to Plan Hard Real-Time Controllers," in Proc. AIPS Workshop on Model-Theoretic Approaches to Planning, April 2000.
11. R. Simmons, C. Pecheur, and G. Srinivasan, "Towards automatic verification of autonomous systems," in IEEE/RSJ International conference on Intelligent Robots & Systems, 2000.
12. I.A. Nesnas, A. Wright, M. Bajracharya, R. Simmons, and T. Estlin, "Claraty and challenges of developing interoperable robotic software," in International Conference on Intelligent Robots and Systems (IROS), Nevada, October 2003, invited paper.
13. N. Muscettola, G. A. Dorais, C. Fry, R. Levinson, and C. Flaunt, "Idea: Planning at the core of autonomous reactive agents," in Proceedings of the 3rd International NASA Workshop on Planning and Scheduling for Space, October 2002.
14. F. Ingrand and F. Py, "Online execution control checking for autonomous systems," in International Conference on Intelligent Autonomous Systems, Marina del Rey USA, March 2002.
15. R. E. Bryant, "Graph-based algorithms for Boolean function manipulation," IEEE Transactions on Computers, vol. C-35, no. 8, pp. 677-691, Aug. 1986.
16. F. Ingrand and F. Py, "An execution control system for autonomous robots," in IEEE International Conference on Robotics and Automation, Washington DC (USA), May 2002.