Project Details
Projekt
GRK 1298: Algorithmic Synthesis of Reactive and Discrete-continuous Systems (AlgoSyn)
Subject Area
Computer Science
Systems Engineering
Systems Engineering
Term
from 2006 to 2015
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 12441627
Nowadays, methods of softwarevalidation and -verification, based on adequate formal models and tested in practical applications, are well established. However, the approach of automatic synthesis of software (and hardware) is as yet only developed in quite rudimentary form. But in theoretical computer science as well as in engineering disciplines algorithmic synthesis procedures are being developed. Priority objective is here to decrease development costs by invoking algorithmics in formal modelling frameworks. However, the approach of programme synthesis is only applicable in restricted scenarios, in particular in reactive (multi-agent-)systems with low data complexity and in control systems.
The Research Training Group will look into central issues in the area like the establishment of system models which allow an algorithmic solution of the synthesis problem, the combination of discrete and continuous prarameters in hybrid systems (as this is also familiar from verification), and the exploration of the potential of applications.
The aim of the Research Training Group is to unify the expertise from computer science, mathematics, and four engineering disciplines (processor architectures, automatic control, process control engineering, train traffic systems) and to push forward the desired integration of methods.
The research is carried out in four subject areas: algorithmics for agent-based probabilistic and hybrid systems, formal methods of reactive systems and game-theoretic methods, software development and modelling languages, and finally applications and demonstrators.
The Research Training Group will look into central issues in the area like the establishment of system models which allow an algorithmic solution of the synthesis problem, the combination of discrete and continuous prarameters in hybrid systems (as this is also familiar from verification), and the exploration of the potential of applications.
The aim of the Research Training Group is to unify the expertise from computer science, mathematics, and four engineering disciplines (processor architectures, automatic control, process control engineering, train traffic systems) and to push forward the desired integration of methods.
The research is carried out in four subject areas: algorithmics for agent-based probabilistic and hybrid systems, formal methods of reactive systems and game-theoretic methods, software development and modelling languages, and finally applications and demonstrators.
DFG Programme
Research Training Groups
Applicant Institution
Rheinisch-Westfälische Technische Hochschule Aachen
Spokespersons
Professor Dr. Joost-Pieter Katoen, since 3/2016; Professor Dr. Wolfgang Thomas, until 2/2016
Participating Researchers
Professor Dr.-Ing. Dirk Abel; Professor Dr.-Ing. Ulrich Epple; Professor Dr. Erich Grädel; Professor Dr.-Ing. Stefan Kowalewski; Privatdozent Dr. Christof Löding; Professor Dr.-Ing. Nils Nießen; Professor Dr. Bernhard Rumpe; Professor Dr. Berthold Vöcking (†); Professorin Dr. Erika Ábrahám
