Abstract: This letter presents a state estimation algorithm for linear discrete-time systems with state-delay. In order to overcome the difficulty that the traditional Kalman filter cannot estimate ...
Abstract: This paper introduces a new discrete StarFish Optimization Algorithm (D-SFOA) to solve a complex discrete Symmetric Travelling Salesman Problem (STSP). The discrete SFOA algorithm is ...
This course emphasizes mathematical definitions, logical inference, and proof techniques. Topics include propositional logic, first-order logic, inference rules and satisfiability, proof methods, sets ...