Added tests for symbolic controllers.
Added a file to run the test because nose is balking.
Fixed sign error in symbolic controller definition.