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

30 entries « 1 of 2 »

2020

1.

Delimpaltadakis, Giannis; Mazo Jr., Manuel

Traffic Abstractions of Nonlinear Homogeneous Event-Triggered Control Systems Inproceedings Forthcoming

In: Proceedings of the 59th IEEE Conference on Decision and Control, IEEE, Forthcoming.

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

2.

de Gleizer, Gabriel A; Mazo Jr., Manuel

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

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

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

3.

Delimpaltadakis, Giannis; Mazo Jr., Manuel

Region-Based Self-Triggered Control for Perturbed and Uncertain Nonlinear Systems. Online

2020.

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

4.

de Gleizer, Gabriel A; Mazo Jr., Manuel

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

In: IFAC World Congress 2020, IFAC 2020.

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

5.

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

Formal Synthesis Of Closed-form Sampled-data Controllers for Nonlinear Continuous-time Systems Under STL Specifications Online

2020.

BibTeX | Tags: CADUSY, Formal methods | Links:

6.

de Gleizer, Gabriel A; Mazo Jr., Manuel

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

In: IEEE Control Systems Letters, 5 (1), pp. 25–30, 2020.

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

7.

Delimpaltadakis, Giannis; Mazo Jr., Manuel

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:

8.

Verdier, Cees F; Mazo Jr., Manuel

Formal Controller Synthesis for Hybrid Systems Using Genetic Programming Online

2020.

BibTeX | Tags: CADUSY, Formal methods | Links:

2019

9.

Verdier, Cees F; Babuska, Robert; Shyrokau, Barys

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:

10.

Fu, Anqi; Mazo Jr., Manuel

Traffic Models of Periodic Event-Triggered Control Systems Journal Article

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

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

2018

11.

Verdier, Cees F; Mazo Jr., Manuel

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:

12.

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

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:

13.

Mazo Jr., Manuel ; 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, 475 , pp. 197–217, Springer, Cham, 2018, ISBN: 978-3-319-78449-6.

BibTeX | Tags: Formal methods, NCS | Links:

2017

14.

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

Symbolic abstractions of networked control systems Journal Article

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

BibTeX | Tags: Formal methods, NCS | Links:

15.

Verdier, Cees F; Mazo Jr., Manuel

Formal controller synthesis via genetic programming Inproceedings

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

BibTeX | Tags: CADUSY, Formal methods | Links:

2016

16.

Sharifi-Kolarijani, Arman; Mazo Jr., Manuel

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

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

BibTeX | Tags: Formal methods, NCS | Links:

17.

Sharifi-Kolarijani, Arman; Mazo Jr., Manuel ; 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:

18.

Adzkiya, Dieky; Mazo Jr., Manuel

Scheduling of event-triggered networked control systems using timed game automata Online

https://arxiv.org/abs/1610.03729 2016.

BibTeX | Tags: Formal methods, NCS | Links:

19.

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

Timing Abstraction of Perturbed LTI systems with ℒ 2-based Event-Triggering Mechanism Inproceedings

In: 2016 IEEE 55th Conference on Decision and Control (CDC), pp. 1364–1369, IEEE 2016.

BibTeX | Tags: Formal methods, NCS

2015

20.

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

Symbolic abstractions for the scheduling of event-triggered control systems Inproceedings

In: 2015 54th IEEE Conference on Decision and Control (CDC), pp. 6153–6158, IEEE 2015.

BibTeX | Tags: Formal methods, NCS

30 entries « 1 of 2 »