Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic

Marco Bozzano, Alessandro Cimatti, Marco Gario +1

Autonomous critical systems, such as satellites and space rovers, must be able to detect the occurrence of faults in order to ensure correct operation. This task is carried out by…