WP1  

Work package number  1  Work package title  Mathematical tools: matrix computations and matrix equations and inequations solving 
Lead SRO's acronym  UNFSM, FTSC  
WP Coordinator  team member's ID  P1  Predrag Stanimirović  
Team member's ID  PI, P1, P2, P3, P7, P8, P9  
Objectives: The main objective of this work package is to provide the necessary mathematical tools for use in other work packages. This will be achieved through completion of the following specific aims:


Description of work and role of the team members The work on this work package will be done through the following subactivities:

WP2  

Work package number  2  Work package title  Semantics and representations of WFAs 
Lead SRO's acronym  UNFSM, FTSC, FSUKG  
WP Coordinator  team member's ID  P4  Nada Damljanović  
Team member's ID  PI, P2, P4, P13  
Objectives: The main objective of WP2 is to consider some theoretical issues concerning semantics and representations of WFAs over semirings and strong bimonoids, which will play an important role in the considerations within other WPs. This will be achieved through completion of the following specific aims:


Description of work and role of the team members The work on this work package will be done through the following subactivities:

WP3  

Work package number  3  Work package title  Simulation and bisimulation algorithms 
Lead SRO's acronym  UNFSM, FTSC, FSUKG , UNFPV  
WP Coordinator  team member's ID  P6  Ivana Micić  
Team member's ID  PI, P2, P3, P4, P5, P6, P8, P9, P11, P12  
Objectives: The main objective of WP3 is to develop a general theory of simulation and bisimulation matrices for WFAs over semirings based on solving particular systems of matrix inequations and equations disscussed in the description of WP1. This general aim will be achieved through completion of the set of specific objectives that include:


Description of work and role of the team members The work on this work package will be done through the following subactivities:

WP4  

Work package number  4  Work package title  State reduction and minimization algorithms 
Lead SRO's acronym  UNFSM  
WP Coordinator  team member's ID  P3  Aleksandar Stamenković  
Team member's ID  PI, P1, P2, P3, P6, P7, P9, P11  
Objectives: The main objective of WP4 is to develop a general theory of state reduction and approximate state reduction of WFAs over semirings based on solving particular systems of matrix inequations and equations disscussed in the description of WP1, as well as minimization and approximate minimization of such types of automata. This general aim will be achieved through completion of the set of specific objectives that include:


Description of work and role of the team members The work on this work package will be done through the following subactivities:

WP5  

Work package number  5  Work package title  Determinization algorithms 
Lead SRO's acronym  UNFSM  
WP Coordinator  team member's ID  P5  Zorana Jančić  
Team member's ID  PI, P2, P3, P4, P5, P6, P9, P10, P13  
Objectives: The general objective of this work package is to develop methods and algorithms for the determinization, approximate determinization and canonization of WFAs over semirings. This will be achieved through completion of the following specific goals:


Description of work and role of the team members The work on this work package will be done through the following subactivities:

WP6  

Work package number  6  Work package title  Reconstruction algorithms 
Lead SRO's acronym  UNFSM  
WP Coordinator  team member's ID  P2  Jelena Ignjatović  
Team member's ID  PI, P1, P2, P3, P4, P5, P7, P11  
Objectives: The general objective of this work package is to develop theory and algorithms for reconstruction of WFAs from their behaviours, and to develop theory and algorithms for learning WFAs. This will be done by achieving the following specific objectives:


Description of work and role of the team members The work on this work package will be done through the following subactivities:

WP7  

Work package number  7  Work package title  Project management and dissemination 
Lead SRO's acronym  UNFSM  
WP Coordinator  team member's ID  PI  Miroslav Ćirić  
Team member's ID  PI, P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11, P12, P13  
Objectives: The objective of this work package is to manage all Project activities (research, financial, administrative, dissemination) in a way to ensure that they are realized within the deadlines provided by the Project proposal and in compliance with the law and the agreed conditions and obligations. In addition, the goal is to ensure the promotion and visibility of Project results. 

Description of work and role of the team members The work on this work package will be done through the following subactivities:
