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

23 entries « 4 of 5 »

Proceedings Articles

16.

Delimpaltadakis, Giannis; Laurenti, Luca; Jr., Manuel Mazo

Abstracting the Sampling Behaviour of Stochastic Linear Periodic Event-Triggered Control Systems Proceedings Article

In: Proceedings of the 60th IEEE Conference on Decision and Control (CDC 2021), pp. 1287–1294, IEEE, United States, 2021, ISBN: 978-1-6654-3659-5, (60th IEEE Conference on Decision and Control (CDC 2021) ; Conference date: 14-12-2021 Through 17-12-2021).

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

17.

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

Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers Proceedings Article

In: Huisman, Marieke; areanu, Corina Pu; Zhan, Naijun (Ed.): Formal Methods, pp. 182–199, Springer, 2021, ISBN: 978-3-030-90869-0, (24th International Symposium on Formal Methods, FM 2021 ; Conference date: 20-11-2021 Through 26-11-2021).

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

18.

de A. Gleizer, Gabriel; Madnani, K. N.; Jr., Manuel Mazo

Self-Triggered Control for Near-Maximal Average Inter-Sample Time Proceedings Article

In: Proceedings of the 60th IEEE Conference on Decision and Control (CDC 2021), pp. 1308–1313, IEEE, Ünited States, 2021, ISBN: 978-1-6654-3659-5, (60th IEEE Conference on Decision and Control (CDC 2021) ; Conference date: 14-12-2021 Through 17-12-2021).

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

19.

Delimpaltadakis, Giannis; Jr., Manuel Mazo

Traffic Abstractions of Nonlinear Homogeneous Event-Triggered Control Systems Proceedings Article

In: Proceedings of the 59th IEEE Conference on Decision and Control, pp. 4991–4998, IEEE, 2020.

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

20.

de A. Gleizer, Gabriel; Jr., Manuel Mazo

Scalable Traffic Models for Scheduling of Linear Periodic Event-Triggered Controllers. Proceedings Article

In: 21st IFAC World Congress : Automatic Control – Meeting Societal Challenges - Berlin, Germany, pp. 2726-2732, IFAC 2020.

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

23 entries « 4 of 5 »

Tools

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