In this paper we study optimal estimation design for sampled linear systems where the
sensors measurements are transmitted to the estimator site via a generic digital …

This paper deals with the design of control systems over lossy networks. A network is
assumed to exist between the sensor and the controller and between the latter and the …

Software model checkers can be applied directly to single-process programs, which typically
are multithreaded. Multi-process applications cannot be model checked directly. While …

We present an approach to provide intrusion detection systems (IDS) facilities into wireless
sensors networks (WSN). WSNs are usually composed of a large number of low power …

Policy-based computing is being studied and applied in a number of different domains by
industrial organizations and academia. Standards are also being pursued in many …

The optical scattering force, behind Doppler cooling and magneto-optical trapping, may be
amplified without incurring additional spontaneous emission by the state-dependent …