Analysis of Discrete Event Systems and the Synthesis of their Knowledge-Based and Intelligent Control
2006 - 2008

Head of the project: Doc. Ing. Frantisek Capkovic, PhD.

The project is partially supported by the Slovak Grant Agency for Science (VEGA).
The following problems are solved in the project:

• discrete event systems (DES) analysis and finding possibilities for their modelling in analytical terms, especially modelling based on Petri nets
• knowledge representation for DES control purposes, especially for the synthesis of knowledge-based and intelligent control systems
• finding methods of distributed artificial intelligence suitable for design of the DES intelligent control

The project represents the continuation of the previous projects VEGA (a head of them was Doc. Ing. Frantisek Capkovic, PhD.) :

• Synthesis of the control systems with ability of automatic reasoning (1991-1993)
• Modelling of discrete event dynamic systems and synthesis of their intelligent control (1994-1996)
• Creation and justifying of models of discrete event dynamic systems and synthesis of their control at utilizing the artificial intelligence methods (1997-1999)
• Modelling, Simulation, and Intelligent Control Synthesis of DEDS and Complex Hybrid Systems (2000-2002)
• Advanced Methods of the Control Synthesis for Discrete Event Dynamic Systems (DEDS) and Hybrid Systems (2003-2005)

The mentioned national projects have been solved at the simultaneous international cooperation in the form of the following joint projects (a head of the Slovak participations was Doc. Ing. Frantisek Capkovic, PhD.):

• Modelling the Rule-Based Knowledge Systems and Systems of Rule-Based Automatic Reasoning by means of Petri Nets (1991-1994 with Spain)
• Modelling and Intelligent Control of Discrete Event Systems (1994-1995 with Greece)
• Knowledge-based and intelligent control systems (1996-1998 with Greece)
• INCO COPERNICUS CP96-026: AMETMAS-NOE (Advanced Methodologies and Tools of Manufacturing Systems - Network of Excelence) - (1996-2000)
• E.P. 23447: ICIMS-NOE (Intelligent Control and Integrated Manufacturing Systems - Network of Excellence - a part of the ESPRIT Project 9751) - (1996-2001)
• Knowledge-Based Systems for Modelling, Identification and Diagnostics and for Optimal Control of Complex Systems (1998-2001 with Bulgaria)
• Advanced Methods of Knowledge-Based and Intelligent Control of Discrete Event Systems and Production Processes (1998-2000 with Austria and Hungaria)
• Knowledge-Based and Intelligent Control Systems - INTELCON (2001-2004 with Greece)
• Modelling and Intelligent Control of Discrete Event Systems with Orientation to Manufacturing - MODISMA (2001-2003 with Spain)
• Integration of Software Specification Methods in Control of Engineering Systems - SOFCON (2002-2003 with Germany)
• Hybrid Intelligent Modelling (2005-2007 with Bulgaria)