Otsing - TalTech teadusportaal

kuva

reasta

1

artikkel kogumikus

Case study-based performance evaluation of reactive planning testerKull, Andres; Raiend, Kullo; Vain, Jüri; Kääramees, MarkoModel-based Testing in Practice : 2nd Workshop on Model-based Testing in Practice(MoTiP 2009) : Enschede, The Netherlands, June 23, 2009 : proceedings2009 / p. 87-96 : ill https://www.etis.ee/Portal/Publications/Display/c507fc75-771f-419a-bf67-571af65fdb66

artikkel kogumikus

2

artikkel kogumikus

Executable black-box tester model synthesis from a non-deterministic EFSM of the systemKull, Andres; Raiend, Kullo; Vain, JüriInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum2007 / lk. 105-108

artikkel kogumikus

3

artikkel kogumikus

Fortran-programmide teisendajaRemmel, V.; Raiend, Kullo; Uibo, ErikXXXII üliõpilaste teaduslik-tehnilise konverentsi ettekannete teesid : pühendatud V. I. Lenini 110. sünniaastapäevale : 16.-18. aprill 19801981 / lk. 94-95 https://www.ester.ee/record=b1322611*est

artikkel kogumikus

4

artikkel ajakirjas

Integrated approach to the process control system designAarna, Olav; Raiend, Kullo2nd IFAC/IFIP Symposium on Software for Computer Control, Prague, Czechoslovakia, 11-15 June IFAC Proceedings Volumes1979 / p. 275-278 : ill https://doi.org/10.1016/S1474-6670(17)65814-2

artikkel ajakirjas

5

artikkel kogumikus

Lineaaralgebra programmide pakettHärmaorg, T.; Raiend, KulloXXIX vabariiklik üliõpilaste teaduslik- tehniline konverents 30. märtsist - 1. aprillini 1977 : ettekannete teesid1977 / lk. 49 https://www.ester.ee/record=b2449987*est

artikkel kogumikus

6

artikkel kogumikus

Model-based synthesis of reactive planning on-line testers for non-deterministic embedded systemsKääramees, Marko; Vain, Jüri; Raiend, KulloBEC 2010 : 2010 12th Biennial Baltic Electronics Conference : proceedings of the 12th Biennial Baltic Electronics Conference : Tallinn University of Technology, October 4-6, 2010, Tallinn, Estonia2010 / p. 189-192 : ill

artikkel kogumikus

7

artikkel kogumikus

Reactive testing of nondeterministic systems by test purpose-directed testerVain, Jüri; Kull, Andres; Kääramees, Marko; Markvardt, Maili; Raiend, KulloModel-based testing for embedded systems2012 / p. 425-452 : ill

artikkel kogumikus

8

artikkel kogumikus

Synthesis of on-line planning tester for non-deterministic EFSM modelsKääramees, Marko; Vain, Jüri; Raiend, KulloTesting - Practice and Research Techniques : 5th International Academic and Industrial Conference TAIC PART 2010 : Windsor, UK, September 3-5, 2010 : proceedings2010 / p. 147-154 https://link.springer.com/chapter/10.1007/978-3-642-15585-7_14

artikkel kogumikus

9

artikkel kogumikus

Synthesis of test purpose directed reactive planning tester for nondeterministic systemsVain, Jüri; Raiend, Kullo; Kull, Andres; Ernits, Juhan-Peep22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007) : November 5-9, 2007, Atlanta, Georgia, USA2007 / p. 363-372 https://www.researchgate.net/publication/220883693_Synthesis_of_test_purpose_directed_reactive_planning_tester_for_nondeterministic_systems

artikkel kogumikus

10

artikkel kogumikus

Synthesis of test purpose directed reactive planning tester for nondeterministic systems (extended abstracts)Vain, Jüri; Raiend, Kullo; Kull, Andres; Ernits, Juhan-PeepNWTP'07/FLACOS'07 Workshop Proceedings : Oslo, 10-12 October 20072007 / p. 55-57

artikkel kogumikus

11

artikkel kogumikus

Вычисление параметров регулятора по выходуRaiend, KulloМатематическое моделирование и управление технологическими процессами1984 / с. 63-73

artikkel kogumikus

12

artikkel kogumikus

Декомпозиция линейной модели объекта управленияRaiend, KulloРасчет и проектирование систем технической кибернетики1983 / с. 41-54

artikkel kogumikus

13

artikkel kogumikus

Интегрированная система машинного проектирования САУ для непрерывных процессовAarna, Olav; Raiend, KulloАвтоматизация проектирования систем автоматического и автоматизированного управления, II Всесоюзное научно-техническое совещание : тезисы докладов1978 / [с. 133-138]

artikkel kogumikus

14

artikkel ajakirjas

Интегрированный подход к машинному проектированию систем управления непрерывными процессамиAarna, Olav; Siitan, Urmas; Raiend, KulloТруды МГТУ. : Автоматизированное проектирование систем управления1983 / с. [64-72]

artikkel ajakirjas

15

artikkel kogumikus

Количественный анализ управляемости и наблюдаемости линейной модели объекта управленияRaiend, KulloАнализ и синтез сложных систем и цепей с помощью ЭВМ1985 / с. 39-48

artikkel kogumikus

16

dissertatsioon

Количественный анализ управляемости, наблюдаемости и декомпозируемости многомерных линейных объектов управления : автореферат ... кандидата технических наук (05.13.01)Raiend, Kullo1989 https://www.ester.ee/record=b1267737*est

dissertatsioon

17

dissertatsioon

Количественный анализ управляемости, наблюдаемости и декомпозируемости многомерных линейных объектов управления : диссертация на соискание ученой степени кандидата технических наукRaiend, Kullo1989 https://www.ester.ee/record=b4636215*est

dissertatsioon

18

artikkel kogumikus

Оценка расстояния модели от ближайшей неуправляемой моделиRaiend, KulloТезисы докладов VI Всесоюзного совещания "Управление многосвязными системами", Суздаль, март 19901990 / с. 57-58

artikkel kogumikus

19

artikkel kogumikus

Пакет для моделирования линейных системRaiend, Kullo; Jürviste, E.XXV студенческая научно-техническая конференция вузов Прибалтийских республик, Белорусской ССР и Молдавской ССР, 21-23 апреля 1981 года : тезисы докладов. Том 2, Автоматика. Энергетика. Механика. Химия1981 / с. 42-43 https://www.ester.ee/record=b1322629*est

artikkel kogumikus

20

artikkel kogumikus

Подсистема расчета и регистрации технологических показателейSarv, Siim; Raiend, KulloXXX студенческая научно-техническая конференция вузов Прибалтийских республик, Белорусской ССР и Молдавской ССР, 8-10 апреля 1986 года : тезисы докладов. Том II, Автоматика. Энергетика. Механика. Химия1986 / с. 23 https://www.ester.ee/record=b1305565*est

artikkel kogumikus

21

artikkel kogumikus

Применение симулярного разложения для анализа линейных системRaiend, KulloТезисы докладов III Всесоюзного совещания по автоматизации проектирования систем автоматического и автоматизированного управления технологическими процессами, г. Иваново, 16-18 сентября 1981 г.1981 / с. 65-66

artikkel kogumikus

22

artikkel kogumikus

Расстояние от неуправляемой моделиRaiend, KulloАнализ и синтез сложных систем и цепей с помощью ЭВМ1988 / с. 34-45

artikkel kogumikus

23

artikkel kogumikus

Система автоматизации моделирования и проектирования САУ для непрерывных процессовAarna, Olav; Raiend, Kullo; Siitan, UrmasАвтоматизация проектирования систем управления : Семинар IFAC, Баку, апр. 1980 : тезисы докладов1980 / с. [43-45]

artikkel kogumikus

24

artikkel kogumikus

Численное решение матричного уравнения ЛяпуноваRaiend, KulloРасчет и проектирование приборов, устройств и систем технической кибернетики1980 / с. 115-119

artikkel kogumikus

25

raamat

Электротехника и автоматикаLaansoo, Ants; Ubar, Raimund-Johannes; Grigorjeva, Ksenja; Plakk, Mari; Leis, Paul; Sudnitsõn, Aleksander; Parve, Toomas; Trumm, Tõnu; Gordon, Boris; Seppel, Simmu; Einer, Lauri; Jõers, Rein; Vendelin, Jelena; Aarna, Olav; Jõers, Kristi; Bachverk, Aleksander; Kukk, Vello; Leppikson, Viktor; Raiend, Kullo; Ronk, Ants; Männama, Vello; Gurjanov, Boris1980 https://www.ester.ee/record=b1264145*est

raamat

Raiend, Kullo (TTÜ autor)

teaviku laadid

autor 8

CV 1

tema kohta 1