| title: | Nonlinear and hybrid control systems |
|---|---|
| reg no: | SF0322520s03 |
| project type: | targeted financing |
| subject: |
1.1-1.5. Exact Sciences 2. Engineering |
| status: | accepted |
| institution: | Institute of Cybernetics at Tallinn Technical University |
| head of project: | Ülle Kotta |
| duration: | 01.01.2003 - 31.12.2007 |
| description: | 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. |
| project group | ||||
|---|---|---|---|---|
| no | name | institution | position | |
| 1. | Juhan-Peep Ernits | Institute of Cybernetics at Tallinn Technical University | teadur | |
| 2. | Juhan-Peep Ernits | Institute of Cybernetics at Tallinn Technical University | teadur | |
| 3. | Kadi Jääger | Institute of Cybernetics at Tallinn Technical University | insener | |
| 4. | Palle Kotta | Institute of Cybernetics at Tallinn Technical University | insener | |
| 5. | Ülle Kotta | Institute of Cybernetics at Tallinn Technical University | v.-teadur | |
| 6. | Marko Kääramees | Institute of Cybernetics at Tallinn Technical University | teadur | |
| 7. | Eleri Lamp | Institute of Cybernetics at Tallinn Technical University | tehnik | |
| 8. | Tanel Mullari | Institute of Cybernetics at Tallinn Technical University | teadur | |
| 9. | Ülo Nurges | Institute of Cybernetics at Tallinn Technical University | v.-teadur | |
| 10. | Sven Nõmm | Institute of Cybernetics at Tallinn Technical University | teadur | |
| 11. | Ingmar Randvee | Institute of Cybernetics at Tallinn Technical University | v.-teadur | |
| 12. | Janek Tabun | Institute of Cybernetics at Tallinn Technical University | insener | |
| 13. | Maris Tõnso | Institute of Cybernetics at Tallinn Technical University | teadur | |
| 14. | Jüri Vain | Institute of Cybernetics at Tallinn Technical University | osak. juh. | |