Algebra icapproac to control

Algebraic structures generated by modeling programs are theoretically studied. The main new notion here is GAPS (General Algebraic Program System). Examples are given how to represent control systems as GAPS. Open problems: algebras of almost invertible processes; discretization and approximation of abstract infinite algebras by finite GAPS; classification of finite GAPS and methods of their composition and decomposition.