Skip to main content

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.

93 entries « 1 of 5 »

2023

1.

Adams, Steven; Ornia, Daniel Jarne; Jr., Manuel Mazo

A self-guided approach for navigation in a minimalistic foraging robotic swarm Journal Article

In: Autonomous Robots, pp. 1–16, 2023.

BibTeX | Tags: Robotics, SCARS

2.

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

3.

Coppola, Rudi; Peruffo, Andrea; Jr., Manuel Mazo

Data-driven abstractions for verification of deterministic systems Journal Article

In: IEEE Control Systems Letters (To appear), 2023.

BibTeX | Tags: Formal methods, Learning

4.

Gracia, Ibon; Boskos, Dimitris; Laurenti, Luca; Jr., Manuel Mazo

Distributionally robust strategy synthesis for switched stochastic systems Best Paper Proceedings Article

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

BibTeX | Tags: Formal methods, Stochastic

5.

Peruffo, Andrea; Jr., Manuel Mazo

Poster: Convex Scenario Optimisation for ReLU Networks Proceedings Article

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

BibTeX | Tags: Learning

6.

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

From Non-punctuality to Non-adjacency: A Quest for Decidability of Timed Temporal Logics with Quantifiers Journal Article

In: Formal Aspects of Computing, vol. 35, no. 2, pp. 1–50, 2023.

BibTeX | Tags: Formal methods, SENTIENT

2022

7.

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:

8.

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

9.

de Albuquerque Gleizer, Gabriel; Jr., Manuel Mazo

Chaos and order in event-triggered control Journal Article

In: IEEE Transactions on Automatic Control, pp. 1-16, 2022.

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

10.

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

11.

Peruffo, Andrea; Jr., Manuel Mazo

Data-driven Abstractions with Probabilistic Guarantees for Linear PETC Systems Journal Article

In: IEEE Control Systems Letters, vol. 7, pp. 115–120, 2022.

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

12.

Delimpaltadakis, Giannis; Jr., Manuel Mazo

Abstracting the Traffic of Nonlinear Event-Triggered Control Systems Journal Article

In: IEEE Transactions on Automatic Control, 2022.

BibTeX | Tags: Formal methods, NCS, SENTIENT

2021

13.

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

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

14.

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:

15.

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:

16.

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:

17.

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:

18.

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:

19.

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:

2020

20.

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:

93 entries « 1 of 5 »