where science meets industry
INCAS³ and Aquastructure Solutions Inc. partner to solve challe...
Canadian-Dutch High Tech Consortium to Tackle Oil and Gas Enviro...
Micro sensor motes successfully travel through a Canadian heavy ...
Introducing DOWSN: Distributed Optimization in Wireless Sensor Networks
G. Iacca
To appear at UK Workshop on Computational Intelligence (UKCI) 2012
The Importance of Being Structured: a Comparative Study on Multi Stage Memetic Approaches
F. Caraffini, G. Iacca, F. Neri, E. Mininno.
To appear at UK Workshop on Computational Intelligence (UKCI) 2012
Three Variants of Three Stage Optimal Memetic Exploration for Handling Non-Separable Fitness Landscapes
F. Caraffini, G. Iacca, F. Neri, E. Mininno.
To appear at UK Workshop on Computational Intelligence (UKCI) 2012
Temporal Monitors for TinyOS
D. Bucur
To appear, Third International Conference on Runtime Verification (RV), Springer LNCS, Sep 2012.
Embedded-System Support for User Intelligibility
D. Bucur
Pervasive Intelligibility: Workshop on Intelligibility and Control in Pervasive Computing (PerInt),
in conjunction with the 10th International Conference on Pervasive Computing, Jun 2012
Intelligible TinyOS Sensor Systems: Explanations for Embedded Software
D. 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
D. Bucur
Pervasive Intelligibility: Workshop on Intelligibility and Control in Pervasive Computing, in conjunction with the Pervasive conference, Jun 2011
On Software Verification for TinyOS
D. Bucur and M. Kwiatkowska
Journal of Software and Systems, Elsevier. DOI: 10.1016/j.jss.2011.04.054. In print, 2011
Asynchronous decentralized event-triggered control
M. Mazo Jr. and M. Cao.
2012, Submitted. arXiv:1206.6648.
System Architectures, Protocols and Algorithms for Aperiodic Wireless Control Systems
J. Araujo, M. Mazo Jr., A. Anta, P. Tabuada and K.H. Johansson.
2012, Submitted.
Superstability and finite time extinction for C_0-Semigroups
D.Creutz, M. Mazo Jr. and C. Preda.
2011, Submitted. arXiv: 0907.4812.
Symbolic models for nonlinear control systems without stability assumptions
M. Zamani, G. Pola, M. Mazo Jr., and P. Tabuada,
IEEE Transactions on Automatic Control, 57(7), 1804-1809, July 2012.
DOI:10.1109/TAC.2011.2176409
arXiv: 1002.0822
Decentralized event-triggered control over wireless sensor/actuator networks
M. Mazo Jr., and P. Tabuada
IEEE Transactions on Automatic Control, 56(10), 2456-2461, October 2011.
DOI: 10.1109/TAC.2011.2164036
arXiv: 1004.0477
Symbolic Approximate Time-Optimal Control
M. Mazo Jr. and P. Tabuada
Systems & Control Letters, 60(4), 256-263, February 2011.
DOI: 10.1016/j.sysconle.2011.02.002.
arXiv: 1004.0763
An improved self-triggered implementation for linear controllers
J. Araujo, H. Fawzi, M. Mazo Jr., P. Tabuada and K.H. Johansson.
To appear at NecSys’12.
Adaptive self-triggered control of a remotely operated robot
C. Santos, M. Mazo Jr. and F. Espinosa.
To appear at TAROS’12.
Decentralized event-triggered control with one bit communications
M. Mazo Jr. and M. Cao.
ADHS’12.
Decentralized event-triggered control with asynchronous updates
M. Mazo Jr. and M. Cao.
Proceedings of the 50th Conference on Decision and Control-
European Control Conference 2011.
Self-triggered control over wireless sensor and actuator networks
J. Araujo, A. Anta, M. Mazo Jr., J. Faria, A. Hernandez, P. Tabuada, and K. H. Johansson.
DCOSS’11.
Self-triggered control for industrial wireless sensor and actuator networks
J. Araujo, A. Anta, M. Mazo Jr., J. Faria, A. Hernandez, P. Tabuada, and K. H. Johansson
REALWIN, 2011. (CPSWeek 2011)