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

57 entries « 1 of 12 »

Journal Articles

1.

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

2.

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:

3.

Delimpaltadakis, Giannis; Jr., Manuel Mazo

Abstracting the Traffic of Nonlinear Event-Triggered Control Systems Journal Article

In: IEEE Transactions on Automatic Control, 2022.

BibTeX | Tags: Formal methods, NCS, SENTIENT

4.

Trobinger, Matteo; de A. Gleizer, Gabriel; Istomin, Timofei; Jr., Manuel Mazo; Murphy, Amy L.; Picco, Gian Pietro

The Wireless Control Bus: Enabling Efficient Multi-Hop Event-Triggered Control with Concurrent Transmissions Journal Article

In: ACM Transactions on Cyber-Physical Systems, vol. 6, no. 1, 2021, ISSN: 2378-962X.

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

5.

Delimpaltadakis, Giannis; Jr., Manuel Mazo

Isochronous partitions for region-based self-triggered control Journal Article

In: IEEE Transactions on Automatic Control, vol. 66, no. 3, pp. 1160–1173, 2021, ISSN: 0018-9286.

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

57 entries « 1 of 12 »

Tools

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