72 entries « 4 of 5 »



Jr, Manuel Mazo; 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:


Jr, Manuel Mazo; Tabuada, Paulo

Symbolic approximate time-optimal control Journal Article

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

BibTeX | Tags:


'u, José Ara; Anta, Adolfo; Jr, Manuel Mazo; 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:


Jr, Manuel Mazo; 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:


'u, José Ara; Anta, Adolfo; Mazo, 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:


Jr, Manuel Mazo

NP$backslash$ne NDP Journal Article

In: 2011.

BibTeX | Tags:



Mazo, Manuel; Anta, Adolfo; Tabuada, Paulo

An ISS self-triggered implementation of linear controllers Journal Article

In: Automatica, 46 (8), pp. 1310–1314, 2010.

BibTeX | Tags:


Espinosa, Manuel Mazo

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

University of California Los Angeles, 2010.

BibTeX | Tags:


Mazo, 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:


Mazo, Manuel; Davitian, Anna; Tabuada, Paulo

Pessoa: A tool for embedded controller synthesis Inproceedings

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

BibTeX | Tags:


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

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

In: Work-in-progress HSCC, 2010.

BibTeX | Tags:


Mazo, 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:



Creutz, D; Jr, Mazo M; Preda, C

Superstability and finite time extinction for c_0-semigroups Journal Article

In: arXiv preprint arXiv:0907.4812, 2009.

BibTeX | Tags:


Mazo, 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:


Mazo, M; 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:

72 entries « 4 of 5 »