Nonlinear and hybrid control systems

Deprecation warning

This website is now archived. Please check out the new website for Centre for Intelligent Systems which includes both A-Lab Control Systems Research lab and Re:creation XR lab.

On this site, please find older content as well, such as list of older completed projects and publications.

Project code: 
Project type: 
Start date: 
End date: 
Project lead: 
Ülle Kotta
Juri Belikov et al.

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.