Follow
Cees Ferdinand Verdier
Title
Cited by
Cited by
Year
Formal controller synthesis via genetic programming
CF Verdier, M Mazo Jr
IFAC-PapersOnLine 50 (1), 7205-7210, 2017
152017
Optimal symbolic controllers determinization for BDD storage
IS Zapreev, C Verdier, M Mazo Jr
IFAC-PapersOnLine 51 (16), 1-6, 2018
112018
Formal synthesis of analytic controllers for sampled-data systems via genetic programming
CF Verdier, M Mazo
2018 IEEE Conference on Decision and Control (CDC), 4896-4901, 2018
102018
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
CF Verdier, N Kochdumper, M Althoff, M Mazo Jr
Automatica 139, 110184, 2022
42022
Formal controller synthesis for hybrid systems using genetic programming
CF Verdier, M Mazo Jr
arXiv preprint arXiv:2003.14322, 2020
32020
Near optimal control with reachability and safety guarantees
CF Verdier, R Babuška, B Shyrokau, M Mazo Jr
IFAC-PapersOnLine 52 (11), 230-235, 2019
22019
Geometric control of an under-actuated balancing robot
CF Verdier
22015
Formal synthesis of analytic controllers: An evolutionary approach
CF Verdier
12020
The system can't perform the operation now. Try again later.
Articles 1–8