D.P. Tsakiris, K. Kapellos, C. Samson, P. Rives and J.-J. Borrelly:
"Experiments in Real-time Vision-based Point Stabilization
of a Nonholonomic Mobile Manipulator" ,
5th International Symposium on Experimental Robotics (ISER'97) ,
Barcelona, Spain, June 15-18, 1997.
B. Espiau, K. Kapellos and M. Jourdan:
"Verification in Robotics: Why and How?" ,
Robotics Research, the seventh International Symposium,
October 1995, Giralt and Hirzinger editor, Springer Verlag.
D. Simon, K. Kapellos and B. Espiau
"Control laws, Tasks and Procedures with Orccad: Application to the
Control of an Underwater Arm" ,
to appear International Journal of Systems Science, 1997.
D. Simon, B. Espiau, K. Kapellos and R. Pissard-Gibollet:
``Orccad: Software Engineering for Real-time Robotics: A Technical Insight'',
D. Simon, B. Espiau, E. Castillo, K. Kapellos:
"Computer-aided Design of a Generic Robot Controller Handling Reactivity
and Real-time Control Issues" ,
D. Simon, K. Kapellos and B. Espiau: Design of Control:
Procedures for a Free-Floating Underwater Manipulation System,
D. Simon, K. Kapellos and B. Espiau:
Control laws, Tasks and Procedures with Orccad: Application to the Control
of an Underwater Arm,
B. Espiau, K. Kapellos, E. Coste-Mani\`ere, and N. Turro:
Formal mission specification in an open architecture,
K. Kapellos, S. Abdou, M. Jourdan, B. Espiau :
``Specification, Formal Verification and Implementation of Tasks and
Missions for an Autonomous Vehicle",
R. Pissard-Gibollet, K. Kapellos, P. Rives, J.J. Borrelly :
``Real-Time Programming of Mobile Robot Actions Using Advanced Control Techniques",
D. Simon, K. Kapellos, B. Espiau, M. Jourdan :
Formal Verification of Missions and Tasks,
P. Rives, R. Pissard-Gibollet, K. Kapellos :
``Development of a Reactive Mobile Robot Using Real Time Vision",
B. Espiau, K. Kapellos, M. Jourdan, and D. Simon :
On the Validation of Robotics Control Systems. Part I: High level
Specification and Formal verification,
K. Kapellos and B. Espiau :
"Implementation with Orccad of a Method for Smooth Singularity Crossing" ,
in a 6-DOF Manipulator,
![]() |
![]() ![]() |