Modeling Heterogeneous Real-time Components in BIP, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), 2006. ,
DOI : 10.1109/SEFM.2006.27
URL : https://hal.archives-ouvertes.fr/hal-00375298
Recursive and dynamic software composition with sharing, Proceedings of the 7th ECOOP International Workshop on Component-Oriented Programming (WCOP02), pp.1-8, 2002. ,
Genom: A tool for the specification and the implementation of operating modules in a distributed robot architecture, IEEE/RSJ International Conference on Intelligent Robots and Systems, pp.842-848, 1997. ,
ESL: a language for supporting robust plan execution in embedded autonomous agents, 1997 IEEE Aerospace Conference, 1997. ,
DOI : 10.1109/AERO.1997.574422
PRS: a high level supervision and control language for autonomous mobile robots, Proceedings of IEEE International Conference on Robotics and Automation, 1996. ,
DOI : 10.1109/ROBOT.1996.503571
A Plan Manager for Multi-robot Systems, The International Journal of Robotics Research, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00166798
Managing plans: Integrating deliberation and reactive execution schemes, Robotics and Autonomous Systems, vol.58, issue.9, 2010. ,
DOI : 10.1016/j.robot.2010.05.005
Towards the formal verication of the functional architecture of autonomous satellite onboard flight software, Proceedings of CAR'2008, 2008. ,
A deliberative architecture for AUV control, 2008 IEEE International Conference on Robotics and Automation, pp.1049-1054, 2008. ,
DOI : 10.1109/ROBOT.2008.4543343
ROS: an open-source Robot Operating System, Open-Source Software workshop of the International Conference on Robotics and Automation (ICRA), 2009. ,
Mca -an expandable modular controller architecture, Proccedings of the 3rd Real-Time Linux Workshop, 2001. ,
A Software Framework for Real-Time and Distributed Robot and Machine Control, 2006. ,
Component composition validation, International Journal of Applied Mathematics and Computer Science, vol.12, issue.4, p.581590, 2002. ,