Automatic Synthesis of Systems with Data: Synthèse Automatique de Systèmes avec Données

Automatic Synthesis of Systems with Data: Synthèse Automatique de Systèmes avec Données

A reactive system is a system that continuously interacts with its environment. The environment provides an input signal, to which the system reacts with an output signal, and so on ad infinitum. In reactive synthesis, the goal is to automatically generate an implementation from a specification of t...

Full description

Bibliographic Details
Main Author: Exibard, Leo
Other Authors: Filiot, Emmanuel
Format: Doctoral Thesis
Language:en
Published: Universite Libre de Bruxelles 2021
Subjects:
Informatique mathématique
Register Automata
Register Transducers
Reactive Synthesis
Church Problem
Data Words
Data Domains
Asynchronous Transducers
Computability
Continuity
Online Access:https://dipot.ulb.ac.be/dspace/bitstream/2013/333073/5/ContratDiExibard.pdf
https://dipot.ulb.ac.be/dspace/bitstream/2013/333073/4/Table_of_Contents.pdf
https://dipot.ulb.ac.be/dspace/bitstream/2013/333073/3/Exibard_Automatic_Synthesis_of_Systems_with_Data.pdf
http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/333073

Internet

https://dipot.ulb.ac.be/dspace/bitstream/2013/333073/5/ContratDiExibard.pdf
https://dipot.ulb.ac.be/dspace/bitstream/2013/333073/4/Table_of_Contents.pdf
https://dipot.ulb.ac.be/dspace/bitstream/2013/333073/3/Exibard_Automatic_Synthesis_of_Systems_with_Data.pdf
http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/333073

Similar Items