A marriage of formal methods and LLMs seeks to harness the strengths of both.
Exploration of algorithms, recursion, recurrences, asymptotics, relations, graphs, and trees with practical implementations.
Abstract: In order to achieve precise and robust tracking control of electronic throttle (ET) systems subject to external disturbances and uncertainties, a novel 2-order discrete-time fast terminal ...
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 ...
We present a variation of RRT* that can explore and exploit the search space (SE) in parallel using many-core GPUs, efficiently producing an initial path that is collision-free, kinematically ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results