Algorithmic Systems Theory  (AST) Laboratory