UI logo Institute of
Informatics
 

Discrete processes modelling and control

 Slovenská verzia
 
 

Publications:

2014

  • Multi-robotic System with Self-organization for Search of Targets in Covered Area
    J. Sebestyenova, P. Kurdel
    In: ICINCO 2014 : IEEE, Proc. of the 11th Int. Conference on Informatics in Control, Automation and Robotics, Vol. 2, Vienna, Austria, 1-3 Sept, 2014, pp. 451-458. ISBN: 978-989-758-040-6.
  • Simulation of Self-organizing Multi-Robotic System used for Area Coverage and Surround of Found Targets
    J. Sebestyenova, P. Kurdel
    In: WSEAS TRANSACTIONS on INFORMATION SCIENCE and APPLICATIONS, Volume 11, 2014, pp. 130-138. E-ISSN: 2224-3402.
  • Multimodal aspects of communication and data storage and managing systems
    J. Sebestyenova, P. Kurdel
    In: INES 2014 : IEEE, 18th International Conference on Intelligent Engineering Systems, pp. 209-214. ISBN: 978-1-4799-4616-7.
  • Workflow for a multi-agent system with voice user interfaces in a changing environment
    J. Sebestyenova, P. Kurdel
    In: SAMI 2014 : IEEE, 12th Int. Symposium on Applied Machine Intelligence and Informatics. - IEEE SMC Society, 2014, pp. 117-122. ISSN 978-1-4799-3440-9.
  • Area coverage and surround of found targets by self-organizing multi-robotic system
    J. Sebestyenova, P. Kurdel
    In: Communications, circuits and educational Technologies, : proceedings of the 2014 International Conference on Education and Educational Technologies II (EET'14). Eds. Dondon Ph. et al. - Praha, 2014, pp. 123-129. ISBN 978-1-61804-234-7.

2013

  • Routing optimization for ATM cash replenishment
    P. Kurdel, J. Sebestyenova
    In: "International Journal of Computers, 2013, vol. 7, pp. 135-144. ISSN 1998-4308
  • Parallel genetic algorithm for periodic vehicle routing and scheduling problem
    P. Kurdel, J. Sebestyenova
    In: ICSSE 2013 : proceedings. - Budapest : IEEE, 2013, pp. 111-116. ISBN 978-1-4799-0007-7.
  • Self-organizing robotic system for area coverage and surround of contamination found
    J. Sebestyenova, P. Kurdel
    In: In ICCC 2013 : IEEE 9th International Conference on Computational Cybernetics. - Piscataway : IEEE Operations Center, 2013, pp. 309-314. ISBN 978-1-4799-0060-2.
  • Problémy smerovania dopravných trás
    P. Kurdel, J. Sebestyenova
    In: InfoDay RPKOM, 15.5.2013, Bratislava, Workshop RPKOM 2013 : Technológie pre riadenie podnikových procesov v heterogénnych distribuovaných systémoch v reálnom čase s podporou multimodálnej komunikácie. Eds. Budinská,I., Hluchý, L., Ványa,Š. - Bratislava : Ústav informatiky SAV, 2013, 7 p. ISBN 978-80-970145-7-5.

2012

  • Modeling and optimization of ATM cash replenishment
    P. Kurdel, J. Sebestyenova
    In: "Latest trends in information technology: proc. of the 1st WSEAS Int. Conf. on Information Technology and Computer Networks ITCN 2012 - WSEAS Press, 2012, Vienna, 2012, pp. 322-327, ISBN 978-1-61804-134-0, ISSN 1790-5109
  • Simulácia evakuácie osob pri požiari
    J. Sebestyenova, P. Kurdel
    In: "POSTERUS.sk", roč. 5, č. 12., ISSN 1338-0087

2011

  • A genetic algorithm for the multiple depot periodic vehicle routing problem
    P. Kurdel, J. Sebestyenova
    In: "GCCP 2011 : 7th International Workshop on Grid Computing for Complex Problems : proceedings, Bratislava : Institute of Informatics SAS, 2011, pp. 176-185. ISBN 978-80-970145-5-1
  • Multimodálne aspekty komunikácie a uchovania dát
    P. Kurdel, J. Sebestyenova
    In: "POSTERUS.sk", roč. 4, no. 9, p. 1-8. ISSN 1338-0087
  • Statecharts model and heuristic scheduling of a production process
    P. Kurdel, J. Sebestyenova
    In: "INES 2011 : proceedings, Budapest : IEEE, 2011, pp. 309-314. ISBN 978-1-4244-8955-8
  • Špecifiká návrhu webových stránok pre hendikepované skupiny
    J. Sebestyenova, P. Kurdel
    In: "POSTERUS.sk", roč. 4, č. 3., ISSN 1338-0087

2010

  • Statecharts model for application based scheduling of a manufacturing process
    P. Kurdel, J. Sebestyenova
    In: "Proc. Int. Scientific - Technical Conference PROCESS CONTROL 2010", Pardubice 2010, pp. C059a-1-C059a-8.
  • Running parallel MATLAB on EGEE grid
    P. Kurdel, J. Sebestyenova
    In: "Proc. 6th Int. Conf. Grid Computing for Complex Problems", Bratislava 2010, pp. 169-177.
  • Demand driven planning and scheduling for a plastic foill recycling line
    Budinska, I., Balogh, Z., Capkovic, F., Kasanicky, T., Kurdel, P., Matejka, T., Sebestyenova, J., Zelenka J.
    In: "Proceedings of the GTE XX. nemzetkozi Gyartas Konferenciaja Manufacturing 2010: ManuFuture", Budapest, Hungaria, October 20-21, 2010. Budapest Engineering Society - GTE, Budapest, 2010. 6 pages. ISBN: 978-963-9058-31-6

2009

  • Gridové počítanie - príručky, kurzy, ukážky a príklady aplikácií
    L. Hluchý, J. Astaloš, M. Ciglan, M. Dobrucký, P. Kurdel, J. Sebestyénová, B. Šimo, V. Šipková, V. D. Tran, Ed.: L. Hluchý, P. Kurdel, J. Sebestyénová, Bratislava, 2009, ISBN: 978-80-970145-0-6
  • User-friendly Access to Grid using g-Eclipse
    P. Kurdel, J. Sebestyenova
    In: "Proc. 5th Int. Conf. Grid Computing for Complex Problems", Bratislava 2009, pp. 120-129.

2008

  • Grid Workflows Specification and Verification
    P. Kurdel, J. Sebestyenova
    In: "WSEAS TRANSACTIONS on COMPUTERS", Issue 8, Volume 7, August 2008, pp. 1199-1208.
  • Verification of Grid Workflows
    P. Kurdel, J. Sebestyenova
    In: "Proc. 12th WSEAS International Conference on COMPUTERS", July 23-25, 2008, Heraklion, Crete Island, Greece, pp. 82-87.
  • Agent based Decision Support System
    Sebestyenova J.
    In: "Proc. 8th International Scientific - Technical Conference PROCESS CONTROL 2008", June 9-12, 2008, Kouty nad Desnou, Czech Republic, pp. C046a 1-9.
  • Web Portals for Grid Computing
    Kurdel P., Sebestyenova J.
    In: "Proc. 8th International Scientific - Technical Conference PROCESS CONTROL 2008", June 9-12, 2008, Kouty nad Desnou, Czech Republic, pp. C042a 1-9.
  • Využitie gridovej infraštruktúry EGEE vo farmácii a biomedicíne
    Kurdel P., Sebestyenova J.
    In: "AT&P Journal, 1/2008", www.atpjournal.sk, in Slovak, pp. 61-63.

2007

  • About Grid Workflows Verification
    Kurdel P., Sebestyenova J.
    In: "Proc. 3rd Int. Workshop on Grid Computing for Complex Problems GCCP 2007", 22.-23. oktober 2007, Bratislava, pp. 185-196.
  • Case-based Reasoning in Agent-based Decision Support System
    Sebestyenova J.
    In: "Acta Polytechnica Hungarica", Vol. 4, No. 1, 2007, Ed. Andras Bako, Budapest Tech, pp. 127-138.
  • Modeling and control of distributed processes on the base of multi-agent systems
    Sebestyenova J.
    In: "Proc. 5th Slovakian-Hungarian Joint Symposium on Applied Machine Intelligence and Informatics", January 2007, Poprad, Slovakia, pp. 289-299.

2006

  • About Knowledge Management and Distributed Computing in Grid Infrastructure
    Kurdel P., Sebestyenova J.
    In: "Proc. 2nd Int. Conf. Grid Computing for Complex Problems", Bratislava 2006, pp. 145-153.
  • About Knowledge Management and Distributed Computing for collaborative E-science in Grid Infrastructure
    Kurdel P., Sebestyenova J.
    In: "WSEAS Transactions on COMPUTERS", pp.51-57.
  • Distributed Modelling and Simulation for collaborative E-science in Grid Infrastructure
    Kurdel P., Sebestyenova J.
    In: "Proc. 2nd WSEAS Int. Symposium on GRID COMPUTING", Lisbon, Portugal, September 22-24, 2006, pp. 699-704.
  • An Accession to Distributed Modelling and Simulation of Systems in Grid Infrastructure
    Kurdel P., Sebestyenova J.
    In: "Proc. 7th Int. Scientific Conf. Electronic Computers and Informatics ECI 2006", September 20-22, 2006, Kosice - Herlany, pp.354-359.
  • Communication of Collaborating Robots
    Kurdel P., Sebestyenova J.
    In: "Proc. 7th Int. Scientific - Technical Conference - PROCESS CONTROL 2006", June 13-16, 2006, Kouty nad Desnou, Czech Republic, pp. R196 1-12.
  • Learning Algorithm in Decision Support System
    Sebestyenova J.
    In: "Proc. 7th Int. Scientific - Technical Conference - PROCESS CONTROL 2006", June 13-16, 2006, Kouty nad Desnou, Czech Republic, pp. R195 1-11.
  • Databáza a možnosti rozhodovania v multiagentovom podpornom systéme MARABU pre modelovanie, riadenie a simuláciu dynamických systémov
    Sebestyenova J.
    In: "AT&P Journal, 6/2006", www.atpjournal.sk, in Slovak, pp.66-69.

2005

  • Decision support system for modelling of systems and control systems design
    Sebestyenova J.
    In: "Proc. IEEE Int. Conf. on Computational Intelligence for Modelling Control and Automation CIMCA'2005 ", ISBN-13: 978-0-7695-2504-4, ISBN-10: 0-7695-2504-0, Ed. M. Mohammadian, Vol. 1, 28.-30. Nov. 2005, Vienna, pp. 70-75.
  • MARABU - Multiagentový podporný systém pre modelovanie, riadenie a simuláciu dynamických systémov
    Frankovič B., Budinska I., Sebestyenova J., Dang T.T., Oravec V.
    In: "AT&P Journal, 4/2005", ISSN 1335-2237, 2005, in Slovak, pp.57-59.
  • Domain ontology based object-oriented and relational databases
    Sebestyenova J.
    In: "Proc. 5th WSEAS Int. Conf. on Applied Informatics and Communications AIC'2005", 15.-17. September 2005, Malta, 6 pages.
  • Ontology - based databases for decision support systems
    Sebestyenova J.
    In: "WSEAS Transactions on Information Science and Applications", September 2005, 8 pages.

2004

  • Usage of domain ontology in e-learning
    Sebestyenova J.
    In: "Proc. 5th Int. Conference Virtual University", ISBN: 80-227-2171-9, December 16-17, 2004, Bratislava, Slovakia, pp.272-277.
  • Design and Verification of an Agent-based System
    Sebestyenova J.
    In: "Proc. 8th WSEAS Int. Conference on Computers", ISBN: 960-8052-99-8, July 12-15, 2004, Vouliagment, Athens, Greece, 6 pages.
  • Multi-Agent Strategic Decision Making in Game with Incomplete Information
    Fogel J.
    In: Proc. of Conf. Process Control RIP, Pardubice, 2004, 5 pages
  • Simulation and Verification Tool for Hierarchical Real-Time Systems
    Sebestyenova J.
    In: "Proc. 11th IEEE Int. Conference on Engineering of Computer Based Systems ", May 2004, Brno, pp. 255-261.
  • Statecharts-based Modeling and Verification of Embedded Systems
    Sebestyenova J.
    In: "Process Control RIP 2004", Pardubice, June 2004, 10 pages.

2003

  • Hierarchical models of timed concurrent systems: Compositional semantics
    Fogel J.
    In: Elect. Journal of Cybernetics and Informatics, Bratislava, 2003, 9 pages
  • Compositional Proof Rules for Hierarchical Timed Automata
    Fogel J.
    In: Proc. of Conference Forum on Specification and Design Languages, Frankfurt 2003, pp. 536-546.
  • Time Extension of Hierarchical State Machines
    Fogel J.
    In: Proc. of IFAC Conf. Control Systems Design, Bratislava, 2003, CD ROM, 6 pages
  • Hierarchical Verification of Reactive Systems with Timing Constraints
    Sebestyenova J.
    In: "WSEAS Transactions on Computers", Ed. Mastorakis N., Issue 4, Vol.2, Oct 2003, pp. 1174-1179.

2002

  • Verification of Real-time Control Programs
    Fogel J.
    In: Konf. SSKI, Trebisov, 2002, CD ROM , 9 pages

2001

  • Control synthesis of discrete manufacturing systems using finite timed automata
    Fogel J.
    In: WSES/IEEE Conference, Malta, 2001.
  • Synteza riadenia diskretnych vyrobnych procesov pomocou casovych automatov
    Fogel J.
    Konferencia Kybernetika a informatika, Piestany, April 2001.
  • A Survey of Verification Methods for Program System
    Kotmanova D.
    6th International Conf. Informatics 2001, Bratislava, November 2001.

2000

  • Survey of verification techniques for solving the state explosion problem
    Fogel J.
    In: IFAC Conf. Control System Design, Bratislava 2000
  • Solution of job shop scheduling problem in multi-part production system
    B. Frankovic, J. Fogel
    In: IFAC Conf. Management and control of production and logistics, Grenoble, 2000.
  • Modelling and Simulation Tool of Discrete Event Systems
    Fogel J., Sebestyenova J.
    Chapter3 in Research Advances in Cybernetics, ELFA,2000.

1999

  • The Simulation System for the Synchronisation Logic Development for Distributed Control of the Manufacturing Systems
    Fogel J.
    In: ESM99 13th European Simulation Multiconference, Warsaw, Poland, June 1999, pp. 433-438.
  • Control logic specification for distributed manufacturing systems
    Fogel J.
    1st seminar Slovak-Austrian automation days, Smolenice, 1999.

1998

  • Stacha: A Computerized Modeling Tool for DEDS
    Sebestyenova J.
    Proc. Int. Conference on Systems, Signals, Control, Computers, Vol.3, Durban, South Africa, 1998, pp. 389-393.
  • A statecharts approach to the modelling and simulation of discrete manufacturing systems
    Fogel J.
    Chapt. 1.5 Trends in control theory and applications, editor B. Frankovic, VEDA, 1998.

1997

  • A Statechart Approach to the Modelling of Discrete Manufacturing Systems
    Fogel J.
    Proc. 7th Symposium on Computer Aided Control Systems Design, Gent, Belgium, April, 1997, pp. 249-255.
  • A Model Based Approach to the Supervisory Control of FMS
    Fogel J.
    2nd IFAC Workshop on New Trends in Design of Control Systems, Smolenice 1997.
  • Graficky simulacny system pre tvorbu synchronizacnej logiky riadenia PVS
    Fogel J.
    AT&P Journal 8, 1997.

1996

  • Concurrent Systems: Specification and Verification of some Real-Time Properties
    Fogel J.
    Proceedings of Modern Techniques of Statistical data Analysis on PC and Quality Control, Kosice 1996.

1995

  • A Statecharts Formalism for Modelling Concurrent Object Oriented Systems
    Fogel J.
    Proc. Workshop within 16th Int. Conference on Application and Theory of Petri Nets, Torino, Italy, 1995.
  • Object-oriented Framework for Modelling and Control of DEDS - Some Concurrency Aspects
    Sebestyenova J.
    Proc. 8th AMSE Conference Systems Analysis, Control & Design, Vol.2, Brno, 1995, pp. 128-136.
  • Simulation of the Parallel Processes in a FMS
    Sebestyenova J.
    Proc. 3rd IFAC Workshop on Intelligent Manufacturing Systems, Vol.1, Bucharest, 1995, pp. 139-144.
  • Some aspects of an object- orientation in an FMS modelling, Advances in Design and Manufacturing
    Fogel, J.
    Proceedings of the Conference IiM, Wien, September 1995.

1994

  • An Object-oriented Specification of a Control Logic for an FMS
    Fogel J., Kocian M., Sebestyenova J.
    Preprints 2nd IFAC Symposium Intelligent Components and Instruments for Control Applications, Budapest, 1994, pp. 205-210.
  • An Approach to Object-oriented Modelling and Control of a DEDS
    Fogel J., Kocian M., Sebestyenova J.
    Preprints 1st IFAC Workshop New Trends in Design of Control Systems, Smolenice, 1994, pp. 380-385.

1993

  • An Object-oriented Concept for Real-time Control of an FMS
    Fogel J., Sebestyenova J.
    Control Engineering Practice, Vol. 1, Number 4, 1993, pp. 691-698.