See on dokumendi vana versioon!
Järgmisena loetleme ainult doktoriõppe üliõpilased, kuid rühma liikmetel on palju kogemust kõikide tasemete üliõpilaste juhendamisel.
JOOKSVAD
Arvo Kaldmäe, PhD candidate, (sup) Ülle Kotta, Claude Moog, Advanced design of nonlinear discrete-time and delayed systems, Küberneetika Instituut, Tallinna Tehnikaülikool
Sergei Avanessov, PhD candidate, (sup) Ülo Nurges, Ennu Rüstern, Robustne adaptiivne väljundregulaator, Automaatikainstituut, Infotehnoloogia teaduskond, Tallinna Tehnikaülikool
Aivo Anier, PhD candidate, (sup) Jüri Vain, Liikumise tuvastus läbi abstraktse interpretatsiooni, Arvutiteaduse instituut, Infotehnoloogia teaduskond, Tallinna Tehnikaülikool
Deepak Pal, PhD candidate, (sup) Jüri Vain, Mudelipõhine testigenereerimine hajussüsteemidele, Arvutiteaduse instituut, Infotehnoloogia teaduskond, Tallinna Tehnikaülikool
Evelin Halling, PhD candidate, (sup) Jüri Vain, Distributed intelligent control of cooperative robotic systems, Arvutiteaduse instituut, Infotehnoloogia teaduskond, Tallinna Tehnikaülikool
Gert Kanter, PhD candidate, (sup) Jüri Vain, Cognitive context-aware planning in autonomous robot systems, Arvutiteaduse instituut, Infotehnoloogia teaduskond, Tallinna Tehnikaülikool
Jaagup Irve, PhD candidate, (sup) Jüri Vain, Tähenduslike alade tuvastamine ja järgimine meditsiinilise kujutise töötluses, Arvutiteaduse instituut, Infotehnoloogia teaduskond, Tallinna Tehnikaülikool
Jishu Guin, PhD candidate, (sup) Jüri Vain, Kohtukaasuste sarnasuse põhise otsingu ekspertsüsteem, Arvutiteaduse instituut, Infotehnoloogia teaduskond, Tallinna Tehnikaülikool
Külli Sarna, PhD candidate, (sup) Jüri Vain, Hajustestimise meetodid ja arhitektuurid: Aspekt-orienteeritud mudelite konstrueerimine hajustestimises, Arvutiteaduse instituut, Infotehnoloogia teaduskond, Tallinna Tehnikaülikool
Maili Markvardt, PhD candidate, (sup) Jüri Vain, Mudelipõhise testiandmete genereerimise meetod reaktiivstele testritele, Arvutiteaduse instituut, Infotehnoloogia teaduskond, Tallinna Tehnikaülikool
Peeter Lump, PhD candidate, (sup) Juhan-Peep Ernits, Jüri Vain, Ohutuskriitiliste tarkvarasüsteemide kvaliteedi tagamine kasutades kvantitatiivseid meetodeid, Arvutiteaduse instituut, Infotehnoloogia teaduskond, Tallinna Tehnikaülikool
KAITSTUD
Aleksei Tepljakov, PhD, 2015, (sup) Eduard Petlenkov, Juri Belikov, Murrulistel tuletistel põhinev dünaamiliste süsteemide identifitseerimine ja juhtimine, Automaatikainstituut, Infotehnoloogia teaduskond, Tallinna Tehnikaülikool
Vadim Kaparin, PhD, 2013, (sup) Ülle Kotta, Mittelineaarsete olekuvõrrandite olekutaastaja kujule teisendamine, Küberneetika Instituut, Tallinna Tehnikaülikool
Maris Tõnso, PhD, 2010, (sup) Ülle Kotta, Computer algebra tools for modelling, analysis and synthesis for nonlinear control systems, Küberneetika Instituut, Tallinna Tehnikaülikool
Sven Nõmm, PhD, 2004, (sup) Ülle Kotta, Claude Moog, (Diskreetsete mittelineaarsete juhtimissüsteemide realisatsioon ja identifitseerimine (Realisation et identification des systemes non lineaires en temps discret), Küberneetika Instituut, Tallinna Tehnikaülikool ja Ecole Centrale de Nantes Universite de Nantes, France
Marko Kääramees, PhD, 2012, (sup) Jüri Vain, Michael Reichhardt Hansen, A Symbolic Approach to Model-based Online Testing, Tallinna Tehnikaülikool
Andres Kull, PhD, 2009, (sup) Jüri Vain, Leo Mõtus, Model-Based Testing of Reactive Systems, Automaatikainstituut, Infotehnoloogia teaduskond, Tallinna Tehnikaülikool
Juhan-Peep Ernits, PhD, 2007, (sup) Jüri Vain, Two State Space Reduction Techniques for Explicit State Model Checking, Arvutiteaduse instituut, Infotehnoloogia teaduskond, Tallinna Tehnikaülikool