1 citations · 1 across the 2 of their papers we have counts for
3 papers
cs.RO2021
Concepts of Self-maintaining Robots and Their Design
Chenjie Shi, Sandor M Veres
This paper proposes an initial theory for robotic systems that can be fully self-maintaining. The new design principles focus on functional survival of the robots over long periods…
eess.SY2020★ 1 cited
Verification Framework for Control System Functionality of Unmanned Aerial Vehicles
Omar A. Jasim, Sandor M. Veres
A control system verification framework is presented for unmanned aerial vehicles using theorem proving. The framework's aim is to set out a procedure for proving that the mathemat…
cs.RO2016
Collision Avoidance of Two Autonomous Quadcopters
Michalis Smyrnakis, Jonathan M. Aitken, Sandor M. Veres
Traffic collision avoidance systems (TCAS) are used in order to avoid incidences of mid-air collisions between aircraft. We present a game-theoretic approach of a TCAS designed for…