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.

82 entries « 1 of 5 »

2022

1.

Verdier, Cees Ferdinand; Kochdumper, Niklas; Althoff, Matthias; Jr., Manuel Mazo

Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications Journal Article

In: Automatica, vol. 139, 2022, ISSN: 0005-1098.

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

2.

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

3.

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

Computing the sampling performance of event-triggered control Inproceedings

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 ; Conference date: 19-05-2021 Through 21-05-2021).

Abstract | BibTeX | Tags: | Links:

4.

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:

5.

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:

6.

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:

7.

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:

8.

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

9.

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:

10.

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:

11.

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:

12.

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:

13.

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:

14.

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:

15.

Ornia, Daniel Jarne; Jr., Manuel Mazo

Convergence of Ant Colony Multi-Agent Swarms Inproceedings

In: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, Association for Computing Machinery, Sydney, New South Wales, Australia, 2020, ISBN: 9781450370189.

Abstract | BibTeX | Tags: Robotics, SCARS | Links:

16.

Verdier, Cees F; Jr., Manuel Mazo

Formal Controller Synthesis for Hybrid Systems Using Genetic Programming Online

2020.

BibTeX | Tags: CADUSY, Formal methods | Links:

17.

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:

2019

18.

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:

19.

Verdier, Cees F; Babuska, Robert; Shyrokau, Barys; Jr., Manuel Mazo

Near Optimal Control With Reachability and Safety Guarantees Inproceedings

In: 5th IFAC Conference on Intelligent Control and Automation Sciences (ICONS), 2019, pp. 230–235, 2019, ISSN: 2405-8963.

BibTeX | Tags: CADUSY, Formal methods | Links:

20.

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:

82 entries « 1 of 5 »