Papers
13
Total Citations
250
H-Index
8
About
K. Kapellos is a pioneering researcher at the intersection of robotics, software engineering, and formal methods, whose work has fundamentally shaped how complex robotic control systems are designed and verified. Best known for developing the Open Robot Controller Computer-Aided Design (ORCCAD) system — his most cited work with over 113 citations — Kapellos created a landmark framework that bridges high-level task specification and real-time implementation, accessible across system, control, and application user levels. This contribution addressed a critical gap in robotics engineering by providing a coherent, structured pathway from abstract design to executable controller code. A recurring theme throughout Kapellos's career is the application of formal verification techniques to robotics — an area he championed through multiple influential publications exploring why and how such rigorous methods should be adopted in safety-critical robotic systems. His research extends to challenging deployment environments, including underwater manipulation and nonholonomic mobile robots, demonstrating the practical versatility of his theoretical contributions. His work on hybrid systems, blending continuous control laws with discrete logical switching, reflects a sophisticated understanding of real-world robotic complexity. Collectively, his publications have garnered over 240 citations, establishing him as a foundational voice in dependable, formally grounded robotic control architecture.
Research Focus
Key Achievements
Top Papers
- 1
- 2Formal Verification in Robotics: Why and How?41 citations · 1996
- 3
- 4
- 5ORCCAD: software engineering for real-time robotics. A technical insight13 citations · 1997
- 6
- 7
- 8
- 9
- 10Distributed control of a free-floating underwater manipulation system3 citations · 1998