Methods and algorithms of the cooperative interaction of intelligent decentralised control subsystems based on DES
2009 - 2012
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:
- the modular approach to modelling of control subsystems and/or control agents as moduls of DES in the form of linear discrete systems created in analytical terms in virtue of Petri nets and their structural composition into higher complexes
- the verification of properties of both the separate modules and their groups (structural compositions) on the basis of the suitable methods used for Petri nets
- the examination of mutual interactions among separate control modules and among groups of modules and the examination of the influence of the mutual interactions on the control effectiveness
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)
- Analysis of Discrete Event Systems and the Synthesis of their Knowledge-Based and Intelligent Control (2006-2008)
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)
- Intelligent Agents and Information Technology Applications (2008-2010 with Bulgaria)