Skip to main content

SENTIENT Project

Scheduling of EveNt-TrIggerEd coNtrol Tasks

Project funded under the ERC-Starting Grant #755953

Team

Manuel Mazo Jr.

PI

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

Publications

Show all

Journal Articles

1.

Proskurnikov, Anton V; Jr., Manuel Mazo

Lyapunov Event-triggered Stabilization with a Known Convergence Rate Journal Article

In: IEEE Transactions on Automatic Control, vol. 65, no. 2, pp. 507–521, 2020, ISSN: 0018-9286.

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

Proceedings Articles

2.

Proskurnikov, Anton V; Jr., Manuel Mazo

Lyapunov design for event-triggered exponential stabilization Proceedings Article

In: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), pp. 111–119, ACM Association for Computing Machinery, 2018, ISBN: 9781450356428.

BibTeX | Tags: IAVTRM, NCS | Links:

3.

Proskurnikov, Anton V; Jr., Manuel Mazo

Simple synchronization protocols for heterogeneous networks: beyond passivity Proceedings Article

In: 20th IFAC World Congress, pp. 9426–9431, Elsevier, 2017.

BibTeX | Tags: IAVTRM, NCS | Links:

Online

4.

Proskurnikov, Anton V; Jr., Manuel Mazo

Simple synchronization protocols for heterogeneous networks: beyond passivity (extended version) Online

2017.

BibTeX | Tags: IAVTRM, NCS | Links:

Tools

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