Heuristic search for linear positive systems | Synapse