Hardware-In-The-Loop Simulations for Control Systems over Wireless: 
(Developed by Annie Chen). A set of tools that enables the simulation of control systems in Simulink over a wireless network of MicaZ motes.
More details.http://www.cyphylab.ee.ucla.edu/Home/projects/event-triggered-control-over-wireless-sensor-actuator-networks/hardware-in-the-loop_simulationshapeimage_4_link_0
Pessoa: (Developed together with Anna Davitian). A toolbox for Matlab for the synthesis of correct-by-design controllers. Support discontinued as of 2014.

Pessoa Homepage.
Google Code Project.

For an alternative implementing the same techniques and some additional features I suggest you check: SCOTS (and the add-on SENSE)http://www.cyphylab.ee.ucla.edu/pessoahttps://code.google.com/p/pessoa/https://www.hcs.ei.tum.de/en/software/scots/https://www.hcs.ei.tum.de/en/software/sense/shapeimage_5_link_0shapeimage_5_link_1shapeimage_5_link_2shapeimage_5_link_3