We formulate the stability and positivity criteria as solvable linear programming constraints. Additionally, we prove that the proposed mechanism excludes Zeno behavior by guaranteeing a positive ...