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

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 »