Abstract--We study replication mechanisms that include ReedSolomon type codes as well as network coding in order to improve the probability of successful delivery within a given ti...
Eitan Altman, Francesco De Pellegrini, Lucile Sass...
An integrated solution to guarantee real-time requirements in embedded real-time monitor and control systems is presented in this paper. First l task model is abstracted from such ...
Abstract--Multi-user buffer control is a closed-loop transmission strategy to ensure users buffers do not underflow or overflow. The dynamic scheme requires buffer state informatio...
Vinay R. Majjigi, Daniel O'Neill, Carolin Huppert,...
Abstract— We propose formal models for analyzing robustness of multi-hop control networks, where data from sensors to controllers and from controllers to actuators is sent throug...
Gera Weiss, Alessandro D'Innocenzo, Rajeev Alur, K...
Abstract. Efficient elevator group control is important for the operation of large buildings. Recent developments in this field include the use of fuzzy logic and neural networks....
Thomas Beielstein, Claus-Peter Ewald, Sandor Marko...