Abstract: This study examines the issue of interpretability in fault diagnosis for rolling bearings using a symbolic learning technique. We propose the adoption of weighted signal temporal logic (wSTL ...
Abstract: This article studies the controller synthesis problem for nonlinear control systems under linear temporal logic (LTL) specifications using zonotope techniques. A local-to-global control ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results