Search results
Title Modeling multi agent system with alternating transition systems Author Oravec V. SAVINFO - Ústav informatiky SAV Co-authors Fogel Jaroslav 1945- Source document / Kozák Štefan ; Rosinová Danica Medzinárodná konferencia Kybernetika a informatika : zborník príspevkov. s. 171-178. - Bratislava : Slovenská spoločnosť pre kybernetiku a informatiku, 2005 ; Medzinárodná konferencia kybernetika a informatika Category AED - Scientific papers in domestic peer-reviewed proceedings, monographs Category of document (from 2022) V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka Type of document príspevok Year 2005 Title Multi-agent strategic decision making in the game with incomplete information Author Fogel Jaroslav 1945- SAVINFO - Ústav informatiky SAV Source document / Krejčí Stanislav Proceedings: the 6th International Scientific-Technical Conference Process Control : Říp 2004. s.188. - Pardubice : University of Pardubice, 2004 ; 6th International Scientific-Technical Conference Process Control 2004 Říp 2004 Category AEC - Scientific papers in foreign peer-reviewed proceedings, monographs Category of document (from 2022) V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka Type of document príspevok Year 2004 Title Verification of real-time control programs Author Fogel Jaroslav 1945- SAVINFO - Ústav informatiky SAV Source document Kybernetika a informatika. (2002), S. 73-74 : Medzinárodná konferencia SSKI. - Bratislava : SSKI, 2002 Category AED - Scientific papers in domestic peer-reviewed proceedings, monographs Category of document (from 2022) V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka Type of document príspevok Year 2002 Title Syntéza riadenia diskrétnych výrobných procesov pomocou časových konečných automatov Author Fogel Jaroslav 1945- SAVINFO - Ústav informatiky SAV Action Konferencia s medzinárodnou účasťou Kybernetika a informatika. SSKI 2001 : 5.-6. apríla 2001 : Piešťany Source document Zborník abstraktov. Kybernetika a informatika 2001 : SSKI 2001. p. 93-94. - Bratislava : SSKI, 2001 Category AFH - Abstracts of papers from domestic conferences Year 2001 Title Control synthesis of discrete manufacturing systems using timed finite automata Author Fogel Jaroslav 1945- SAVINFO - Ústav informatiky SAV Source document Advances in Signal Processing, Robotics and Communications : Electrical and Computer Engineering Series. P. 276-280. - USA : WSES Press, 2001 Category ABC - Chapters in scientific monographs published abroad Category of document (from 2022) V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka Type of document kapitola Year 2001 Title A survey of verification techniques for solving the state explosion problem Author Fogel Jaroslav 1945- SAVINFO - Ústav informatiky SAV Action IFAC Conference Control Systems Design : 18-20 June 2000 : Bratislava Source document Preprints of the IFAC Conference Control Systems Design. p. 366-371. - Bratislava, 2000 Category AFJ - Preprints of scientific papers published in domestic publishing house Year 2000 Title Modelling and Simulation Tool of Discrete event systems Author Fogel Jaroslav 1945- SAVINFO - Ústav informatiky SAV Co-authors Sebestyénová Jolana 1951- SAVINFO - Ústav informatiky SAV Source document Research Advances in Cybernetics. Chapter 3, P. 59-78 / Britaňák Vladimír 1954-2020 ; Frankovič Baltazár 1927-2008 ; Sloboda Fridrich 1942-. - Košice : ELFA Publishing House, 2000 Category ABD - Chapters in scientific monographs published in Slovak publishing houses Category of document (from 2022) V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka Type of document kapitola Year 2000 Title Solution of job shop scheduling problem in multi part production system Author Frankovič Baltazár 1927-2008 SAVINFO - Ústav informatiky SAV Co-authors Fogel Jaroslav 1945- SAVINFO - Ústav informatiky SAV Action IFAC. Second Conference on Management and Control of Production and logistics : July 5-8, 2000 : Grenoble, France Source document IFAC.Second Conference on Management and Control of Production and Logistics. P. 42. - Grenoble,France, 2000 Category AFE - Abstracts of invited papers from foreign conferences Year 2000 Title A statecharts approach to the modelling and simulation of discrete manufacturing systems : Kap.1.5 Author Fogel Jaroslav 1945- SAVINFO - Ústav informatiky SAV Source document Trends in control theory and applications. P. 33-43 / Frankovič Baltazár 1927-2008. - Bratislava : VEDA-Publishing House of the Slovak Academy of Sciences, 1999 Category ABD - Chapters in scientific monographs published in Slovak publishing houses Category of document (from 2022) V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka Type of document kapitola Year 1999 Title Control logic specification for distributed manufacturing systems Author Fogel Jaroslav 1945- SAVINFO - Ústav informatiky SAV Action 1st Seminar Slovak-Austrian automation`s days ( 1st : 12.-13.3.1999 : Smolenice ) Source document 1st Seminar Slovak-Austrian automation's days. P. 50-53 / Frankovič Baltazár 1927-2008. - Smolenice,Slovak Republik : Slovak Academy of Sciences, Institute of Control theory and Robotics, 1999 Category AFC - Published papers from foreign scientific conferences Year 1999