UI logo Institute of
Informatics 		 

Discrete processes modelling and control

  Slovenská verzia
 
 

Publications:

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 RÍP 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, Trebišov, 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.