Logic based modeling and optimization of discrete continuous dynamic systems
Networked Digital Library of Theses and Dissertations