REM’13 accepted paper: “Advanced Control Reactivity for Embedded Systems”
Our paper entitled “Advanced Control Reactivity for Embedded Systems” has been accepted in the Workshop on Reactivity, Events and Modularity (REM) this year in Indianapolis!
REM is a workshop inside the SPLASH/OOPSLA conference.
The preprint version for the paper can be downloaded here.
This is a more theoretical paper in comparison to our previous for SenSys.
We discuss how to build advanced control mechanisms on top of the reactive primitives of Céu and present a formal specification of the language.