Automated synthesis of control algorithms from first principles | IEEE Conference Publication | IEEE Xplore