{'fraction_non_alphanumeric': 0.021, 'fraction_numerical': 0.0, 'mean_word_length': 5.375796178343949, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Timed discrete-event system supervisory control for under-load tap-changing transformers

Timed discrete-event systems (TDES) have so far not been used for modelling and control of electrical power system. Since these systems have both logical and temporal behavior, we propose to use TDES to address their control problems. Under-load tap-changing transformers (ULTC) which obviously have discrete-event behavior are widely used in transmission systems to take care of instantaneous variations in the load conditions in substations. ULTC may be controlled either automatically or manually. This paper discusses the modelling and synthesis of a timed discrete-event system supervisory controller for ULTC. Different modes of operation are considered and it is shown that the specifications are controllable and the closed loop control system is non-blocking. Protective system designers in electrical power systems can use the proposed approach to verify their required temporal and logical behavior.