[ sulge aken ]
| Elulookirjeldus (CV) | ||
| 1. | Eesnimi | Jüri |
| 2. | Perekonnanimi | Vain |
| 3. | Töökoht | Tallinna Tehnikaülikooli Küberneetika Instituut |
| 4. | Ametikoht | osakonna juhataja |
| 5. | Sünniaeg | 05.07.1956 (päev.kuu.aasta) |
| 6. | Haridus | 1979 TPI juhtimissüsteemide eriala (süsteemiinseneri diplom); 1981-1984 aspirantuur Eesti TA Küberneetika Instituudi juures. |
| 7. | Teenistuskäik | 1978 - 1981 - Küberneetika Instituudi vaneminsener; 1984 - 1992 - Küberneetika Instituudi AT EKB insener-programmeerija; 1992 - Küberneetika Instituudi juhtimissüsteemide osakonna juhataja; 1998- TTÜ üldinformaatika professor; 2002- TTÜ arvutiteaduse instituudi direktor. |
| 8. | Teaduskraad | Tehnikateaduste kandidaat |
| 9. | Teaduskraadi välja andnud asutus, aasta |
Eesti TA Küberneetika Instituut, 1987. |
| 10. | Tunnustused | 1992 - 2001 Chartered Electrical Engineer (IEE, UK);1994 - Philips Research Award koostöö eest Eindhoveni Tehnoloogiaülikooli Arvutiteaduse Instituudiga; |
| 11. | Teadusorganisatsiooniline ja –administratiivne tegevus |
1994-2005 5 ETF grandi vastutav täitja; 1998-2002 - Sihtfinantseerimisteema 0140221s98 vastutav täitja; 1992 - Küberneetika Instituudi juhtimissüsteemide osakonna juhataja; 2002 - TTÜ arvutiteaduse instituudi direktor. Osalemine rahvusvaheliste konverentside programmkomiteedes: - 8th IFAC Symp. on Information Control Problems in Manufacturing (INCOM'95), Peking, Hiina; - 3rd Int. WS on Feature Interactions in Telecommunications Software Systems 1994 Ottawa, Canada ; - 4rd Int. WS on Feature Interactions in Telecommunications Software Systems, 1995, Kyoto, Japan; - Nordic Workshop on Programming Theory, alates 1997 alaline PC liige; - 4th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'03) Lübeck, Germany October 16-18, 2003 - 28th IFAC/IFIP Workshop on Real-Time Programming, 2004 - 1997 - 1999 IFAC TC "Advanced Manufacturing Technology" liige - 1999 - IFAC TC "Real Time Software Engineering" liige - 2000 - IFIP W.G. 2.2 vaatlejaliige. |
| 12. | Juhendamisel kaitstud väitekirjad |
Kadi Jääger, MSc, 2005, juh. Jüri Vain. Pattern based modeling and analysis of fractal manufacturing systems. TTÜ J.Ernits, MSc, 2002, juh. J.Vain. Model Checking Hybrid Dynamical Systems. Tallinn A.Kuusik, PhD, 2001, juh. M.Min,J.Vain. Compact Smart Home Systems: Design and Verification of Cost Effective Hardware Solutions. Tallinn M.Kääramees, MSc, 1995, juh. J.Vain. Transformation of Duration Calculus Specifications to DisCo Language. Tallinn |
| 13. | Teadustöö põhisuunad | Hübriidsete dünaamiliste süsteemide formaalne spetsifitseerimine ja verifitseerimine. Sardsüsteemide modelleerimine ja analüüs. |
| 14. | Jooksvad grandid | ETF 5775 "Lõpmatu olekuruumiga süsteemide abstraktsiooni-põhine verifitseerimine" - vastutav täitja ETF 5086 "Raalintegreeritud juhtimissüsteemide mustripõhine modelleerimine ja analüüs" - põhitäitja |
| 15. | Teaduspublikatsioonid |
K.Ohnuma, K.Masamune, K.Yoshimitsu, Y.Fukui, F.Miyawaki, J.Vain. Analysis and Recognition of a Surgeon's Motions in Laparoscopic Cholecystectomy Giving a Scrub Nurse Robot Suitable Timings for Instrument Exchange. Proc. of the 3rd Workshop on Human Adaptive Mechatronics (HAM), 3-4 March 2006, Tokyo Denki University, Japan. pp. 219 - 224. T.Tammet, J.Vain, A.Kuusik. Distributed Coordination of Mobile Robots Using RFID Technology. Proceedings of the 8th WSEAS Int. Conference on Automatic Control, Modeling and Simulation, Prague, Czech Republic, March 12-14, 2006 pp. 109-116. T.Tammet, J.Vain, A.Kuusik. RFID-based knowledge space for service robot swarms. Proc. of the 3rd Workshop on Human Adaptive Mechatronics (HAM), 3-4 March 2006, Tokyo Denki University, Japan. pp. 19 - 24. E.Domiczi and J.Vain, Model Driven Engineering in Automatic Test Generation. Proc. of the NWUML’2005: The Nordic Workshop on UML and Software Modeling. K.Koskimies, L. Kuzniarz, J.Nummenmaa, and Z.Zhang (eds.). University of Tampere, A-2005-3, pp. 208-216. H.Rennik, J.Vain. Combined Method of Load Planning for Production Lines. Proc. of MSD-IE: Manufacturing Systems Development - Industry Expectations. In Machine Engineering, Vol. 5 no. 3-4, 2005. pp. 153- 165. Miyawaki, F.; Masamune, K.; Suzuki, S.; Yoshimitsu, K.; Vain, J. Scrub nurse robot system - intraoperative motion analysis of a scrub nurse and timed automata based model for surgery. - IEEE Transaction on Industrial Electronics, Special Section on Human Adaptive Mechatronics, 2005, Vol 52 no 5. pp. 1227- 1235. Vain, J., Randvee I., Riismaa, T. Two Phase Technique For Assembly Line Balancing.- In: Preprints of 16th IFAC World Congress, Prague, Czech Republic, July 3-8, CD-ROM, 2005. J.Vain, S.Suzuki, A.Kuusik. Formal Safety Validaion of Robot Teleoperation. Proc. of The 9th Biennial Baltic Electronic Conference, Tallinn 3-6, October, 2004. ISBN9985-59-462-2. pp. 161-164. Jääger.K., Vain.J. Pattern-Based Modeling and Planning of Machining Systems, Machine Engineering, Vol. 4 No. 1-2, 2004, pp. 97-106, ISSN 1642-6568. K. Jääger and J. Vain. Pattern based analysis of fractal manufacturing systems. Proc. of 11th IFAC Symposium on Information Control Problems in Manufacturing, Salvador, Brasil April 5-7th, 2004. CD O.Miyashita, S.Tsukamoto, A.Kuusik, D.Miyata, T.Yoshida, S.Ishigami, J.Vain. A human-Adaptive-Mechatronics (HAM)-Assisted System for Assessment and Rehabilitation of Constructional Abilities. Proc. of 8th International Conference on Mechatronics Technology (ICMT2004), Hanoi, Nov 2004. Vietnamese Acad. of Sciences and Technology. N.K.Son, P.T.Cat, P.A.Tuan (eds.). 2004. pp. 551-555. Vain, J., Otto, T., Kuusik, A. Model Checking for Planning Resource-Sharing Production, Proceedings 20th International Conference on CAD/CAM, Robotics and Factories of the Future, July 21, 22 and 23, 2004, San Cristobal - Venezuela, Ed. Miguel A. Marquez R., pp 151-158, ISBN 980-12-0787-6 A.Kuusik, T.Otto, J.Vain. Handling Industrial Hazards by Pre-emptive Model Checking. 4th International Conference on Industrial Automation. Montréal, CANADA. June, 2003.ISBN 2-9802946-3-2. pp. MS9.1-MS94. Association of Industrial Automation. Küttner, R., Ernits, J., Vain, J. (2003). An Open Tool Integration Environment for Manufacturing Control Software Development. Machine Engineering, Vol. 3 No. 1-2, 2003, p. 23-32, Chief editor Jerzy Jedrzejewski, ISSN 1642-6568. Riismaa, T., Randvee, I., Vain, J. Optimization of the structure of multi-level parallel assembling. –In: Intelligent Manufacturing Systems (IMS) 2003, Proceedings of the 7th IFAC Workshop, Budapest, Hungary, April 6-8, 2003, Edited by B. Kadar, L. Monostori & G. Morel, - Oxford, England, Elsevier Science Ltd, 2003. J.Vain, J.Ernits. Model Checking in Pattern Based Control Systems Design. In Proceedings of IFAC 15th World Congress. Barcelona. 2002. (CD) E. B. Johnsen, O. Owe, E. Munthe-Kaas, J. Vain. Incremental Fault-Tolerant Design in an Object-Oriented Setting. In Proceedings of Second Asia-Pacific Conference on Quality Software (APAQS’2001). IEEE Computer Society Press. 2001. 223-230. ISI:0001732445000273. Vain, J., Kääramees, M. Towards unified compositional design of control systems. - In: Algorithms and Architectures for Real-Time Control 2000 (AARTC '2000), a proceedings volume from the 6th IFAC Workshop (AARTC'2000), Palma de Mallorca, Spain, 15-17 May 2000 / Eds. V. Hernandez, G. W. Irwin. Oxford : Pergamon-Elsevier Science Ltd, 2000, 45-50. (IFAC Proceedings Volumes). ISI: 000169940700008 Hooman J, Vain J. Integrating methods for the design of real-time systems Journal of Systems Architecture 42 (6-7): 489-502 Dec 15 1996. Kurki-Suonio R, Systa K, Vain J . Real-Time Specification and Modeling with Joint Actions. Science of Computer Programming, 20 (1-2): 113-140 Apr 1993. Kurki-Suonio R, Systa K, Vain J. Scheduling in Real-Time Models. Lecture Notes in Computer Science 571: 327-339 1991. |
viimati muudetud: 30.09.2005
| Curriculum Vitae (CV) | ||
| 1. | First Name | Jüri |
| 2. | Surname | Vain |
| 3. | Institution | Institute of Cybernetics at Tallinn University of Technology |
| 4. | Position | head of department |
| 5. | Date of birth | 05.07.1956 (day.month.year) |
| 6. | Education | 1979 Tallinn Polytechnic Institute, control systems speciality (system engineer) 1981-1984 graduate studies at the Institute of Cybernetics at Estonian Academy of Sciences (1987 Candidate of Technical Sciences degree) |
| 7. | Research and professional experience |
1978 - 1981 - Institute of Cybernetics, senior engineer 1984 - 1992 - R&D Department at the Institute of Cybernetics, engineer-programmer; 1992 - Institute of Cybernetics, head of department 1998 - Tallinn Technical University, Professor; 2002 - Tallinn Technical University, department of computer science, head |
| 8. | Academic degree | Candidate of Technical Sciences |
| 9. | Dates and sites of earning the degrees |
Institute of Cybernetics at Estonian Academy of Sciences, 1987 |
| 10. | Honours/awards | 1992 - 2001 Chartered Electrical Engineer (IEE, UK);1994 - Philips Research Award for cooperation with the Department of Computing Science at Eindhoven University of Technology |
| 11. | Research-administrative experience |
1994-2005 - Principal of 5 ESF grants, 1998-2002 - Principal of research program 0140221s98 ; 1992 - Head of Control System Dept, Institute of Cybernetics; 2002 - Director of the Computer Scinece Department at Tallinn University of Technology Participation in PC-s of International Conferences: - 8th IFAC Symp. on Information Control Problems in Manufacturing (INCOM'95), Peking, China; - 3rd Int. WS on Feature Interactions in Telecommunications Software Systems 1994 Ottawa, Canada ; - 4rd Int. WS on Feature Interactions in Telecommunications Software Systems, 1995, Kyoto, Japan; - Nordic Workshop on Programming Theory (since 1997 permanent PC member); - 4th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'03) Lübeck, Germany October 16-18, 2003 - 28th IFAC/IFIP Workshop on Real-Time Programming, 2004 - 1997 - 1999 IFAC TC "Advanced Manufacturing Technology", member - 1999 - IFAC TC "Real Time Software Engineering" member - 2000 - IFIP W.G. 2.2 observer member. |
| 12. | Supervised dissertations |
Kadi Jääger, MSc, 2005, superv. Jüri Vain. Pattern based modeling and analysis of fractal manufacturing systems. TTÜ J.Ernits, MSc, 2002, superv. J.Vain. Model Checking Hybrid Dynamical Systems. Tallinn A.Kuusik, PhD, 2001, superv. M.Min,J.Vain. Compact Smart Home Systems: Design and Verification of Cost Effective Hardware Solutions. Tallinn M.Kääramees, MSc, 1995, superv. J.Vain. Transformation of Duration Calculus Specifications to DisCo Language. Tallinn |
| 13. | Current research program | Formal specification and verification of hybrid dnamic systems. Modeling and analysis of embedded systems. |
| 14. | Current grant funding | ETF 5775 "Abstraction-based verification of infinite state systems" ETF 5086 "Pattern-based modeling and analysis of computer integrated systems" |
| 15. | List of most important publications |
K.Ohnuma, K.Masamune, K.Yoshimitsu, Y.Fukui, F.Miyawaki, J.Vain. Analysis and Recognition of a Surgeon's Motions in Laparoscopic Cholecystectomy Giving a Scrub Nurse Robot Suitable Timings for Instrument Exchange. Proc. of the 3rd Workshop on Human Adaptive Mechatronics (HAM), 3-4 March 2006, Tokyo Denki University, Japan. pp. 219 - 224. T.Tammet, J.Vain, A.Kuusik. Distributed Coordination of Mobile Robots Using RFID Technology. Proceedings of the 8th WSEAS Int. Conference on Automatic Control, Modeling and Simulation, Prague, Czech Republic, March 12-14, 2006 pp. 109-116. T.Tammet, J.Vain, A.Kuusik. RFID-based knowledge space for service robot swarms. Proc. of the 3rd Workshop on Human Adaptive Mechatronics (HAM), 3-4 March 2006, Tokyo Denki University, Japan. pp. 19 - 24. E.Domiczi and J.Vain, Model Driven Engineering in Automatic Test Generation. Proc. of the NWUML’2005: The Nordic Workshop on UML and Software Modeling. K.Koskimies, L. Kuzniarz, J.Nummenmaa, and Z.Zhang (eds.). University of Tampere, A-2005-3, pp. 208-216. H.Rennik, J.Vain. Combined Method of Load Planning for Production Lines. Proc. of MSD-IE: Manufacturing Systems Development - Industry Expectations. In Machine Engineering, Vol. 5 no. 3-4, 2005. pp. 153- 165. Miyawaki, F.; Masamune, K.; Suzuki, S.; Yoshimitsu, K.; Vain, J. Scrub nurse robot system - intraoperative motion analysis of a scrub nurse and timed automata based model for surgery. - IEEE Transaction on Industrial Electronics, Special Section on Human Adaptive Mechatronics, 2005, Vol 52 no 5. pp. 1227- 1235. Vain, J., Randvee I., Riismaa, T. Two Phase Technique For Assembly Line Balancing.- In: Preprints of 16th IFAC World Congress, Prague, Czech Republic, July 3-8, CD-ROM, 2005. J.Vain, S.Suzuki, A.Kuusik. Formal Safety Validaion of Robot Teleoperation. Proc. of The 9th Biennial Baltic Electronic Conference, Tallinn 3-6, October, 2004. ISBN9985-59-462-2. pp. 161-164. Jääger.K., Vain.J. Pattern-Based Modeling and Planning of Machining Systems, Machine Engineering, Vol. 4 No. 1-2, 2004, pp. 97-106, ISSN 1642-6568. K. Jääger and J. Vain. Pattern based analysis of fractal manufacturing systems. Proc. of 11th IFAC Symposium on Information Control Problems in Manufacturing, Salvador, Brasil April 5-7th, 2004. CD O.Miyashita, S.Tsukamoto, A.Kuusik, D.Miyata, T.Yoshida, S.Ishigami, J.Vain. A human-Adaptive-Mechatronics (HAM)-Assisted System for Assessment and Rehabilitation of Constructional Abilities. Proc. of 8th International Conference on Mechatronics Technology (ICMT2004), Hanoi, Nov 2004. Vietnamese Acad. of Sciences and Technology. N.K.Son, P.T.Cat, P.A.Tuan (eds.). 2004. pp. 551-555. Vain, J., Otto, T., Kuusik, A. Model Checking for Planning Resource-Sharing Production, Proceedings 20th International Conference on CAD/CAM, Robotics and Factories of the Future, July 21, 22 and 23, 2004, San Cristobal - Venezuela, Ed. Miguel A. Marquez R., pp 151-158, ISBN 980-12-0787-6 A.Kuusik, T.Otto, J.Vain. Handling Industrial Hazards by Pre-emptive Model Checking. 4th International Conference on Industrial Automation. Montréal, CANADA. June, 2003.ISBN 2-9802946-3-2. pp. MS9.1-MS94. Association of Industrial Automation. Küttner, R., Ernits, J., Vain, J. (2003). An Open Tool Integration Environment for Manufacturing Control Software Development. Machine Engineering, Vol. 3 No. 1-2, 2003, p. 23-32, Chief editor Jerzy Jedrzejewski, ISSN 1642-6568. Riismaa, T., Randvee, I., Vain, J. Optimization of the structure of multi-level parallel assembling. –In: Intelligent Manufacturing Systems (IMS) 2003, Proceedings of the 7th IFAC Workshop, Budapest, Hungary, April 6-8, 2003, Edited by B. Kadar, L. Monostori & G. Morel, - Oxford, England, Elsevier Science Ltd, 2003. J.Vain, J.Ernits. Model Checking in Pattern Based Control Systems Design. In Proceedings of IFAC 15th World Congress. Barcelona. 2002. (CD) E. B. Johnsen, O. Owe, E. Munthe-Kaas, J. Vain. Incremental Fault-Tolerant Design in an Object-Oriented Setting. In Proceedings of Second Asia-Pacific Conference on Quality Software (APAQS’2001). IEEE Computer Society Press. 2001. 223-230. ISI:0001732445000273. Vain, J., Kääramees, M. Towards unified compositional design of control systems. - In: Algorithms and Architectures for Real-Time Control 2000 (AARTC '2000), a proceedings volume from the 6th IFAC Workshop (AARTC'2000), Palma de Mallorca, Spain, 15-17 May 2000 / Eds. V. Hernandez, G. W. Irwin. Oxford : Pergamon-Elsevier Science Ltd, 2000, 45-50. (IFAC Proceedings Volumes). ISI: 000169940700008 Hooman J, Vain J. Integrating methods for the design of real-time systems Journal of Systems Architecture 42 (6-7): 489-502 Dec 15 1996. Kurki-Suonio R, Systa K, Vain J . Real-Time Specification and Modeling with Joint Actions. Science of Computer Programming, 20 (1-2): 113-140 Apr 1993. Kurki-Suonio R, Systa K, Vain J. Scheduling in Real-Time Models. Lecture Notes in Computer Science 571: 327-339 1991. |
last updated: 30.09.2005
[ sulge aken ]