An effective modeling framework for equality-constrained dynamic systems | IEEE Conference Publication | IEEE Xplore