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

2012

41.

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

42.

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

43.

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

44.

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

45.

Mazo Jr., Manuel

NP ne NDP Miscellaneous

Control Systems Magazine (Feedback), 2011.

BibTeX | Tags: | Links:

46.

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.

BibTeX | Tags: NCS

47.

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

48.

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

49.

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

50.

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

51.

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:

52.

Mazo Jr., Manuel

Contributions to the Control of Networked Cyber-physical Systems PhD Thesis

University of California Los Angeles, 2010.

BibTeX | Tags: NCS

53.

Mazo Jr., Manuel ; Tabuada, Paulo

Approximate time-optimal control via approximate alternating simulations Inproceedings

In: Proceedings of the 2010 American Control Conference, pp. 1009–1014, IEEE 2010.

BibTeX | Tags: Formal methods

54.

Mazo Jr., Manuel ; Davitian, Anna; Tabuada, Paulo

Pessoa: A tool for embedded controller synthesis Inproceedings

In: Computer Aided Verification, pp. 566–569, Springer 2010.

BibTeX | Tags: Formal methods

55.

Mazo Jr., Manuel ; Davitian, Anna; Tabuada, Paulo

PESSOA: towards the automatic synthesis of correct-by-design control software Inproceedings

In: Work-in-Progress HSCC 2010, 2010.

BibTeX | Tags: Formal methods

56.

Mazo Jr., Manuel ; Tabuada, Paulo

Towards decentralized event-triggered implementations of centralized control laws Inproceedings

In: Proceedings of International Workshop on Networks of Cooperating Objects. Stockholm, Sweden, 2010.

BibTeX | Tags: NCS

2009

57.

Creutz, Darren; Mazo Jr., Manuel ; Preda, Ciprian

Superstability and finite time extinction for c_0-semigroups Online

https://arxiv.org/abs/0907.4812 2009.

BibTeX | Tags: | Links:

58.

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

On self-triggered control for linear systems: Guarantees and complexity Inproceedings

In: 2009 European Control Conference (ECC), pp. 3767–3772, IEEE 2009.

BibTeX | Tags: NCS

59.

Mazo Jr., Manuel ; Tabuada, Paulo

Input-to-state stability of self-triggered control systems Inproceedings

In: Decision and Control, 2009 held jointly with the 2009 28th Chinese Control Conference. CDC/CCC 2009. Proceedings of the 48th IEEE Conference on, pp. 928–933, IEEE 2009.

BibTeX | Tags: NCS

2008

60.

Mazo Jr., Manuel ; Tabuada, Paulo

On event-triggered and self-triggered control over sensor/actuator networks Inproceedings

In: Decision and Control, 2008. 47th IEEE Conference on, pp. 435–440, IEEE 2008.

BibTeX | Tags: NCS

66 entries « 3 of 4 »