Publications

If you can’t find the preprint you’re looking for below, please try on the TU Delft repository, ORCiD, or GoogleScholar via the linked logos above.

Show all

2022

1.

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, 2022, ISSN: 2378-962X.

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

2021

2.

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

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

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 | Links:

3.

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

Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers Inproceedings

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:

4.

Delimpaltadakis, Giannis; Jr., Manuel Mazo

Isochronous partitions for region-based self-triggered control Journal Article

In: IEEE Transactions on Automatic Control, vol. 66, no. 3, pp. 1160–1173, 2021, ISSN: 0018-9286.

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

5.

Delimpaltadakis, Giannis; Jr., Manuel Mazo

Region-Based Self-Triggered Control for Perturbed and Uncertain Nonlinear Systems Journal Article

In: IEEE Transactions on Control of Network Systems, vol. 8, no. 2, pp. 757–768, 2021, ISSN: 2325-5870.

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

6.

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

Self-Triggered Control for Near-Maximal Average Inter-Sample Time Inproceedings

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:

2020

7.

Delimpaltadakis, Giannis; Jr., Manuel Mazo

Traffic Abstractions of Nonlinear Homogeneous Event-Triggered Control Systems Inproceedings

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

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

8.

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

Self-triggered output-feedback control of LTI systems subject to disturbances and noise. Journal Article

In: Automatica, vol. 120, 2020, ISSN: 0005-1098.

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

9.

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:

10.

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

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

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:

11.

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

Towards Traffic Bisimulation of Linear Periodic Event-Triggered Controllers Journal Article

In: IEEE Control Systems Letters, vol. 5, no. 1, pp. 25–30, 2020, ISBN: 2475-1456, (Green Open Access added to TU Delft Institutional Repository 'You share, we take care!' - Taverne project https://www.openaccess.nl/en/you-share-we-take-care Otherwise as indicated in the copyright section: the publisher is the copyright holder of this work and the author uses the Dutch legislation to make this work public.).

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

12.

Delimpaltadakis, Giannis; Jr., Manuel Mazo

Isochronous Partitions for Region-Based Self-Triggered Control Journal Article

In: IEEE Transactions on Automatic Control, pp. 1-1, 2020, ISSN: 1558-2523.

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

2019

13.

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

Periodic event-triggered control with a relaxed triggering condition. Inproceedings

In: 2019 IEEE 58th Conference on Decision and Control (CDC), pp. 1656-1661, IEEE, 2019.

BibTeX | Tags: NCS, SENTIENT | Links:

14.

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:

2018

15.

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

Self-Triggered Output Feedback Control for Perturbed Linear Systems Inproceedings

In: 7th IFAC Workshop on Distributed Estimation and Control in Networked Systems NECSYS 2018, pp. 248–253, Elsevier, 2018, ISSN: 2405-896.

BibTeX | Tags: NCS, SENTIENT | Links: