Abstract: In space applications, hardware (HW) implementation is made more expensive not only by the levels of performance required, but also by complex and rigorous HW qualification tests. Reducing ...
Abstract: Reachability analysis is a formal method to guarantee safety of dynamical systems under the influence of uncertainties. A substantial bottleneck of all reachability algorithms is the ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results