Implementing polytope projects for smart systems. ([2017])