Diagnosing faults in electrical transmission networks

This paper describes a model-based diagnostic system for diagnosing faults in Electrical Transmission Systems. It checks the timing of the operation of network equipment against its Augmented Reactive Models (ARM). These ARM are finite state machine models extended to allow transitions to be conditioned on time intervals specified relative to the preceding event. A combination of a linear equation solver and a linear programming package is used to detect timing irregularities in the interacting equipment. The system has been tested with data recorded from real events that occurred in the Italian electricity transmission system.