Nonlinear and hybrid control systems

Our research concentrates on the effect of nonlinearity in the solution of different control problems through the development of new ideas, powerful mathematical tools, efficient analytical algorithmic procedures and software. Our main purpose is to study the phenomena that do not exist in the linear case (context) and hybrid systems whose dynamics is described by continuous and discrete components as well their interactions. We will develop the toolbox on the basis of the computer algebra system Mathematica which supports the modelling, analysis and synthesis of nonlinear control systems. An implementation of the analysis environment is planned where algorithmic model checking  and deductive proof methods are integrated to solve hybrid systems verification and other analysis tasks. Further, this environment is planned to interface with standard simulation and analysis packages such as Matlab Simulink and Giotto.