Combining special purpose and general purpose languages in real-time programming, IEEE Workshop on Programming Languages for Real-Time Industrial Application, 1998. ,
Formalisation et intégration en vision par ordinateur temps réel, 1999. ,
BIPedal walking:from gait design to experimental analysis. Mechatronics, pp.639-665, 2004. ,
URL : https://hal.archives-ouvertes.fr/inria-00078462
The esterel v5 language primer, 2000. ,
The ORCCAD Architecture, The International Journal of Robotics Research, vol.17, issue.4, pp.338-359, 1998. ,
DOI : 10.1177/027836499801700403
URL : https://hal.archives-ouvertes.fr/hal-00930119
Symbolic bisimulation minimisation, Computer Aided Verification, number 663 in Lecture Notes in Computer Science, 1993. ,
DOI : 10.1007/3-540-56496-9_9
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.5161
Towards component-based robotics, 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp.163-168, 2005. ,
DOI : 10.1109/IROS.2005.1545523
Open robot control software: the OROCOS project, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164), 2001. ,
DOI : 10.1109/ROBOT.2001.933002
A conservative extension of synchronous data-flow with state machines, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05, 2005. ,
DOI : 10.1145/1086228.1086261
The MAESTRO language and its environment: Specification, validation and control of robotic missions, 10th IEEE/RSJ International Conference on Intelligent Robots and Systems, 1997. ,
A survey of modelling approaches for embedded computer control systems (version 2.0), p.11, 2003. ,
Software architecture, Proceedings of the conference on The future of Software engineering , ICSE '00, pp.91-101, 2000. ,
DOI : 10.1145/336512.336537
Software architecture: practice, potential, and pitfalls, Proceedings of 16th International Conference on Software Engineering, 1994. ,
DOI : 10.1109/ICSE.1994.296800
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.201.2884
Efficient System Modeling of Complex Real-Time Industrial Networks Using the ACCORD/UML Methodology, International Workshop on Distributed and Parallel Embedded Systems DIPES, 2000. ,
DOI : 10.1007/978-0-387-35409-5_2
Tools for real-time control systems co-design ? a survey, 2005. ,
OpenHRP: Open Architecture Humanoid Robotics Platform, The International Journal of Robotics Research, vol.23, issue.2, pp.155-165, 2004. ,
DOI : 10.1177/0278364904041324
Environnement de programmation des applications robotiques réactives, 1994. ,
Distributed control of a free-floating underwater manipulation system, 5th Int. Symp. on Experimental Robotics, 1997. ,
DOI : 10.1007/BFb0112994
Task level specification and formal verification of robotics control systems: State of the art and case study, International Journal of Systems Science, vol.30, issue.11, pp.1227-1245, 1999. ,
DOI : 10.1080/002077299291697
Insights on real time systems architecture modelling for a software engineering viewpoint, 17th Euromicro Conference on real-time systems ECRTS05, 2005. ,
Specifying and Verifying Active Vision-Based Robotic Systems with the SIGNAL Environment, The International Journal of Robotics Research, vol.17, issue.4, pp.418-432, 1998. ,
DOI : 10.1177/027836499801700407
URL : https://hal.archives-ouvertes.fr/inria-00352559
Mars microrover navigation: performance evaluation and enhancement, Proceedings 1995 IEEE/RSJ International Conference on Intelligent Robots and Systems. Human Robot Interaction and Cooperative Robots, pp.291-311, 1995. ,
DOI : 10.1109/IROS.1995.525832
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.3668
CLARAty: Challenges and Steps toward Reusable Robotic Software, International Journal of Advanced Robotic Systems, vol.11, issue.4, 2006. ,
DOI : 10.5772/5766
URL : http://doi.org/10.5772/5766
COSARC : Component based software architecture of robot controllers, 1st National Workshop on Control Architecture of Robots: software approaches and issues, 2006. ,
Robot Control: the Task-Function Approach, 1991. ,
Sensor-based control of holonomic autonomous underwater vehicles, INRIA Research Report, 1995. ,
URL : https://hal.archives-ouvertes.fr/inria-00074076
ControlShell: A Software Architecture for Complex Electromechanical Systems, The International Journal of Robotics Research, vol.17, issue.4, pp.360-380, 1998. ,
DOI : 10.1177/027836499801700404
Design of real-time periodic control systems through synchronisation and fixed priorities ,
URL : https://hal.archives-ouvertes.fr/inria-00071908
Design and analysis of synchronization for real-time closed-loop control in robotics, IEEE Transactions on Control Systems Technology, vol.6, issue.4, pp.445-461, 1998. ,
DOI : 10.1109/87.701336
Control laws, tasks and procedures with ORCCAD: application to the control of an underwater arm, International Journal of Systems Science, vol.969, issue.10, pp.1081-1098, 1998. ,
DOI : 10.1109/87.260267
Teledimos telepresence simulation platform for civil work machines : real-time simulation and 3D vision reconstruction, IARP Workshop on Advances in Robotics for Mining and Underground Applications, 2000. ,
Robust Control/Scheduling Co-Design: Application to Robot Control, 11th IEEE Real Time and Embedded Technology and Applications Symposium, pp.118-127, 2005. ,
DOI : 10.1109/RTAS.2005.46
URL : https://hal.archives-ouvertes.fr/inria-00000733