Develop an approach that is local and provably fast

[sidhsikka1]

Our intent with this project is robotic homeostasis, so we want a provably fast and local approach. Through our literature review we've decided that we can try to use automata theory/finite state machine theory to show that our algorithm is very computationally fast.