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

2022

1.

Verdier, Cees Ferdinand; Kochdumper, Niklas; Althoff, Matthias; Jr., Manuel Mazo

Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications Journal Article

In: Automatica, vol. 139, 2022, ISSN: 0005-1098.

Abstract | BibTeX | Tags: CADUSY, Formal methods | Links:

2020

2.

Verdier, Cees F; Jr., Manuel Mazo

Formal Controller Synthesis for Hybrid Systems Using Genetic Programming Online

2020.

BibTeX | Tags: CADUSY, Formal methods | Links:

2019

3.

Verdier, Cees F; Babuska, Robert; Shyrokau, Barys; Jr., Manuel Mazo

Near Optimal Control With Reachability and Safety Guarantees Inproceedings

In: 5th IFAC Conference on Intelligent Control and Automation Sciences (ICONS), 2019, pp. 230–235, 2019, ISSN: 2405-8963.

BibTeX | Tags: CADUSY, Formal methods | Links:

2018

4.

Verdier, Cees F; Jr., Manuel Mazo

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

In: 57th IEEE Conference on Decision and Control (CDC 2018), pp. 4896–4901, IEEE 2018, ISBN: 978-1-5386-1395-5.

BibTeX | Tags: CADUSY, Formal methods | Links:

5.

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

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:

2017

6.

Verdier, Cees F; Jr., Manuel Mazo

Formal controller synthesis via genetic programming Inproceedings

In: 20th IFAC World Congress, pp. 7205–7210, Elsevier, 2017.

BibTeX | Tags: CADUSY, Formal methods | Links: