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.

75 entries « 1 of 4 »

2020

1.

Delimpaltadakis, Giannis; Mazo Jr., Manuel

Traffic Abstractions of Nonlinear Homogeneous Event-Triggered Control Systems (Inproceedings)

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.

Ornia, Daniel Jarne; Mazo Jr., Manuel

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: )

9.

Verdier, Cees F; Mazo Jr., Manuel

Formal Controller Synthesis for Hybrid Systems Using Genetic Programming (Online)

2020.

(BibTeX | Tags: CADUSY, Formal methods | Links: )

2019

10.

Szymanek, Aleksandra; de Gleizer, Gabriel A; Mazo Jr., Manuel

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: )

11.

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: )

12.

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: )

13.

Proskurnikov, Anton V; Mazo Jr., Manuel

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

In: IEEE Transactions on Automatic Control, 65 (2), pp. 507–521, 2019, ISSN: 1558-2523.

(BibTeX | Tags: IAVTRM, NCS | Links: )

2018

14.

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: )

15.

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: )

16.

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: )

17.

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: )

18.

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 Association for Computing Machinery, 2018, ISBN: 9781450356428.

(BibTeX | Tags: IAVTRM, NCS | Links: )

19.

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, ISSN: 2405-896.

(BibTeX | Tags: NCS, SENTIENT | Links: )

2017

20.

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, 26 (6), pp. 2035-2048, 2017.

(BibTeX | Tags: NCS | Links: )

75 entries « 1 of 4 »