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.

93 entries « 5 of 5 »

2010

81.

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

Pessoa: A tool for embedded controller synthesis Proceedings Article

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

BibTeX | Tags: Formal methods

82.

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

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

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

BibTeX | Tags: Formal methods

83.

Jr., Manuel Mazo; Tabuada, Paulo

Towards decentralized event-triggered implementations of centralized control laws Proceedings Article

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

BibTeX | Tags: NCS

2009

84.

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

Superstability and finite time extinction for c_0-semigroups Online

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

BibTeX | Tags: | Links:

85.

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

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

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

BibTeX | Tags: NCS

86.

Jr., Manuel Mazo; Tabuada, Paulo

Input-to-state stability of self-triggered control systems Proceedings Article

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

87.

Jr., Manuel Mazo; Tabuada, Paulo

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

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

BibTeX | Tags: NCS

2007

88.

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

Distributed Kalman Filtering with Embedded Consensus Filters Technical Report

2007.

BibTeX | Tags:

89.

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

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

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

BibTeX | Tags: Robotics

2005

90.

Jr., Manuel Mazo

State of the art on hybrid systems identification Technical Report

2005.

BibTeX | Tags:

2004

91.

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

Integrated development environment for underactuated non-linear control systems Proceedings Article

In: SAAEI/EPF 2004, 2004.

BibTeX | Tags: Other

92.

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

Multi-robot tracking of a moving object using directional sensors Proceedings Article

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:

93.

Jr., Manuel Mazo; Johansson, Karl H

Robust area coverage using hybrid control Proceedings Article

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

BibTeX | Tags: Robotics

93 entries « 5 of 5 »