A stability theory for constrained dynamic systems with applications to electric power systems | Synapse