Diagnosis of Active Systems

This book is about model-based diagnosis of a class of discrete-event systems called active systems. The asynchronous occurrence of a short circuit on a line or a bus-bar causes the reaction of the protection devices, which aims to isolate the shorted line.