A coverage algorithm for multiple micro robots inspection based on asynchronous communication