Synthesis of complex nonlinear control systems

The project has two related goals - to make the existing nonlinear control systems theory more compact and relate traditional control theory with a higher level decision making. Within the first goal we develop a unified algebraic framework to study nonlinear control systems that allows to unify the study of discrete- and continuous-time control systems. Unification is based on the application of pseudo-linear algebra and on the theory of dynamic systems on time scales. Within the second goal we elaborate the theory and algorithms for synthesis of reactive planners for control systems where uncertainty is present. We focus on cooperative planning in multi agent systems. The developed tools and software will be applied in control education, in industrial case studies and in the field of medical assistive robotics.