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 « 2 of 4 »

2017

21.

Zamani, Majid; Mazo Jr., Manuel ; Khaled, Mahmoud; Abate, Alessandro

Symbolic abstractions of networked control systems (Journal Article)

In: IEEE Transactions on Control of Network Systems, 5 (4), pp. 1622-1634, 2017, ISSN: 2325-5870.

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

22.

Fu, Anqi; Mazo Jr., Manuel

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

23.

Zhang, Fan; Mazo Jr., Manuel ; 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: )

24.

Proskurnikov, Anton V; Mazo Jr., Manuel

Simple synchronization protocols for heterogeneous networks: beyond passivity (Inproceedings)

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

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

25.

Verdier, Cees F; Mazo Jr., Manuel

Formal controller synthesis via genetic programming (Inproceedings)

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

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

26.

Proskurnikov, Anton V; Mazo Jr., Manuel

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

2017.

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

2016

27.

Sharifi-Kolarijani, Arman; Mazo Jr., Manuel

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

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

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

28.

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

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

29.

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

Optimality of robust disturbance-feedback strategies (Journal Article)

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

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

30.

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

Synthesis of Robust Piecewise Affine Output-Feedback Strategies (Journal Article)

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

(BibTeX | Tags: Optimal Control, Robust Control)

31.

Sharifi-Kolarijani, Arman; Mazo Jr., Manuel ; 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: )

32.

Adzkiya, Dieky; Mazo Jr., Manuel

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

33.

Sharifi-Kolarijani, Arman; Mazo Jr., Manuel ; 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)

34.

Fu, Anqi; Mazo Jr., Manuel

Periodic asynchronous event-triggered control (Inproceedings)

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

(BibTeX | Tags: NCS)

35.

Fu, Anqi; Mazo Jr., Manuel

Improved asynchronous event-triggered control for linear systems with performance guarantees (Inproceedings)

In: 2016 European Control Conference (ECC), pp. 995–1000, IEEE 2016.

(BibTeX | Tags: NCS)

2015

36.

Mazo Jr., Manuel ; Fu, Anqi

Decentralized event-triggered controller implementations (Book Chapter)

In: Miskowicz, Marek (Ed.): Event-Based Control and Signal Processing, pp. 121–125, CRC Press, 2015, ISBN: 978-1-4822-5655-0.

(BibTeX | Tags: NCS | Links: )

37.

Fu, Anqi; Mazo Jr., Manuel

Advances on asynchronous event-triggered control (Inproceedings)

In: 2015 International Conference on Event-based Control, Communication, and Signal Processing (EBCCSP), pp. 1–4, IEEE 2015.

(BibTeX | Tags: NCS)

38.

Zhang, Yujie; Hoogendoorn, Raymond; Mazo Jr., Manuel ; Hellendoorn, Hans

Steering controller identification and design for human-like overtaking (Journal Article)

In: Procedia Manufacturing, 3 , pp. 2526–2533, 2015.

(BibTeX | Tags: Automotive)

39.

Sharifi-Kolarijani, Arman; Adzkiya, Dieky; Mazo Jr., Manuel

Symbolic abstractions for the scheduling of event-triggered control systems (Inproceedings)

In: 2015 54th IEEE Conference on Decision and Control (CDC), pp. 6153–6158, IEEE 2015.

(BibTeX | Tags: Formal methods, NCS)

40.

Santos, Carlos; Espinosa, Felipe; Santiso, Enrique; Martín, Miguel; Mazo Jr., Manuel

Aperiodic consensus control for tracking nonlinear trajectories of a platoon of vehicles (Inproceedings)

In: 2015 IEEE 18th International Conference on Intelligent Transportation Systems, pp. 1983–1988, IEEE 2015.

(BibTeX | Tags: NCS, Robotics)

75 entries « 2 of 4 »