Abstract: Recent NASA mission failures (e.g., Mars Polar Lander and Mars Orbiter) illustrate the importance of having an efficient verification and validation process for such systems. One software ...
Abstract: We consider the static optimal sensor selection problem, where we optimally select d sensors among s possible sensors with d ; s. Under the assumption that the s sensors are mutually ...