Projektbeschreibung
Nutzung der Zusammensetzung zur Vereinfachung der Komplexität von Algorithmen
Als Fachleute aus der Mathematik im 20. Jahrhundert mit der Entwicklung von Computern begannen und von der Theorie zur Praxis übergingen, wurde das Gebiet der Automatentheorie geboren. Automaten sind abstrakte Modelle einfacher Maschinen oder Rechengeräte, die automatisch einer vorgegebenen Abfolge von Arbeitsschritten folgen. Sie helfen Forschenden im Bereich der Informatik zu verstehen, wie ein Computer Funktionen vervollständigt und Probleme löst. Darüber hinaus helfen sie ihnen auch nachzuvollziehen, was es bedeutet, dass eine Funktion berechenbar oder eine Frage „entscheidbar“ ist. Die Zusammensetzung stellt dabei einen wichtigen Mechanismus in der Automatentheorie dar, der für das Problem der Entscheidbarkeit direkt relevant ist. Das EU-finanzierte Projekt FouCo untersucht die Zusammensetzung von Automaten und wie diese für spezifische Anwendungen genutzt werden kann, um die Komplexität der derzeitigen Algorithmen zu reduzieren.
Ziel
Composition is a key technique in automata theory, used in particular in the model-checking, realisability analysis and automatic synthesis of reactive systems. Typically, when it comes to composition, deterministic automata are used as they behave well when composed with other automata or games. However, determinisation is notoriously complex, both conceptually and computationally. One approach to avoiding determinisation is the notion of Good for Games (GFG) nondeterministic automata, which, despite their nondeterminism, compose well with games. Recent work suggests that the notion of GFG automata, so far only used for composing non-deterministic automata with games, is in fact much more powerful: it generalises to alternating automata, a more general and flexible type of automata that is particularly close to formal logics, and such automata can be used not just in composition with games, but with other automata as well. This means that alternating automata of this type could potentially be used in solutions to parity games, Church's synthesis problem, and, more generally, for turning automata into equivalent automata with simpler acceptance conditions.
This project aims to study how to make automata compositional, how to recognise compositional automata, and how to exploit compositionality to improve algorithms in verification and synthesis. In particular, we will study how partial notions of composition, that is, automata that are not GFG in general, but can still be composed with a restricted class of games, can be exploited to avoid determinisation and thereby simplify existing algorithms for reactive synthesis, model-checking and Markov decision procedures.
Schlüsselbegriffe
Schlüsselbegriffe des Projekts, wie vom Projektkoordinator angegeben. Nicht zu verwechseln mit der EuroSciVoc-Taxonomie (Wissenschaftliches Gebiet).
Schlüsselbegriffe des Projekts, wie vom Projektkoordinator angegeben. Nicht zu verwechseln mit der EuroSciVoc-Taxonomie (Wissenschaftliches Gebiet).
Programm/Programme
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
-
H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions
HAUPTPROGRAMM
Alle im Rahmen dieses Programms finanzierten Projekte anzeigen -
H2020-EU.1.3.2. - Nurturing excellence by means of cross-border and cross-sector mobility
Alle im Rahmen dieses Programms finanzierten Projekte anzeigen
Thema/Themen
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Finanzierungsplan
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
MSCA-IF - Marie Skłodowska-Curie Individual Fellowships (IF)
Alle im Rahmen dieses Finanzierungsinstruments finanzierten Projekte anzeigen
Aufforderung zur Vorschlagseinreichung
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
(öffnet in neuem Fenster) H2020-MSCA-IF-2019
Alle im Rahmen dieser Aufforderung zur Einreichung von Vorschlägen finanzierten Projekte anzeigenKoordinator
Finanzieller Nettobeitrag der EU. Der Geldbetrag, den der Beteiligte erhält, abzüglich des EU-Beitrags an mit ihm verbundene Dritte. Berücksichtigt die Aufteilung des EU-Finanzbeitrags zwischen den direkten Begünstigten des Projekts und anderen Arten von Beteiligten, wie z. B. Dritten.
L69 7ZX LIVERPOOL
Vereinigtes Königreich
Die Gesamtkosten, die dieser Organisation durch die Beteiligung am Projekt entstanden sind, einschließlich der direkten und indirekten Kosten. Dieser Betrag ist Teil des Gesamtbudgets des Projekts.