Robust Adaptive Prescribed-Time Tracking Control for Variable-Speed Wind Turbines Subject to Multiple Uncertainties ...

This paper studies the fault detection of discrete-time stochastic systems with linear-time temporal logic (LTL) as correctness requirement-A fault is a violation of LTL specification. The temporal ...