215 search results - page 37 / 43 » Algebraic simulations |
ENTCS
2008
13 years 10 months ago
2008
This paper presents the language Lutin and its operational semantics. This language specifically targets the domain of reactive systems, where an execution is a (virtually) infini...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
—In a sensor network, in practice, the communication among sensors is subject to: 1) errors that can cause failures of links among sensors at random times; 2) costs; and 3) const...
ENTCS
2007
13 years 9 months ago
2007
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...
SIAMSC
2008
13 years 9 months ago
2008
A novel approach to the X-ray tomography problem with sparse projection data is proposed. Non-negativity of the X-ray attenuation coefficient is enforced by modelling it as max{(x)...
ICRA
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract— In this paper, we address the problem of determining the relative position and orientation (pose) of two robots navigating in 2D, based on known egomotion and noisy rob...