K. Kapellos

Computer-aided design of a generic robot controller handling reactivity and real-time control issues

Bernard Espiau, K. Kapellos · IEEE Transactions on Control Systems Technology · 1993 · 113 citations

Robotic Systems, Engineering, Intelligent Robotics +19

On the Validation of Robotics Control Systems Part I: High Level Specification and Formal Verification

Bernard Espiau, K. Kapellos, Muriel Jourdan et al. · OpenGrey (Institut de l'Information Scientifique et Technique) · 1995 · 19 citations · Full text

Complex Applications, Robotic Systems, Engineering +21

Control laws, tasks and procedures with ORCCAD: application to the control of an underwater arm

D. Simon, K. Kapellos, Bernard Espiau · International Journal of Systems Science · 1998 · 18 citations

Engineering, Underwater Arm, Underwater System +28

ORCCAD: software engineering for real-time robotics. A technical insight

Bernard Espiau, K. Kapellos, Roger Pissard-Gibollet · Robotica · 1997 · 13 citations

Robotic Systems, Engineering, Robotic Agent +18

Task level specification and formal verification of robotics control systems: State of the art and case study

K. Kapellos, Daniel Simon, M. Jourdant et al. · International Journal of Systems Science · 1999 · 11 citations

Complex Applications, Robotic Systems, Engineering +18