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.

66 entries « 1 of 4 »

2019

1.

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:

2.

Proskurnikov, Anton V; Mazo Jr., Manuel

Lyapunov Event-triggered Stabilization with a Known Convergence Rate Journal Article Forthcoming

In: IEEE Transactions on Automatic Control, Forthcoming, (IEEE Early Access arXiv preprint arXiv:1803.08980).

BibTeX | Tags: IAVTRM, NCS

3.

Delimpaltadakis, Giannis; Mazo Jr., Manuel

Isochronous Partitions for Region-Based Self-Triggered Control Online

2019.

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

2018

4.

Fu, Anqi; Mazo Jr., Manuel

Decentralized periodic event-triggered control with quantization and asynchronous communication Journal Article

In: Automatica, 94 , pp. 294–299, 2018.

BibTeX | Tags: NCS | Links:

5.

Proskurnikov, Anton V; Mazo Jr., Manuel

Lyapunov design for event-triggered exponential stabilization Inproceedings

In: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), pp. 111–119, ACM 2018.

BibTeX | Tags: IAVTRM, NCS | Links:

6.

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:

7.

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

Abstracted Models for Scheduling of Event-Triggered Control Data Traffic Incollection

In: Control Subject to Computational and Communication Constraints, pp. 197–217, Springer, Cham, 2018.

BibTeX | Tags: Formal methods, NCS

8.

Verdier, Cees F; Mazo Jr., Manuel

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

In: 2018 IEEE Conference on Decision and Control (CDC), pp. 4896–4901, IEEE 2018.

BibTeX | Tags: CADUSY, Formal methods

9.

de Gleizer, Gabriel A; Mazo Jr., Manuel

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.

BibTeX | Tags: NCS, SENTIENT | Links:

2017

10.

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, 2017.

BibTeX | Tags: Formal methods, NCS

11.

Proskurnikov, Anton V; Mazo Jr., Manuel

Simple synchronization protocols for heterogeneous networks: beyond passivity (extended version) Online

2017.

BibTeX | Tags: IAVTRM, NCS

12.

Proskurnikov, Anton V; Mazo Jr., Manuel

Simple synchronization protocols for heterogeneous networks: beyond passivity Inproceedings

In: IFAC-PapersOnLine (20th IFAC World Congress), pp. 9426–9431, Elsevier, 2017.

BibTeX | Tags: IAVTRM, NCS

13.

Verdier, Cees F; Mazo Jr., Manuel

Formal controller synthesis via genetic programming Inproceedings

In: IFAC-PapersOnLine, pp. 7205–7210, Elsevier, 2017.

BibTeX | Tags: CADUSY, Formal methods

14.

Zhang, Fan; Mazo Jr., Manuel ; van de Wouw, Nathan

Absolute Stabilization of Lur’e Systems Under Event-Triggered Feedback Inproceedings

In: IFAC-PapersOnline, pp. 15301–15306, Elsevier, 2017.

BibTeX | Tags: NCS

15.

Fu, Anqi; Mazo Jr., Manuel

Asynchronous mix-triggered control Inproceedings

In: 2017 13th IEEE International Conference on Control & Automation (ICCA), pp. 230–235, IEEE 2017.

BibTeX | Tags: NCS

16.

Kartakis, Sokratis; Fu, Anqi; Mazo Jr., Manuel ; McCann, Julie A

Communication schemes for centralized and decentralized event-triggered control systems Journal Article

In: IEEE Transactions on Control Systems Technology, (99), pp. 1–14, 2017.

BibTeX | Tags: NCS

2016

17.

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:

18.

Zamani, Majid; Dey, Soumyajit; Mohamed, Sajid; Dasgupta, Pallab; Mazo Jr., Manuel

Scheduling of controllers’ update-rates for residual bandwidth utilization Inproceedings

In: International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2016), pp. 85–101, Springer, Cham 2016.

BibTeX | Tags: NCS | Links:

19.

Trottemant, Eric J; Mazo Jr., Manuel ; Scherer, Carsten W

Synthesis of Robust Piecewise Affine Output-Feedback Strategies Journal Article

In: Journal of Guidance, Control, and Dynamics, 39 (7), pp. 1461–1469, 2016.

BibTeX | Tags: Optimal Control, Robust Control

20.

Trottemant, Eric J; Scherer, Carsten W; Mazo Jr., Manuel

Optimality of robust disturbance-feedback strategies Journal Article

In: International Journal of Robust and Nonlinear Control, 26 (7), pp. 1475–1488, 2016.

BibTeX | Tags: Optimal Control, Robust Control

66 entries « 1 of 4 »