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 « 3 of 5 »

Journal Articles

11.

Fu, Anqi; Jr., Manuel Mazo

Traffic Models of Periodic Event-Triggered Control Systems Journal Article

In: IEEE Transactions on Automatic Control, vol. 64, no. 8, pp. 3453 - 3460, 2019.

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

Proceedings Articles

12.

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

Interval Markov Decision Processes with Continuous Action-Spaces Proceedings Article

In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, pp. 1–10, 2023.

BibTeX | Tags: Formal methods, SENTIENT, Stochastic

13.

Ornia, Daniel Jarne; Jr., Manuel Mazo

Robust Event-Driven Interactions in Cooperative Multi-agent Learning Proceedings Article

In: International Conference on Formal Modeling and Analysis of Timed Systems, pp. 281–297, Springer International Publishing Cham 2022.

BibTeX | Tags: Learning, Robotics, SENTIENT

14.

Ornia, Daniel Jarne; Jr., Manuel Mazo

Event-Based Communication in Distributed Q-Learning Proceedings Article

In: 2022 IEEE 61st Conference on Decision and Control (CDC), pp. 2379–2386, IEEE 2022.

BibTeX | Tags: Learning, Robotics, SENTIENT

15.

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

Computing the sampling performance of event-triggered control Proceedings Article

In: Proceedings of the 24th International Conference on Hybrid Systems (HSCC 2021), Association for Computing Machinery (ACM), United States, 2021, (24th ACM International Conference on Hybrid Systems Computation and Control, HSCC 2021, held as part of the 14th Cyber Physical Systems and Internet-of-Things Week, CPS-IoT Week 2021 ; ).

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

23 entries « 3 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