An Artin Braid Group Representation of Knitting Machine State with Applications to Validation and Optimization of Fabrication Plans | IEEE Conference Publication | IEEE Xplore