Skip to main content

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

41 entries « 1 of 9 »

Journal Articles

1.

Krishna, Shankara Narayanan; Madnani, Khushraj; Jr., Manuel Mazo; Pandya, Paritosh

From Non-punctuality to Non-adjacency: A Quest for Decidability of Timed Temporal Logics with Quantifiers Journal Article

In: Formal Aspects of Computing, vol. 35, no. 2, pp. 1–50, 2023.

BibTeX | Tags: Formal methods, SENTIENT

2.

Coppola, Rudi; Peruffo, Andrea; Jr., Manuel Mazo

Data-driven abstractions for verification of deterministic systems Journal Article

In: IEEE Control Systems Letters (To appear), 2023.

BibTeX | Tags: Formal methods, Learning

3.

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:

4.

Peruffo, Andrea; Jr., Manuel Mazo

Data-driven Abstractions with Probabilistic Guarantees for Linear PETC Systems Journal Article

In: IEEE Control Systems Letters, vol. 7, pp. 115–120, 2022.

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

5.

de Albuquerque Gleizer, Gabriel; Jr., Manuel Mazo

Chaos and order in event-triggered control Journal Article

In: IEEE Transactions on Automatic Control, pp. 1-16, 2022.

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

41 entries « 1 of 9 »

Tools

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