Event-Triggered Control for Discrete-Time Semi-Markovian Jump Neural Networks Considering Probabilistic Actuator Faults | IEEE Conference Publication | IEEE Xplore