Skip to main content

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 »