Can control theory make software better?
March 20, 2013
Researchers from MIT’s Laboratory for Information and Decision Systems (LIDS) and a colleague at Georgia Tech have developed a method for applying principles from control theory — which analyzes dynamical systems ranging from robots to power grids — to formal verification, a set of methods for mathematically proving that a computer program does what it’s supposed to do.
The result could help computer scientists expand… read more













