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.

82 entries « 2 of 5 »

2018

21.

Verdier, Cees F; Jr., Manuel Mazo

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:

22.

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

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:

23.

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:

24.

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:

25.

Proskurnikov, Anton V; Jr., Manuel Mazo

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:

26.

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

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

27.

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:

28.

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:

29.

Fu, Anqi; Jr., Manuel Mazo

Asynchronous mix-triggered control Inproceedings

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

BibTeX | Tags: NCS | Links:

30.

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

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

In: 20th IFAC World Congress, pp. 15301–15306, Elsevier, 2017.

BibTeX | Tags: NCS | Links:

31.

Proskurnikov, Anton V; Jr., Manuel Mazo

Simple synchronization protocols for heterogeneous networks: beyond passivity Inproceedings

In: 20th IFAC World Congress, pp. 9426–9431, Elsevier, 2017.

BibTeX | Tags: IAVTRM, NCS | Links:

32.

Verdier, Cees F; Jr., Manuel Mazo

Formal controller synthesis via genetic programming Inproceedings

In: 20th IFAC World Congress, pp. 7205–7210, Elsevier, 2017.

BibTeX | Tags: CADUSY, Formal methods | Links:

33.

Proskurnikov, Anton V; Jr., Manuel Mazo

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

2017.

BibTeX | Tags: IAVTRM, NCS | Links:

2016

34.

Sharifi-Kolarijani, Arman; Jr., Manuel Mazo

Formal Traffic Characterization of LTI Event-Triggered Control Systems Journal Article

In: IEEE Transactions on Control of Network Systems, vol. 5, no. 1, pp. 274–283, 2016.

BibTeX | Tags: Formal methods, NCS | Links:

35.

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

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:

36.

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

Optimality of robust disturbance-feedback strategies Journal Article

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

BibTeX | Tags: Optimal Control, Robust Control | Links:

37.

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

Synthesis of Robust Piecewise Affine Output-Feedback Strategies Journal Article

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

BibTeX | Tags: Optimal Control, Robust Control

38.

Sharifi-Kolarijani, Arman; Jr., Manuel Mazo; Keviczky, Tamás

Technical Report: Timing Abstraction of Perturbed LTI systems with ℒ 2-based Event-Triggering Mechanism Technical Report

2016.

BibTeX | Tags: Formal methods, NCS | Links:

39.

Adzkiya, Dieky; Jr., Manuel Mazo

Scheduling of event-triggered networked control systems using timed game automata Online

https://arxiv.org/abs/1610.03729 2016.

BibTeX | Tags: Formal methods, NCS | Links:

40.

Sharifi-Kolarijani, Arman; Jr., Manuel Mazo; Keviczky, Tamás

Timing Abstraction of Perturbed LTI systems with ℒ 2-based Event-Triggering Mechanism Inproceedings

In: 2016 IEEE 55th Conference on Decision and Control (CDC), pp. 1364–1369, IEEE 2016.

BibTeX | Tags: Formal methods, NCS

82 entries « 2 of 5 »