CADUSY Project

Control And Data-driven modelling Using SYmbolic methods

Project funded under the NWO-TTW OTP Grant #13852

Team

Manuel Mazo Jr.

PI

Cees F. Verdier

PhD

Ivan Zapreev

PostDoctoral researcher

Publications

6 entries « 2 of 2 »

Online

6.

Verdier, Cees F; Jr., Manuel Mazo

Formal Controller Synthesis for Hybrid Systems Using Genetic Programming Online

2020.

BibTeX | Tags: CADUSY, Formal methods | Links:

6 entries « 2 of 2 »

Tools

4CS
Correct-by-Construction Closed-form Controller Synthesis