Abstract: A novel verification method for accurate neuromorphic systems is proposed. First, the origin of verification errors is investigated, pinpointing the off-current and the discrepancy between ...
Abstract: A simple and reliable algorithm for collision avoidance maneuvers (CAMs), capable of computing impulsive, multi-impulsive, and low-thrust maneuvers, is proposed. The probability of collision ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results