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 « 1 of 2 »

Journal Articles

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:

Inproceedings

2.

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:

3.

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:

4.

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:

5.

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:

6 entries « 1 of 2 »

Tools

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