Publications

You are here: Home > Research > Systems & Controls > Publications

Control Systems

Self-triggered control over wireless sensor and actuator networks
Jose Araujo, Adolfo Anta, Manuel Mazo Jr., Joao Faria, Aitor Hernandez, Paulo Tabuada, and Karl Johansson
To appear in DCOSS’11.

Self-triggered control for industrial wireless sensor and actuator networks
Jose Araujo, Adolfo Anta, Manuel Mazo Jr., Joao Faria, Aitor Hernandez, Paulo Tabuada, and Karl Johansson
REALWIN 2011 (Workshop), CPSWeek 2011.

Decentralized event-triggered control over wireless sensor/actuator networks.
Manuel Mazo Jr. and Paulo Tabuada
Accepted, IEEE Transactions on Automatic Control, Special Issue on Wireless Sensor and Actuator Networks. arXiv:1004.0477

Symbolic approximate time-optimal control
Manuel Mazo Jr. and Paulo Tabuada
Systems and Control Letters, 60, 256-263, 2011. DOI:10.1016/j.sysconle.2011.02.002. arXiv:1004.0763

Software Analysis and Verification

Intelligible TinyOS Sensor Systems: Explanations for Embedded Software
Doina Bucur
The 7th International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2011). Springer Lecture Notes in Computer Science (LNCS), Sep 2011

Towards Intelligibility in Sensor Programming
Doina Bucur
Pervasive Intelligibility: Workshop on Intelligibility and Control in Pervasive Computing, in conjunction with the Pervasive conference, Jun 2011

On Software Verification for TinyOS
Doina Bucur and Marta Kwiatkowska
Journal of Software and Systems, Elsevier. DOI: 10.1016/j.jss.2011.04.054. In print, 2011