Testing robots using CSP

This paper presents a technique for automatic generation of tests for robotic systems based on a domain-specific notation called RoboChart. This is a UML-like diagrammatic notation that embeds a component model suitable for robotic systems, and supports the definition of behavioural models using enriched state machines that can feature time properties. The formal semantics of RoboChart is given using tockCSP, a discrete-time variant of the process algebra CSP. In this paper, we use the example of a simple drone to illustrate an approach to generate tests from RoboChart models using a mutation tool called Wodel. From mutated models, tests are generated using the CSP model checker FDR. The testing theory of CSP justifies the soundness of the tests

Rendezvous and Standoff Target Tracking Guidance Using Differential Geometry

This paper proposes UAV rendezvous and standoff tracking guidance laws against a moving target using differential geometry. Searching and subsequent tracking of moving ground based target is one of the primary capabilities of cooperative UAVs. In performing such missions, UAVs are to approach a target and keep a certain distance, known as a standoff distance. This allows target tracking without being noticed and acquisition of accurate target information. In this study, standoff target tracking is proposed using the solution of differential geometry between the UAV and the target. The proposed algorithm brings several advantages along with its inherent simplicity: rigorous stability, explicit use of a target velocity, and tuning parameter reduction. The feasibility and performance of the proposed approach is not only mathematically analysed, but also verified through realistic scenariosclos