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.

93 entries « 2 of 5 »

2020

21.

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:

22.

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:

23.

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

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

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:

24.

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:

25.

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:

26.

Ornia, Daniel Jarne; Jr., Manuel Mazo

Convergence of Ant Colony Multi-Agent Swarms Proceedings Article

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:

27.

Verdier, Cees F; Jr., Manuel Mazo

Formal Controller Synthesis for Hybrid Systems Using Genetic Programming Online

2020.

BibTeX | Tags: CADUSY, Formal methods | Links:

28.

Proskurnikov, Anton V; Jr., Manuel Mazo

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

In: IEEE Transactions on Automatic Control, vol. 65, no. 2, pp. 507–521, 2020, ISSN: 0018-9286.

Abstract | BibTeX | Tags: IAVTRM, NCS | Links:

2019

29.

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

Periodic event-triggered control with a relaxed triggering condition. Proceedings Article

In: 2019 IEEE 58th Conference on Decision and Control (CDC), pp. 1656-1661, IEEE, 2019.

BibTeX | Tags: NCS, SENTIENT | Links:

30.

Verdier, Cees F; Babuska, Robert; Shyrokau, Barys; Jr., Manuel Mazo

Near Optimal Control With Reachability and Safety Guarantees Proceedings Article

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:

31.

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

32.

Verdier, Cees F; Jr., Manuel Mazo

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

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:

33.

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

Optimal Symbolic Controllers Determinization for BDD storage Proceedings Article

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

BibTeX | Tags: CADUSY, Formal methods | Links:

34.

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:

35.

Fu, Anqi; Jr., Manuel Mazo

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

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

BibTeX | Tags: NCS | Links:

36.

Proskurnikov, Anton V; Jr., Manuel Mazo

Lyapunov design for event-triggered exponential stabilization Proceedings Article

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:

37.

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

Self-Triggered Output Feedback Control for Perturbed Linear Systems Proceedings Article

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

38.

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

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

In: IEEE Transactions on Control Systems Technology, vol. 26, no. 6, pp. 2035-2048, 2017.

BibTeX | Tags: NCS | Links:

39.

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:

40.

Fu, Anqi; Jr., Manuel Mazo

Asynchronous mix-triggered control Proceedings Article

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

BibTeX | Tags: NCS | Links:

93 entries « 2 of 5 »