Fault Detection Model for Multi Robotic System Using Formal Method Event-B

Non-compliant behaviour prediction is an essential feature of open systems; this non-compliance may be due to accident, necessity, or malice. Therefore, to achieve a sustainable operation in a system we need to handle non-compliance using error detection and correction based on type and severity.