A structure utilizing inexact primal-dual interior-point method for analysis of linear differential inclusions
2008