Temporal Logic Inference for Fault Detection of Switched Systems With Gaussian Process Dynamics
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Transactions on Automation Science and Engineering"
DOI: 10.1109/tase.2021.3074548
Abstract: In this article, we present a method for constructing the fault detector in the form of signal temporal logic (STL) formulas, which can be understood by human users and formally proven to detect faults with… read more here.
Keywords: logic inference; fault; gaussian process; process ... See more keywords
Pedestrian Detection Under Partial Occlusion by using Logic Inference, HOG and SVM
Sign Up to like & getrecommendations! Published in 2019 at "IEEE Latin America Transactions"
DOI: 10.1109/tla.2019.8931190
Abstract: This article presents an algorithm for the detection of pedestrians in urban driving environments during the day. The main contribution is in the design of a new classifier to discriminate between the person and the… read more here.
Keywords: logic inference; partial occlusion; detection; hog ... See more keywords