Kai Bollue

Publication Activity (10 Years)

Years Active: 2009-2010
Publications (10 Years): 0

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

Kai Bollue
Synthesis of Behavioral Controllers for Discrete Event Systems with Augmented Petri Net Models. AlgoSyn (2010)
Kai Bollue, Michaela Slaats, Erika Ábrahám, Wolfgang Thomas, Dirk Abel
Synthesis of behavioral controllers for DES: Increasing efficiency. WODES (2010)
Wolfgang Thomas, Kai Bollue, Dominique Gückel, Gustavo Quiros, Michaela Slaats, Michael Ummels
DFG Research Training Group "Algorithmic Synthesis of Reactive and Discrete-Continuous Systems (AlgoSyn)" (DFG-Graduiertenkolleg "Algorithmische Synthese reaktiver und diskret-kontinuierlicher Systeme (AlgoSyn)"). it Inf. Technol. 51 (4) (2009)
Kai Bollue, Dirk Abel, Wolfgang Thomas
Synthesis of behavioral controllers for Discrete Event Systems with NCES-like Petri net models. ECC (2009)