Publications

If you can’t find the preprint you’re looking for below, please try on the TU Delft repository, ORCiD, or GoogleScholar via the linked logos above.

Show all

2018

1.

Zapreev, Ivan S; Verdier, Cees F; Mazo Jr., Manuel

Optimal Symbolic Controllers Determinization for BDD storage Inproceedings

In: 6th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2018, pp. 1–6, Elsevier, 2018.

BibTeX | Tags: CADUSY, Formal methods | Links:

2.

Verdier, Cees F; Mazo Jr., Manuel

Formal Synthesis of Analytic Controllers for Sampled-Data Systems via Genetic Programming Inproceedings

In: 2018 IEEE Conference on Decision and Control (CDC), pp. 4896–4901, IEEE 2018.

BibTeX | Tags: CADUSY, Formal methods

2017

3.

Verdier, Cees F; Mazo Jr., Manuel

Formal controller synthesis via genetic programming Inproceedings

In: IFAC-PapersOnLine, pp. 7205–7210, Elsevier, 2017.

BibTeX | Tags: CADUSY, Formal methods