Modello della DDV e convalidazione sperimentale dei modelli dell'attuatore HT in presenza di guasti elettrici ed idraulici con previsione degli effetti dei cortocircuiti parziali