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

2015

41.

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

42.

Mazo Jr., Manuel ; Cao, Ming

Asynchronous decentralized event-triggered control Journal Article

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

BibTeX | Tags: NCS

43.

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

44.

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

45.

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

46.

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

47.

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

48.

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

49.

Mazo Jr., Manuel ; Cao, Ming

Decentralized event-triggered control with one bit communications Inproceedings

In: IFAC Proceedings Volumes (Analysis and Design of Hybrid Systems, ADHS 2012), pp. 52–57, Elsevier, 2012.

BibTeX | Tags: NCS

50.

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

Adaptive self-triggered control of a remotely operated robot Inproceedings

In: Conference Towards Autonomous Robotic Systems, pp. 61–72, Springer, Berlin, Heidelberg 2012.

BibTeX | Tags: NCS

51.

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

Scaling up controller synthesis for linear systems and safety specifications Inproceedings

In: Decision and Control. CDC12, Proceedings of the 51st IEEE Conference on, IEEE 2012.

BibTeX | Tags: Formal methods

52.

Araújo, Jose; Fawzi, Hamza; Mazo Jr., Manuel ; Tabuada, Paulo; Johansson, Karl H

An improved self-triggered implementation for linear controllers Inproceedings

In: IFAC Proceedings Volumes (NecSys 2012), pp. 37–42, Elsevier, 2012.

BibTeX | Tags: NCS

2011

53.

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, 2011, ISSN: 1558-2523.

BibTeX | Tags: Formal methods | Links:

54.

Mazo Jr., Manuel ; Tabuada, Paulo

Decentralized event-triggered control over wireless sensor/actuator networks Journal Article

In: Automatic Control, IEEE Transactions on, 56 (10), pp. 2456–2461, 2011, ISBN: 1558-2523.

BibTeX | Tags: NCS | Links:

55.

Mazo Jr., Manuel

NP ne NDP Miscellaneous

Control Systems Magazine (Feedback), 2011.

BibTeX | Tags: | Links:

56.

Mazo Jr., Manuel ; Tabuada, Paulo

Symbolic approximate time-optimal control Journal Article

In: Systems & Control Letters, 60 (4), pp. 256–263, 2011.

BibTeX | Tags: Formal methods

57.

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

Self-triggered control for industrial wireless sensor and actuator networks Inproceedings

In: Workshop on Real-Time Wireless for Industrial Applications at CPSWEEK, Chicago, IL, 2011.

BibTeX | Tags: NCS

58.

Mazo Jr., Manuel ; Cao, Ming

Decentralized Event-triggered Control with Asynchronous Updates Inproceedings

In: Decision and Control and European Control Conference (CDC-ECC), 2011 50th IEEE Conference on, pp. 2547–2552, IEEE 2011.

BibTeX | Tags: NCS

59.

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

Self-triggered control over wireless sensor and actuator networks Inproceedings

In: Distributed Computing in Sensor Systems and Workshops (DCOSS), 2011 International Conference on, pp. 1–9, IEEE 2011.

BibTeX | Tags: NCS

2010

60.

Mazo Jr., Manuel ; Anta, Adolfo; Tabuada, Paulo

An ISS self-triggered implementation of linear controllers Journal Article

In: Automatica, 46 (8), pp. 1310 - 1314, 2010, ISSN: 0005-1098.

Abstract | BibTeX | Tags: NCS | Links:

75 entries « 3 of 4 »