Cees Verdier

According to our database, Cees Verdier authored at least 5 papers between 2018 and 2022.

Collaborative distances:

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

2022

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

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

Autom., 2022

2020

Formal synthesis of analytic controllers: An evolutionary approach.

Cees Ferdinand Verdier

PhD thesis, 2020

Formal controller synthesis for hybrid systems using genetic programming.

Cees Ferdinand Verdier, Manuel Mazo Jr.

CoRR, 2020

2018

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

Cees Ferdinand Verdier, Manuel Mazo Jr.

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Optimal Symbolic Controllers Determinization for BDD storage.

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

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018