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

33 entries « 1 of 2 »

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:

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.

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

5.

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:

6.

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:

7.

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:

8.

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:

9.

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:

10.

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:

11.

Verdier, Cees F; Jr., Manuel Mazo

Formal Controller Synthesis for Hybrid Systems Using Genetic Programming Online

2020.

BibTeX | Tags: CADUSY, Formal methods | Links:

2019

12.

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:

13.

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

14.

Verdier, Cees F; Jr., Manuel Mazo

Formal Synthesis of Analytic Controllers for Sampled-Data Systems via Genetic Programming Inproceedings

In: 57th IEEE Conference on Decision and Control (CDC 2018), pp. 4896–4901, IEEE 2018, ISBN: 978-1-5386-1395-5.

BibTeX | Tags: CADUSY, Formal methods | Links:

15.

Zapreev, Ivan S; Verdier, Cees F; Jr., Manuel Mazo

Optimal Symbolic Controllers Determinization for BDD storage Inproceedings

In: 6th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2018, pp. 1–6, Elsevier, 2018.

BibTeX | Tags: CADUSY, Formal methods | Links:

16.

Jr., Manuel Mazo; Sharifi-Kolarijani, Arman; Adzkiya, Dieky; Hop, Christian

Abstracted Models for Scheduling of Event-Triggered Control Data Traffic Book Chapter

In: Tarbouriech, Sophie; Girard, Antoine; Hetel, Laurentiu (Ed.): Control Subject to Computational and Communication Constraints, vol. 475, pp. 197–217, Springer, Cham, 2018, ISBN: 978-3-319-78449-6.

BibTeX | Tags: Formal methods, NCS | Links:

2017

17.

Zamani, Majid; Jr., Manuel Mazo; Khaled, Mahmoud; Abate, Alessandro

Symbolic abstractions of networked control systems Journal Article

In: IEEE Transactions on Control of Network Systems, vol. 5, no. 4, pp. 1622-1634, 2017, ISSN: 2325-5870.

BibTeX | Tags: Formal methods, NCS | Links:

18.

Verdier, Cees F; Jr., Manuel Mazo

Formal controller synthesis via genetic programming Inproceedings

In: 20th IFAC World Congress, pp. 7205–7210, Elsevier, 2017.

BibTeX | Tags: CADUSY, Formal methods | Links:

2016

19.

Sharifi-Kolarijani, Arman; Jr., Manuel Mazo

Formal Traffic Characterization of LTI Event-Triggered Control Systems Journal Article

In: IEEE Transactions on Control of Network Systems, vol. 5, no. 1, pp. 274–283, 2016.

BibTeX | Tags: Formal methods, NCS | Links:

20.

Sharifi-Kolarijani, Arman; Jr., Manuel Mazo; Keviczky, Tamás

Technical Report: Timing Abstraction of Perturbed LTI systems with ℒ 2-based Event-Triggering Mechanism Technical Report

2016.

BibTeX | Tags: Formal methods, NCS | Links:

33 entries « 1 of 2 »