fixed a bug in the Test for the scheduler model. An Arbitrary model is now supposed to be a valid one.
clearer separation into modules
experimental controller implementation, some little refactorings