Many applications of wireless ad hoc sensor and actuator networks (WSANs) rely on the knowledge of node locations. These are challenging to obtain when nodes are mobile and are not...
—Recent successes in micro-aerial vehicles (< 15cm length, wingspan, height), have highlighted the lack of real-time sensors for flight control. In this paper we describe a lo...
This paper extends the application of the Cantor metric as a mathematical tool for defining causalities from pure discrete models to mixed-signal and hybrid models. Using the Cant...
In this paper, we focus our attention on the interval temporal logic of the Allen’s relations “meets”, “begins”, and “begun by” (ABB for short), interpreted over natu...
Abstract. We consider a bank having several trading desks, each of which trades a different class of contingent claims with each desk using a different model. We assume that the mo...