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

2010

61.

Mazo Jr., Manuel

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

University of California Los Angeles, 2010.

BibTeX | Tags: NCS

62.

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

63.

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

64.

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

65.

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

66.

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:

67.

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

68.

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

69.

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

2007

70.

Mazo Jr., Manuel ; Emadzadeh, Amir; Vakil, Sepehr

Distributed Kalman Filtering with Embedded Consensus Filters Technical Report

2007.

BibTeX | Tags:

71.

Espinosa, Felipe; Awawdeh, AbdelBaset MH; Mazo Jr., Manuel ; Rodiguez, Jose M; Bocos, Antonio; Manzano, Mario

Reduction of lateral and longitudinal oscillations of vehicle’s platooning by means of decentralized overlapping control Inproceedings

In: 2007 46th IEEE Conference on Decision and Control, pp. 690–695, IEEE 2007.

BibTeX | Tags: Robotics

2005

72.

Mazo Jr., Manuel

State of the art on hybrid systems identification Technical Report

2005.

BibTeX | Tags:

2004

73.

Espinosa, Felipe; Castillo, Francisco J; Mazo Jr., Manuel

Integrated development environment for underactuated non-linear control systems Inproceedings

In: SAAEI/EPF 2004, 2004.

BibTeX | Tags: Other

74.

Mazo Jr., Manuel ; Speranzon, Alberto; Johansson, Karl H; Hu, Xiaoming

Multi-robot tracking of a moving object using directional sensors Inproceedings

In: Proceedings of the 2004 IEEE International Conference on Robotics and Automation. ICRA'04. , pp. 1103–1108, IEEE 2004, ISSN: 1050-4729.

BibTeX | Tags: Robotics | Links:

75.

Mazo Jr., Manuel ; Johansson, Karl H

Robust area coverage using hybrid control Inproceedings

In: TELEC, Santiago de Cuba, Cuba, pp. 1–8, 2004.

BibTeX | Tags: Robotics

75 entries « 4 of 4 »