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

57 entries « 11 of 12 »

Proceedings Articles

51.

Jr., Manuel Mazo; Tabuada, Paulo

Input-to-state stability of self-triggered control systems Proceedings Article

In: Decision and Control, 2009 held jointly with the 2009 28th Chinese Control Conference. CDC/CCC 2009. Proceedings of the 48th IEEE Conference on, pp. 928–933, IEEE 2009.

BibTeX | Tags: NCS

52.

Jr., Manuel Mazo; Tabuada, Paulo

On event-triggered and self-triggered control over sensor/actuator networks Proceedings Article

In: Decision and Control, 2008. 47th IEEE Conference on, pp. 435–440, IEEE 2008.

BibTeX | Tags: NCS

Online

53.

Delimpaltadakis, Giannis; Jr., Manuel Mazo

Region-Based Self-Triggered Control for Perturbed and Uncertain Nonlinear Systems. Online

2020.

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

54.

Proskurnikov, Anton V; Jr., Manuel Mazo

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

2017.

BibTeX | Tags: IAVTRM, NCS | Links:

55.

Adzkiya, Dieky; Jr., Manuel Mazo

Scheduling of event-triggered networked control systems using timed game automata Online

https://arxiv.org/abs/1610.03729 2016.

BibTeX | Tags: Formal methods, NCS | Links:

57 entries « 11 of 12 »

Tools

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