Papers
7
Total Citations
150
H-Index
5
About
Konstantinos Kapellos is a pioneering researcher in autonomous robotics, with a career spanning over two decades dedicated to advancing the formal design, verification, and control of robotic systems for complex, safety-critical missions. His primary research areas include robotic control architectures, formal specification and verification, and autonomous navigation, with a strong emphasis on space exploration. Kapellos’s most influential contribution is the ORCCAD architecture (104 citations), a groundbreaking programming environment that seamlessly integrates continuous-time control laws with discrete-time logic, providing tools for specification, formal verification, simulation, and real-time code generation. This work laid the foundation for reliable autonomous systems. He further demonstrated practical impact through the EU FP7-SPACE Project PRoViScout, developing a planetary scouting rover that combines navigation and scientific vision for autonomous exploration. His notable achievements include the FORMID tool, a formal mission specification and verification environment integrated into ESA’s DREAMS ground control station, and recent work on AI-enhanced digital twins for space robotics (RobDT, 2023). Kapellos’s research has directly influenced how robots are programmed for reliability and autonomy, making him a key figure in bridging formal methods and real-world robotic applications.
Research Focus
Key Achievements
Top Papers
- 1The ORCCAD Architecture104 citations · 1998
- 2
- 3Development of a reactive mobile robot using real time vision10 citations · 2005
- 4PRoViScout: a planetary scouting rover demonstrator7 citations · 2012
- 5FORMID : A Formal Specification And Verification Environment For DREAMS6 citations · 2004
- 6Environnement de programmation des applications robotiques reactives5 citations · 1994
- 7RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets3 citations · 2023