Kai Bollue

According to our database, Kai Bollue authored at least 5 papers between 2009 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Algorithmische Synthese ereignisdiskreter Steuerungen mit erweiterten Petrinetz-Modellen.

Kai Bollue

PhD thesis, 2018

2010

Synthesis of behavioral controllers for DES: Increasing efficiency.

Kai Bollue, Michaela Slaats, Erika Ábrahám, Wolfgang Thomas, Dirk Abel

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Synthesis of Behavioral Controllers for Discrete Event Systems with Augmented Petri Net Models.

Kai Bollue

Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, 2010

2009

DFG Research Training Group "Algorithmic Synthesis of Reactive and Discrete-Continuous Systems (AlgoSyn)" (DFG-Graduiertenkolleg "Algorithmische Synthese reaktiver und diskret-kontinuierlicher Systeme (AlgoSyn)").

Wolfgang Thomas, Kai Bollue, Dominique Gückel, Gustavo Quiros, Michaela Slaats, Michael Ummels

it Inf. Technol., 2009

Synthesis of behavioral controllers for Discrete Event Systems with NCES-like Petri net models.

Kai Bollue, Dirk Abel, Wolfgang Thomas

Proceedings of the 10th European Control Conference, 2009