Skip to main content

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 »