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

Show all

33 entries « 1 of 7 »

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:

2.

de A. Gleizer, Gabriel; Jr., Manuel Mazo

Self-triggered output-feedback control of LTI systems subject to disturbances and noise. Journal Article

In: Automatica, vol. 120, 2020, ISSN: 0005-1098.

Abstract | BibTeX | Tags: Formal methods, NCS, SENTIENT | Links:

3.

de A. Gleizer, Gabriel; Jr., Manuel Mazo

Towards Traffic Bisimulation of Linear Periodic Event-Triggered Controllers Journal Article

In: IEEE Control Systems Letters, vol. 5, no. 1, pp. 25–30, 2020, ISBN: 2475-1456, (Green Open Access added to TU Delft Institutional Repository 'You share, we take care!' - Taverne project https://www.openaccess.nl/en/you-share-we-take-care Otherwise as indicated in the copyright section: the publisher is the copyright holder of this work and the author uses the Dutch legislation to make this work public.).

Abstract | BibTeX | Tags: Formal methods, NCS, SENTIENT | Links:

4.

Delimpaltadakis, Giannis; Jr., Manuel Mazo

Isochronous Partitions for Region-Based Self-Triggered Control Journal Article

In: IEEE Transactions on Automatic Control, pp. 1-1, 2020, ISSN: 1558-2523.

BibTeX | Tags: Formal methods, NCS, SENTIENT | Links:

5.

Fu, Anqi; Jr., Manuel Mazo

Traffic Models of Periodic Event-Triggered Control Systems Journal Article

In: IEEE Transactions on Automatic Control, vol. 64, no. 8, pp. 3453 - 3460, 2019.

BibTeX | Tags: Formal methods, NCS, SENTIENT | Links:

33 entries « 1 of 7 »

Tools

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