Comment by SkyMarshal

I don't know if there are many that are robust in theory and in practice. MakerDAI is the only one I can think of that might fall into that category.