Skip to main content


Scheduling of EveNt-TrIggerEd coNtrol Tasks

Project funded under the ERC-Starting Grant #755953


Manuel Mazo Jr.


Giannis Delimpaltadakis

PhD Candidate

Gabriel A. Gleizer

PhD Candidate

Khushraj Nanik Madnani

Postdoctoral Researcher

Gururaj Maddodi

Postdoctoral Researcher

Alexey Ilyushkin

Postdoctoral Researcher

Indeevar Lanka

MSc Student

Bas Boot

MSc Student

Tim Sweering

MSc Student

Max Mauro Dias Santos

Visiting Researcher

Aleksandra Szymanek

MSc student

Paul Schalkwijk

MSc student

Aniket Ashwin Samant

MSc Student

Jacob Lont

MSc Student


23 entries « 1 of 5 »

Journal Articles


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


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


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:


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


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:

23 entries « 1 of 5 »


Abstraction and synthesis tool for timing models of ETC systems
Tool to port timed automata constructed in Python to UPPAAL format