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.

66 entries « 2 of 4 »

2016

21.

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:

22.

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:

23.

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

Evaluation of decentralized event-triggered control strategies for cyber-physical systems Online

2016.

BibTeX | Tags: NCS

24.

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

25.

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

26.

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

27.

Mazo Jr., Manuel ; Fu, Anqi

Decentralized event-triggered controller implementations Incollection

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

BibTeX | Tags: NCS | Links:

28.

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

29.

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

30.

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

31.

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

32.

Santos, Carlos; Espinosa, Felipe; Santiso, Enrique; Mazo Jr., Manuel

Aperiodic linear networked control considering variable channel delays: Application to robots coordination Journal Article

In: Sensors, 15 (6), pp. 12454–12473, 2015.

BibTeX | Tags: NCS

2014

33.

Mazo Jr., Manuel ; Cao, Ming

Asynchronous decentralized event-triggered control Journal Article

In: Automatica, 50 (12), pp. 3197–3203, 2014.

BibTeX | Tags: NCS

34.

Araújo, José; Mazo Jr., Manuel ; Anta, Adolfo; Tabuada, Paulo; Johansson, Karl H

System architectures, protocols and algorithms for aperiodic wireless control systems Journal Article

In: Industrial Informatics, IEEE Transactions on, 10 (1), pp. 175–184, 2014.

BibTeX | Tags: NCS

35.

Santos, Carlos; Mazo Jr., Manuel ; Espinosa, Felipe

Adaptive self-triggered control of a remotely operated P3-DX robot: Simulation and experimentation Journal Article

In: Robotics and Autonomous Systems, 62 (6), pp. 847–854, 2014.

BibTeX | Tags: NCS, Robotics

36.

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

Finite abstractions of networked control systems Inproceedings

In: 53rd IEEE Conference on Decision and Control, pp. 95–100, IEEE 2014.

BibTeX | Tags: Formal methods, NCS

2013

37.

Rungger, Matthias; Mazo Jr., Manuel ; Tabuada, Paulo

Specification-guided controller synthesis for linear systems and safe linear-time temporal logic Inproceedings

In: Proceedings of the 16th international conference on Hybrid systems: computation and control, pp. 333–342, ACM 2013.

BibTeX | Tags: Formal methods

38.

Mazo Jr., Manuel ; Cao, Ming

Design of reward structures for sequential decision-making processes using symbolic analysis Inproceedings

In: 2013 American Control Conference, pp. 4393–4398, IEEE 2013.

BibTeX | Tags: Formal methods

39.

de Roo, Froukje; Mazo Jr., Manuel

On symbolic optimal control via approximate simulation relations Inproceedings

In: 52nd IEEE Conference on Decision and Control, pp. 3205–3210, IEEE 2013.

BibTeX | Tags: Formal methods

2012

40.

Zamani, Majid; Pola, Giordano; Mazo Jr., Manuel ; Tabuada, Paulo

Symbolic models for nonlinear control systems without stability assumptions Journal Article

In: Automatic Control, IEEE Transactions on, 57 (7), pp. 1804–1809, 2012.

BibTeX | Tags: Formal methods

66 entries « 2 of 4 »